6 citations · 13 across the 5 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2023★ 6 cited
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…
cs.AI2023
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…
cs.AI2020★ 1 cited
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…