Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dlog/dlog2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/dlog/ArecesBHM03,
author = {Carlos Areces and
Patrick Blackburn and
Bernadette Mart{\'{\i}}nez Hern{\'{a}}ndez and
Maarten Marx},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Handling Boolean {A} Boxes},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/areces.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArecesBHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Baader03,
author = {Franz Baader},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Restricted Role-value-maps in a Description Logic with Existential
Restrictions and Terminological Cycles},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/baader.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Baader03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BechhoferMC03,
author = {Sean Bechhofer and
Ralf M{\"{o}}ller and
Peter Crowther},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {The {DIG} Description Logic Interface},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/bechhofer.ps},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BechhoferMC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BerardiCG03,
author = {Daniela Berardi and
Diego Calvanese and
Giuseppe De Giacomo},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Reasoning on {UML} Class Diagrams is EXPTIME-hard},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/berardi-1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BerardiCG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BerardiCGLM03,
author = {Daniela Berardi and
Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini and
Massimo Mecella},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {e-Service Composition by Description Logics Based Reasoning},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/berardi-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BerardiCGLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BeuvronC03,
author = {Fran{\c{c}}ois de Bertrand de Beuvron and
Amadou Coulibaly},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Applying Description Logic to Product Behavioral Design within Advanced
{CAD} Systems},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/beauvron.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BeuvronC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Brandt03,
author = {Sebastian Brandt},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Implementing Matching in ALE--First Results},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/brandt.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Brandt03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BrandtT03,
author = {Sebastian Brandt and
Anni{-}Yasmin Turhan},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Computing Least Common Subsumers for FLE\({}^{\mbox{+}}\)},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/turhan.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BrandtT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ColucciNSDM03,
author = {Simona Colucci and
Tommaso Di Noia and
Eugenio Di Sciascio and
Francesco M. Donini and
Marina Mongiello},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Concept Abduction and Contraction in Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/donini.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ColucciNSDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DeHaanTW03,
author = {David DeHaan and
David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Rewriting Aggregate Queries using Description Logic},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/toman.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DeHaanTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DucT03,
author = {Chan Le Duc and
Nhan Le Thanh},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {On the Problems of Representing Least Common Subsumer and Computing
Approximation in DLs},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/leduc.ps},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DucT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiT03,
author = {Enrico Franconi and
David Toman},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Fixpoint Extensions of Temporal Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/franconi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HaarslevM03,
author = {Volker Haarslev and
Ralf M{\"{o}}ller},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Incremental Query Answering for Implementing Document Retrieval Services},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/moeller-1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HaarslevM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Hladik03,
author = {Jan Hladik},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Reasoning about Nominals with FaCT and {RACER}},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/hladik.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Hladik03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorrocksP03,
author = {Ian Horrocks and
Peter F. Patel{-}Schneider},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Reducing {OWL} Entailment to Description Logic Satisfability},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/patel-schneider.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HorrocksP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HsuM03,
author = {Eric I. Hsu and
Deborah L. McGuinness},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Wine Agent: Semantic Web Testbed Application},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/hsu.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HsuM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HuDS03,
author = {Bo Hu and
Srinandan Dasmahapatra and
Nigel Shadbolt},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {From Lexicon To Mammographic Ontology: Experiences and Lessons},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/hu-1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HuDS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HuS03,
author = {Bo Hu and
Nigel Shadbolt},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Visualising a {DL} Knowledge Base with DeLogViz},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/hu-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HuS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Hull03,
author = {Richard Hull},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {E-Service Composition: Models and Formalisms},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/hull.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Hull03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KaramS03,
author = {Naouel Karam and
Michel Schneider},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Comparing Natural Language Documents: a {DL} Based Approach},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/karam.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KaramS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovN03,
author = {Yevgeny Kazakov and
Hans de Nivelle},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Subsumption of Concepts in FL\({}_{\mbox{0y}}\) for (Cyclic) Terminologies
with Respect to Descriptive Semantics is PSPACE-complete},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/kazakov.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KutzLWZ03,
author = {Oliver Kutz and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {E-connections of Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/wolter-1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KutzLWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LambrixEMT03,
author = {Patrick Lambrix and
Anna Edberg and
Carolyn Manis and
He Tan},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Merging {DAML+OIL} Bio-ontologies},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/lambrix.ps},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LambrixEMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LiH03,
author = {Lei Li and
Ian Horrocks},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Matchmarking Using an Instance Store: Some Preliminary Results},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/li.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LiH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Lim03,
author = {Shinyoung Lim},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Status Report on Description Logics related Project in Korea},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/lim.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Lim03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Lisi03,
author = {Francesca A. Lisi},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Data Minig in Hybrid Languages vis {ILP}},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/lisi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Lisi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzST03,
author = {Carsten Lutz and
Ulrike Sattler and
Lidia Tendera},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Finite Model Reasoning in {ALCQI} is {EXPTIME} Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/sattler.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzWZ03,
author = {Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Resasoning about Concepts and Similarity},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/wolter-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MeghiniT03,
author = {Carlo Meghini and
Yannis Tzitzikas},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Query Evaluation over Networks of Logic-based Mediators (Position
Paper)},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/meghini.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MeghiniT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Modgil03,
author = {Sanjay Modgil},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Rule Based Computation of Updates to Terminologies},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/modgil.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Modgil03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MollerCH03,
author = {Ralf M{\"{o}}ller and
Ronald Cornet and
Volker Haarslev},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Graphical Interfaces for Racer: Querying {DAML+OIL} and {RDF} Documents},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/moeller-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MollerCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Mylopoulos03,
author = {John Mylopoulos},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Modeling Software},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/mylopoulos.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Mylopoulos03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PanH03,
author = {Jeff Z. Pan and
Ian Horrocks},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {{RDFS(FA):} {A} DL-ised Sub-language of {RDFS}},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/pan.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PanH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SchlobachC03,
author = {Stefan Schlobach and
Ronald Cornet},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Explanation of Terminological Reasoning: {A} Preliminary Report},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/schlobach.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SchlobachC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StanchevW03,
author = {Lubomir Stanchev and
Grant E. Weddell},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Index Selection for Embedded Control Applications using Description
Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/stanchev.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/StanchevW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Straccia03,
author = {Umberto Straccia},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Distributed Search in the Semantic Web},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/straccia.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Straccia03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StraetenSM03,
author = {Ragnhild Van Der Straeten and
Jocelyn Simmonds and
Tom Mens},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Detecting Inconsistencies between {UML} Models Using Description Logic},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/vanderstraeten.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/StraetenSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TsarkovH03,
author = {Dmitry Tsarkov and
Ian Horrocks},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {{DL} Reasoner vs. First-Order Prover},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/tsarkov.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TsarkovH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2003,
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81},
urn = {urn:nbn:de:0074-81-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-14 22:03 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
