no code implementations • LREC 2022 • Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh
We find that formulating the task as an end-to-end problem leads to two major challenges in content selection – the sensor data is both redundant and diverse across environments, thereby making it hard for the encoders to select and reason on the data.
no code implementations • 14 Aug 2023 • Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users.
1 code implementation • 15 Jun 2022 • Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward.
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.
1 code implementation • 17 Mar 2022 • Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
State constraints in AI Planning globally restrict the legal environment states.
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 • 19 Sep 2016 • Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies.
no code implementations • 29 Sep 2015 • Stefan Borgwardt, Rafael Peñaloza
Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge.
no code implementations • 11 Aug 2015 • Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain.