65 citations · 119 across the 11 of their papers we have counts for
Showing 2020Show 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★ 13 cited
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
We introduce and investigate the expressive description logic (DL) ALCSCC++, in which the global and local cardinality constraints introduced in previous papers can be mixed. On th…