dc.contributor.author | Grau, BC | |
dc.contributor.author | Horrocks, I | |
dc.contributor.author | Krötzsch, M | |
dc.contributor.author | Kupke, C | |
dc.contributor.author | Magka, D | |
dc.contributor.author | Motik, B | |
dc.contributor.author | Wang, Z | |
dc.contributor.editor | Thomas Eiter and Sheila A. McIlraith | |
dc.date.accessioned | 2017-05-18T22:49:39Z | |
dc.date.available | 2017-05-18T22:49:39Z | |
dc.date.issued | 2012 | |
dc.identifier.isbn | 9781577355601 | |
dc.identifier.uri | http://hdl.handle.net/10072/336459 | |
dc.description.abstract | Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a key problem in knowledge representation and databases. This problem can be solved using the chase (aka materialisation) algorithm; however, CQ answering is undecidable for general existential rules, so the chase is not guaranteed to terminate. Several acyclicity conditions provide sufficient conditions for chase termination. In this paper, we present two novel such conditions—model-faithful acyclicity (MFA) and model-summarising acyclicity (MSA)—that generalise many of the acyclicity conditions known so far in the literature. Materialisation provides the basis for several widely-used OWL 2 DL reasoners. In order to avoid termination problems, many of these systems handle only the OWL 2 RL profile of OWL 2 DL; furthermore, some systems go beyond OWL 2 RL, but they provide no termination guarantees. In this paper we investigate whether various acyclicity conditions can provide a principled and practical solution to these problems. On the theoretical side, we show that query answering for acyclic ontologies is of lower complexity than for general ontologies. On the practical side, we show that many of the commonly used OWL 2 DL ontologies are MSA, and that the facts obtained via materialisation are not too large. Thus, our results suggest that principled extensions to materialisationbased OWL 2 DL reasoners may be practically feasible. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | AAAI Press | |
dc.publisher.place | Germany | |
dc.publisher.uri | https://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490 | |
dc.relation.ispartofconferencename | KR 2012 | |
dc.relation.ispartofconferencetitle | Proceedings of the International Workshop on Temporal Representation and Reasoning | |
dc.relation.ispartofdatefrom | 2012-06-10 | |
dc.relation.ispartofdateto | 2012-06-14 | |
dc.relation.ispartoflocation | Rome, Italy | |
dc.relation.ispartofpagefrom | 243 | |
dc.relation.ispartofpageto | 253 | |
dc.relation.ispartofedition | 1st | |
dc.subject.fieldofresearch | Artificial intelligence not elsewhere classified | |
dc.subject.fieldofresearchcode | 460299 | |
dc.title | Acyclicity conditions and their application to query answering in description logics | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
dc.description.version | Accepted Manuscript (AM) | |
gro.rights.copyright | © 2012 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Wang, Zhe | |