research
∙
08/30/2023
Nemo: First Glimpse of a New Rule Engine
This system demonstration presents Nemo, a new logic programming engine ...
share
research
∙
07/20/2022
Efficient Dependency Analysis for Rule-Based Ontologies
Several types of dependencies have been proposed for the static analysis...
research
∙
05/30/2022
Deciding Hyperproperties Combined with Functional Specifications
We study satisfiability for HyperLTL with a ∀^*∃^* quantifier prefix, kn...
research
∙
05/04/2022
Chasing Streams with Existential Rules
We study reasoning with existential rules to perform query answering ove...
research
∙
03/17/2022
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
State constraints in AI Planning globally restrict the legal environment...
research
∙
01/24/2022
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In a previous paper, we have shown that clause sets belonging to the Hor...
research
∙
12/14/2021
Answering Queries with Negation over Existential Rules
Ontology-based query answering with existential rules is well understood...
research
∙
07/16/2021
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Existential rules are a very popular ontology-mediated query language fo...
research
∙
07/07/2021
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
The Bernays-Schönfinkel first-order logic fragment over simple linear re...
research
∙
07/29/2019
Partially Ordered Automata and Piecewise Testability
Universality is the question whether a system recognizes all words over ...
research
∙
11/28/2015
Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report)
The evaluation of Datalog rules over large Knowledge Graphs (KGs) is ess...
research
∙
02/04/2014
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Answering conjunctive queries (CQs) over a set of facts extended with ex...
research
∙
02/04/2012
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
We propose a novel, type-elimination-based method for reasoning in the d...
research
∙
02/01/2012
OWL: Yet to arrive on the Web of Data?
Seven years on from OWL becoming a W3C recommendation, and two years on ...
research
∙
01/19/2012