Existential-rules-acyclicity

PublikationenPublications

• Nach AutorBy Author
  • David CarralDavid Carral
• Nach ForschungsgruppeBy Research Group
  • Wissensbasierte SystemeKnowledge-Based Systems

Toggle side column

Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase

David CarralDavid Carral

• Download
• Slides

David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 2018

• Details
• Bibtex

• KurzfassungAbstract
  Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase

  The chase is a sound and complete (albeit non-terminating) algorithm for conjunctive query answering over ontologies of existential rules. On the theoretical side, we develop sufficient conditions to guarantee its termination (i.e., acyclicity notions), and study several restrictions that furthermore ensure its polynomiality. On the practical side, we empirically study the generality of these conditions and we extend the Datalog engine VLog to develop an efficient implementation of the chase. Furthermore, we conduct an extensive evaluation, and show that VLog can compete with the state of the art, regarding runtime, scalability, and memory efficiency.

  Related Publications

  This talk consists of three sections which mostly discuss the following three publications, respectively.

  1. Restricted Chase (Non)Termination for Existential Rules with Disjunctions [IJCAI 17]
  2. Tractable Query Answering for Expressive Ontologies and Existential Rules [ISWC 17]
  3. Efficient Model Construction for Horn Logic with VLog - System Description [IJCAR 18]

  All of the above are joint work with Irina Dragoste, Ceriel J. H. Jacobs, Markus Krötzsch, and Jacopo Urbani.

  Locations

  I will be presenting this talk at the seminars of the following research groups.

  • 06/12/18: Information Systems Group (ISG) at the University of Oxford
  • 14/14/18: Value from Data (Valda) at the École normale supérieure (part of PSL University)
  • 18/12/18: Laboratoire Bordelais de Recherche en Informatique (LaBRI) at the University of Bordeaux
  • 21/12/18: Knowledge Representation and Reasoning (GraphIk) at the Univesity of Montpellier
  • 08/01/19: Quantitative Logics and Automata (QuantLA) at the Technische Universität Dresden
• Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@misc{C2018,
  author = {David Carral},
  title  = {Reasoning over Existential Rules with Acyclicity Notions and the
            Datalog-first Restricted Chase},
  year   = {2018},
  month  = {December}
}