Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

Loading...
Thumbnail Image
File version

Version of Record (VoR)

Author(s)
Grau, Bernardo Cuenca
Horrocks, Ian
Kroetzsch, Markus
Kupke, Clemens
Magka, Despoina
Motik, Boris
Wang, Zhe
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2013
Size
File type(s)
Location
License
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.

Journal Title

Journal of Artificial Intelligence Research

Conference Title
Book Title
Edition
Volume

47

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© 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.

Item Access Status
Note
Access the data
Related item(s)
Subject

Applied mathematics

Applied mathematics not elsewhere classified

Cognitive and computational psychology

Persistent link to this record
Citation
Collections