no code implementations • 19 May 2022 • Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies.
no code implementations • 27 Jul 2021 • Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w. r. t.
no code implementations • 27 Apr 2021 • Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
In previous work, we first restricted the attention to a setting where proof size is used to measure the quality of a proof.
no code implementations • 14 Feb 2020 • Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
On the other hand, the satisfiability problem becomes undecidable if inverse roles are added to the languages.
no code implementations • 19 Sep 2016 • Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies.