Recent Advances in Reasoning with Existential Rules

Markus KrötzschMarkus Krötzsch

Download

Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018

Details
Bibtex

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: Cfaed, DIAMOND, EMCL, HAEC 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)}
}