3 citations · 8 across the 16 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DB2021★ 1 cited
Temporal Minimal-World Semantics for Sparse ABoxes
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. For querying the absence of information, however, there exi…
cs.AI2021★ 1 cited
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +2
Logic-based approaches to AI have the advantage that their behavior can in principle be explained to a user. If, for instance, a Description Logic reasoner derives a consequence th…