Restricted chase (non)termination for existential rules with disjunctions

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Restricted chase (non)termination for existential rules with disjunctions

David CarralDavid Carral,  Irina DragosteIrina Dragoste,  Markus KrötzschMarkus Krötzsch
David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
  • KurzfassungAbstract
    The restricted chase is a sound and complete algorithm for conjunctive query answering over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its termination. Our criteria cannot always detect termination (the problem is undecidable), and we develop the first cyclicity criteria to show non-termination of the restricted chase. Experiments on real-world ontologies show that our acyclicity notions improve significantly over known criteria.
  • Bemerkung: Note: This is an extended version of the paper with an additional appendix and a small correction of Definition 4.
  • Projekt:Project: CfaedDIAMONDHAEC B08
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{CDK2017:RestrictedChaseAcyclicity,
	author    = {David Carral and Irina Dragoste and Markus Kr{\"{o}}tzsch},
	title     = {Restricted chase (non)termination for existential rules with disjunctions},
	pages     = {922-928},
	crossref = {ijcai17}
}
 
@proceedings{ijcai17,
	title     = Proc # {26th } # Int # {Joint } # Conf # {on Artificial Intelligence (IJCAI'17)},
	booktitle = Proc # {26th } # Int # {Joint } # Conf # {on Artificial Intelligence (IJCAI'17)},
	editor    = {Carles Sierra},
	publisher = {IJCAI},
	year      = {2017}
}