Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub339
Abstract We show that circumscription can be used t
We show that circumscription can be used to extend description logics (DLs) with non-monotonic features in a straightforward and transparent way. In particular, we consider extensions with circumscription of the expressive DLs ALCIO and ALCQO and prove that reasoning in these logics is decidable under a simple restriction: only concept names can be circumscribed, and role names vary freely during circumscription. We pinpoint the exact computational complexity of reasoning as complete for NP^NExp and NExp^NP, depending on whether or not the number of minimized and fixed predicates is assumed to be bounded by a constant. We also show that we cannot allow role names to be fixed during minimization rather than having them vary: this modification renders reasoning undecidable already in the basic DL ALC. Finally, we argue that non-monotonic DLs based on circumscription are an appropriate tool for modelling defeasible inheritance. In particular, we can avoid the restriction of non-monotonic reasoning to domain elements that are named by an individual constant, as adopted by other non-monotonic DLs.
nt, as adopted by other non-monotonic DLs.  +
Author P. Bonatti + , Carsten Lutz + , Frank Wolter +
BibTex
@inproceedings{ BonattiLutzWolter-KR06,
  author = {P. {Bonatti} 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 = {400--410},
  publisher = {AAAI Press},
  title = {Expressive Non-Monotonic Description Logics Based on Circumscription},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)  +
Download BonattiLutzWolter.pdf  +
Editor Patrick Doherty and John Mylopoulos and Christopher Welty  +
ErsterAutorNachname Bonatti  +
ErsterAutorVorname P.  +
Forschungsgruppe Automatentheorie +
Pages 400-410  +
Publication text P. Bonatti, Carsten Lutz, Frank Wolter<
P. Bonatti, Carsten Lutz, Frank Wolter<br/> '''[[LATPub339|<b>Expressive Non-Monotonic Description Logics Based on Circumscription</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>, 400-410, 2006. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub339|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BonattiLutzWolter.pdf|Download]]
; [[Media:BonattiLutzWolter.pdf|Download]]  +
Publication text en P. Bonatti, Carsten Lutz, Frank Wolter<
P. Bonatti, Carsten Lutz, Frank Wolter<br/> '''[[LATPub339/en|<b>Expressive Non-Monotonic Description Logics Based on Circumscription</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>, 400-410, 2006. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub339|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BonattiLutzWolter.pdf|Download]]
; [[Media:BonattiLutzWolter.pdf|Download]]  +
Publisher AAAI Press  +
Referiert 1  +
Title Expressive Non-Monotonic Description Logics Based on Circumscription  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub339 + , LATPub339 + , LATPub339 + , LATPub339 + , LATPub339 + , LATPub339 + , LATPub339 +
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 
LATPub339/en + Weiterleitungsseite
 

 

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