research
∙
06/07/2022
Normalisations of Existential Rules: Not so Innocuous!
Existential rules are an expressive knowledge representation language ma...
share
research
∙
05/30/2022
Deciding Hyperproperties Combined with Functional Specifications
We study satisfiability for HyperLTL with a ∀^*∃^* quantifier prefix, kn...
research
∙
07/16/2021
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Existential rules are a very popular ontology-mediated query language fo...
research
∙
02/04/2021
Materializing Knowledge Bases via Trigger Graphs
The chase is a well-established family of algorithms used to materialize...
research
∙
12/21/2020
A Journey to the Frontiers of Query Rewritability
This paper is about (first order) query rewritability in the context of ...
research
∙
11/25/2019
Checking Chase Termination over Ontologies of Existential Rules with Equality
The chase is a sound and complete algorithm for conjunctive query answer...
research
∙
08/30/2018
Rule-based OWL Modeling with ROWLTab Protege Plugin
It has been argued that it is much easier to convey logical statements u...
research
∙
08/30/2018
Modeling OWL with Rules: The ROWL Protege Plugin
In our experience, some ontology users find it much easier to convey log...
research
∙
04/19/2018
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Conjunctive query answering over expressive Horn Description Logic ontol...
research
∙
10/13/2017
