Search Results for author:
Found 7 papers, 5 papers with code
Nemo: First Glimpse of a New Rule Engine
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance.
Efficient Dependency Analysis for Rule-Based Ontologies
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.
Chasing Streams with Existential Rules
We study reasoning with existential rules to perform query answering over streams of data.
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
State constraints in AI Planning globally restrict the legal environment states.
Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report)
The evaluation of Datalog rules over large Knowledge Graphs (KGs) is essential for many applications.
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
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.
A Description Logic Primer
This paper provides a self-contained first introduction to description logics (DLs).
