Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings4011
Abstract Answering conjunctive queries (CQs) over a
Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a fundamental reasoning problem although undecidable due to non-termination of the main reasoning algorithm used—the chase. Several acyclicity conditions have been formulated that ensure chase termination. In this paper, we show that acyclicity can also be practically relevant for description logic (DL) reasoning. Due to the high complexity of answering CQs over DL ontologies, applications often solve this problem using materialisation, in which ontology consequences are precomputed using variants of the chase. Due to the non-termination problem, the execution of the algorithm is restricted only to rules that fall within the OWL 2 RL profile, which results in incomplete reasoning. After presenting two novel acyclicity conditions (model-faithful acyclicity (MFA) and model-summarising acyclicity (MSA)), we investigate the practical applicability of these and other acyclicity conditions for DL query answering. Our experiments reveal that many existing ontologies are MSA and that materialisation is typically not too large. Thus, our results suggest that principled, materialisation-based reasoning for ontologies beyond the OWL 2 RL profile may be practically feasible.
L 2 RL profile may be practically feasible.  +
Author Bernardo Cuenca Grau + , Ian Horrocks + , Markus Krötzsch + , Clemens Kupke + , Despoina Magka + , Boris Motik + , Zhe Wang +
BibTex
@inproceedings{GHKKMMW2012,
  author    = {Bernardo Cuenca Grau and Ian Horrocks and Markus Kr{\"{o}}tzsch
               and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang},
  title     = {Acyclicity Conditions and their Application to Query Answering in
               Description Logics},
  booktitle = {Proc. 13th International Conference on Principles of Knowledge
               Representation and Reasoning (KR'12)},
  publisher = {AAAI Press},
  year      = {2012},
  month     = {June},
  pages     = {243{\textendash}253}
}
Bibtype Inproceedings  +
Booktitle Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12)  +
Download Acyclicity.pdf  +
ErsterAutorNachname Grau  +
ErsterAutorVorname Bernardo Cuenca  +
Forschungsgebiet Existenzielle Regeln + , Wissensrepräsentation und logisches Schließen + , Beschreibungslogiken + , Semantische Technologien +
Forschungsgruppe Wissensbasierte Systeme +
Link http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490  +
Month Juni  +
Note This work is completely subsumed by the journal article [[Article4005/en|Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies]].  +
Pages 243–253  +
Publication text Bernardo Cuenca Grau, Ian Horrocks, Markus
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang<br/> '''[[Inproceedings4011|<b>Acyclicity Conditions and their Application to Query Answering in Description Logics</b>]]''' <br/>__NOTOC__<i>Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12)</i>, 243–253, June 2012. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4011|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Acyclicity.pdf|Download]]
span> [[Media:Acyclicity.pdf|Download]]  +
Publication text en Bernardo Cuenca Grau, Ian Horrocks, Markus
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang<br/> '''[[Inproceedings4011/en|<b>Acyclicity Conditions and their Application to Query Answering in Description Logics</b>]]''' <br/>__NOTOC__<i>Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12)</i>, 243–253, June 2012. AAAI Press<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4011|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Acyclicity.pdf|Download]]
span> [[Media:Acyclicity.pdf|Download]]  +
Publisher AAAI Press  +
Referiert 1  +
Title Acyclicity Conditions and their Application to Query Answering in Description Logics  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 + , Inproceedings4011 +
Kategorien Publikation , Inproceedings
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Mai 2016 16:02:30  +
verstecke Attribute die hierhin verlinken 
Inproceedings4011/en + Weiterleitungsseite
 

 

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