6 citations · 13 across the 5 of their papers we have counts for
5 papers
Current and Future Challenges in Knowledge Representation and Reasoning
James P. Delgrande, Birte Glimm, Thomas Meyer +2
Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has bee…
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter +1
Algorithms for learning database queries from examples and unique characterisations of queries by examples are prominent starting points for developing automated support for query…
A Journey into Ontology Approximation: From Non-Horn to Horn
Anneke Haga, Carsten Lutz, Johannes Marti +1
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as in a Horn DL such as~. We provide concrete app…
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and…
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Alessandro Artale, Roman Kontchakov, Frank Wolter +1
Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a tempora…