1 code implementation • 30 Aug 2023 • Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance.
1 code implementation • 20 Jul 2022 • Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical uses of a given set of rules, e. g., in ontology-based query answering.
no code implementations • 4 May 2022 • Jacopo Urbani, Markus Krötzsch, Thomas Eiter
We study reasoning with existential rules to perform query answering over streams of data.
1 code implementation • 17 Mar 2022 • Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
State constraints in AI Planning globally restrict the legal environment states.
1 code implementation • 28 Nov 2015 • Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
The evaluation of Datalog rules over large Knowledge Graphs (KGs) is essential for many applications.
no code implementations • 4 Feb 2014 • Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Existential rules are closely related to the Horn fragments of the OWL 2 ontology language; furthermore, several prominent OWL 2 reasoners implement CQ answering by using the chase to materialise all relevant facts.
1 code implementation • 19 Jan 2012 • Markus Krötzsch, Frantisek Simancik, Ian Horrocks
This paper provides a self-contained first introduction to description logics (DLs).