Practical Uses of Existential Rules in Knowledge Representation

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

Toggle side column

Practical Uses of Existential Rules in Knowledge Representation

David CarralDavid Carral,  Markus KrötzschMarkus Krötzsch,  Jacopo UrbaniJacopo Urbani
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
This tutorial will be presented at the 17th International Conference on Principles of Knowledge Representation and Reasoning, September 2020
  • KurzfassungAbstract
    In this tutorial, we discuss the terminating fragment of existential rules. That is, the fragment of this language for which the chase---a sound and complete, bottom-up reasoning procedure---is guaranteed to terminate. We propose the use of terminating rule languages to encode complex reasoning algorithms in a declarative way. This approach---which follows the classical slogan "Algorithm = Logic + Control"---promises to turn high-level specifications of logical calculi as systems of inference rules into declarative rule-based models that can be executed on state-of-the-art rule engines. Finally, we present VLog, an efficient implementation of the chase and show, in a hands-on session, how to use this tool to implement simple reasoning calculi.


    For more information about this tutorial, including a brief outline as well as more information about the presenters (David, Markus, and Jacopo), see the pdf included in this page.
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{CKU2020,
  author    = {David Carral and Markus Kr{\"{o}}tzsch and Jacopo Urbani},
  title     = {Practical Uses of Existential Rules in Knowledge Representation},
  booktitle = {This tutorial will be presented at the 17th International
               Conference on Principles of Knowledge Representation and
               Reasoning},
  year      = {2020},
  month     = {September}
}