11 citations · 20 across the 17 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.AI2021
Efficient TBox Reasoning with Value Restrictions using the wer reasoner
Franz Baader, Patrick Koopmann, Friedrich Michel +2
The inexpressive Description Logic (DL) , which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out…
cs.AI2021★ 2 cited
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
Patrick Koopmann
Given a knowledge base and an observation as a set of facts, ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the obser…
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…