Search Results for author: Stefan Borgwardt

Found 4 papers, 0 papers with code

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.

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.

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.

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.

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