dc.contributor.author | Grau, Bernardo Cuenca | |
dc.contributor.author | Horrocks, Ian | |
dc.contributor.author | Kroetzsch, Markus | |
dc.contributor.author | Kupke, Clemens | |
dc.contributor.author | Magka, Despoina | |
dc.contributor.author | Motik, Boris | |
dc.contributor.author | Wang, Zhe | |
dc.date.accessioned | 2019-03-22T04:36:41Z | |
dc.date.available | 2019-03-22T04:36:41Z | |
dc.date.issued | 2013 | |
dc.identifier.issn | 1076-9757 | |
dc.identifier.doi | 10.1613/jair.3949 | |
dc.identifier.uri | http://hdl.handle.net/10072/173437 | |
dc.description.abstract | Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved using the chase algorithm, which extends the given set of facts with fresh facts in order to satisfy the rules. If the chase terminates, then CQs can be evaluated directly in the resulting set of facts. The chase, however, does not terminate necessarily, and checking whether the chase terminates on a given set of rules and facts is undecidable. Numerous acyclicity notions were proposed as sufficient conditions for chase termination. In this paper, we present two new acyclicity notions called model-faithful acyclicity (MFA) and model-summarising acyclicity (MSA). Furthermore, we investigate the landscape of the known acyclicity notions and establish a complete taxonomy of all notions known to us. Finally, we show that MFA and MSA generalise most of these notions. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | AAAI Press | |
dc.relation.ispartofpagefrom | 741 | |
dc.relation.ispartofpageto | 808 | |
dc.relation.ispartofjournal | Journal of Artificial Intelligence Research | |
dc.relation.ispartofvolume | 47 | |
dc.subject.fieldofresearch | Applied mathematics | |
dc.subject.fieldofresearch | Applied mathematics not elsewhere classified | |
dc.subject.fieldofresearch | Cognitive and computational psychology | |
dc.subject.fieldofresearchcode | 4901 | |
dc.subject.fieldofresearchcode | 490199 | |
dc.subject.fieldofresearchcode | 5204 | |
dc.title | Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
dc.description.version | Version of Record (VoR) | |
gro.rights.copyright | © 2013 A I Access Foundation, Inc. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Wang, Zhe | |