Recent Advances in Reasoning with Existential Rules

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

Recent Advances in Reasoning with Existential Rules

Markus KrötzschMarkus Krötzsch
Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
  • KurzfassungAbstract
    Existential rules (also known as tuple-generating dependencies) are a powerful rule language that is of interest to databases and knowledge representation alike. In this presentation, I will discuss the challenge that arise when reasoning with such rules, and I present recent theoretical and practical results for tackling this problem. The restricted chase is a well-known sound and complete reasoning algorithm for existential rules, but it may fail to terminate (unavoidable, since reasoning is undecidable here). I review recently proposed conditions that ensure restricted chase termination, and give empirical evidence that these conditions apply to many real-world ontologies. Moreover, I discuss a new implementation of the restricted chase in the column-based rule engine VLog, and present extensive evaluation results that show that VLog can compete with the state of the art in existential rule reasoning regarding runtime, scalability, and memory efficiency.
  • Projekt:Project: CfaedDIAMONDEMCLHAEC B08
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@misc{Kroetzsch-EMCL2018,
  author = {Markus Kr{\"{o}}tzsch},
  title  = {Recent Advances in Reasoning with Existential Rules},
  year   = {2018},
  howpublished = {Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL)}
}