11 citations · 11 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 11 cited
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +2
Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if su…
cs.LO2020
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
Stefan Borgwardt, Veronika Thost
Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to…