Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub333
Abstract Description logic (DL) ABoxes are a tool f
Description logic (DL) ABoxes are a tool for describing the state of affairs in an application domain. In this paper, we consider the problem of updating ABoxes when the state changes. We assume that changes are described at an atomic level, i.e., in terms of possibly negated ABox assertions that involve only atomic concepts and roles. We analyze such basic ABox updates in several standard DLs by investigating whether the updated ABox can be expressed in these DLs and, if so, whether it is computable and what is its size. It turns out that DLs have to include nominals and the "@" constructor of hybrid logic (or, equivalently, admit Boolean ABoxes) for updated ABoxes to be expressible. We devise algorithms to compute updated ABoxes in several expressive DLs and show that an exponential blowup in the size of the whole input (original ABox + update information) cannot be avoided unless every PTIME problem is LOGTIME-parallelizable. We also exhibit ways to avoid an exponential blowup in the size of the original ABox, which is usually large compared to the update information.
large compared to the update information.  +
Author H. Liu + , M. Milicic + , Carsten Lutz + , Frank Wolter +
BibTex
@inproceedings{ LiLuMiWo-KR-06,
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} 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 = {46--56},
  publisher = {AAAI Press},
  title = {Updating Description Logic {ABoxes}},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)  +
Download LiLuMiWo-KR-06.pdf  +
Editor Patrick Doherty and John Mylopoulos and Christopher Welty  +
ErsterAutorNachname Liu  +
ErsterAutorVorname H.  +
Forschungsgruppe Automatentheorie +
Pages 46-56  +
Publication text H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br/> '''[[LATPub333|<b>Updating Description Logic ABoxes</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>, 46-56, 2006. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub333|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LiLuMiWo-KR-06.pdf|Download]]
> [[Media:LiLuMiWo-KR-06.pdf|Download]]  +
Publication text en H. Liu, Carsten Lutz, M. Milicic, Frank Wo
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter<br/> '''[[LATPub333/en|<b>Updating Description Logic ABoxes</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>, 46-56, 2006. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub333|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:LiLuMiWo-KR-06.pdf|Download]]
> [[Media:LiLuMiWo-KR-06.pdf|Download]]  +
Publisher AAAI Press  +
Referiert 1  +
Title Updating Description Logic ABoxes  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub333 + , LATPub333 + , LATPub333 + , LATPub333 + , LATPub333 + , LATPub333 + , LATPub333 + , LATPub333 +
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 
LATPub333/en + Weiterleitungsseite
 

 

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