24 citations · 48 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 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.AI2011★ 24 cited
Fusions of Description Logics and Abstract Description Systems
F. Baader, C. Lutz, H. Sturm +1
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidabi…