Search Results for author: Stefan Borgwardt

Found 9 papers, 2 papers with code

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)

1 code implementation15 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.

Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

no code implementations19 Sep 2016 Franz Baader, Stefan Borgwardt, Barbara Morawska

Unification in Description Logics has been introduced as a means to detect redundancies in ontologies.

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

no code implementations11 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.

Reasoning in Infinitely Valued G-IALCQ

no code implementations29 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.

Negation

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

no code implementations27 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.

Logic-Guided Message Generation from Raw Real-Time Sensor Data

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.

Text Generation

Why Not? Explaining Missing Entailments with Evee (Technical Report)

no code implementations14 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.