Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub337
Abstract In computer science, ontologies are dynami
In computer science, ontologies are dynamic entities: to adapt them to new and evolving applications, it is necessary to frequently perform modifications such as the extension with new axioms and merging with other ontologies. We argue that, after performing such modifications, it is important to know whether the resulting ontology is a conservative extension of the original one. If this is not the case, then there may be unexpected consequences when using the modified ontology in place of the original one in applications. In this paper, we propose and investigate new reasoning problems based on the notion of conservative extension, assuming that ontologies are formulated as TBoxes in the description logic ALC. We show that the fundamental such reasoning problems are decidable and 2ExpTime-complete. Additionally, we perform a finer-grained analysis that distinguishes between the size of the original ontology and the size of the additional axioms. In particular, we show that there are algorithms whose runtime is "only" exponential in the size of the original ontology, but double exponential in the size of the added axioms. If the size of the new axioms is small compared to the size of the ontology, these algorithms are thus not significantly more complex than the standard reasoning services implemented in modern description logic reasoners. If the extension of an ontology is not conservative, our algorithm is capable of computing a concept that witnesses non-conservativeness. We show that the computed concepts are of (worst-case) minimal size.
concepts are of (worst-case) minimal size.  +
Author S. Ghilardi + , Carsten Lutz + , Frank Wolter +
BibTex
@inproceedings{ GhilardiLutzWolter-KR06,
  author = {S. {Ghilardi} and C. {Lutz} and F. {Wolter}},
  booktitle = {Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
  editor = {Patrick {Doherty} and John {Mylopoulos} and Christopher {Welty}},
  pages = {187--197},
  publisher = {AAAI Press},
  title = {Did {I} Damage my Ontology? A Case for Conservative Extensions in Description Logics},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)  +
Download GhilardiLutzWolter-KR06.pdf  +
Editor Patrick Doherty and John Mylopoulos and Christopher Welty  +
ErsterAutorNachname Ghilardi  +
ErsterAutorVorname S.  +
Forschungsgruppe Automatentheorie +
Pages 187-197  +
Publication text S. Ghilardi, Carsten Lutz, Frank Wolter<
S. Ghilardi, Carsten Lutz, Frank Wolter<br/> '''[[LATPub337|<b>Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics</b>]]''' <br/>__NOTOC__In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., <i>Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)</i>, 187-197, 2006. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub337|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:GhilardiLutzWolter-KR06.pdf|Download]]
dia:GhilardiLutzWolter-KR06.pdf|Download]]  +
Publication text en S. Ghilardi, Carsten Lutz, Frank Wolter<
S. Ghilardi, Carsten Lutz, Frank Wolter<br/> '''[[LATPub337/en|<b>Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics</b>]]''' <br/>__NOTOC__In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., <i>Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)</i>, 187-197, 2006. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub337|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:GhilardiLutzWolter-KR06.pdf|Download]]
dia:GhilardiLutzWolter-KR06.pdf|Download]]  +
Publisher AAAI Press  +
Referiert 1  +
Title Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub337 + , LATPub337 + , LATPub337 + , LATPub337 + , LATPub337 + , LATPub337 + , LATPub337 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:05  +
verstecke Attribute die hierhin verlinken 
LATPub337/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.