Franz Baader

Evonne: Interactive Proof Visualization for Description Logics (System Description)

2022 · Lecture notes in computer science

Abstract Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a …

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

2025 · Proceedings of the ... International Florida Artificial Intelligence Research Society Conference

In previous work it was shown that the logic ALCME, which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two …