Show simple item record

dc.contributor.authorGrau, BC
dc.contributor.authorHorrocks, I
dc.contributor.authorKrötzsch, M
dc.contributor.authorKupke, C
dc.contributor.authorMagka, D
dc.contributor.authorMotik, B
dc.contributor.authorWang, Z
dc.contributor.editorThomas Eiter and Sheila A. McIlraith
dc.date.accessioned2017-05-18T22:49:39Z
dc.date.available2017-05-18T22:49:39Z
dc.date.issued2012
dc.identifier.isbn9781577355601
dc.identifier.urihttp://hdl.handle.net/10072/336459
dc.description.abstractAnswering 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.peerreviewedYes
dc.languageEnglish
dc.publisherAAAI Press
dc.publisher.placeGermany
dc.publisher.urihttps://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490
dc.relation.ispartofconferencenameKR 2012
dc.relation.ispartofconferencetitleProceedings of the International Workshop on Temporal Representation and Reasoning
dc.relation.ispartofdatefrom2012-06-10
dc.relation.ispartofdateto2012-06-14
dc.relation.ispartoflocationRome, Italy
dc.relation.ispartofpagefrom243
dc.relation.ispartofpageto253
dc.relation.ispartofedition1st
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchcode460299
dc.titleAcyclicity conditions and their application to query answering in description logics
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionAccepted 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.hasfulltextFull Text
gro.griffith.authorWang, Zhe


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record