[PDF][PDF] Restricted Chase (Non) Termination for Existential Rules with Disjunctions.
D Carral, I Dragoste, M Krötzsch - IJCAI, 2017 - iccl.inf.tu-dresden.de
D Carral, I Dragoste, M Krötzsch
IJCAI, 2017•iccl.inf.tu-dresden.deThe 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.
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.
Abstract
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.
iccl.inf.tu-dresden.de
以上显示的是最相近的搜索结果。 查看全部搜索结果