Stefan Borgwardt

Available identifiers

zbMath Open borgwardt.stefanDBLP38/9855WikidataQ57517594 ScholiaQ57517594MaRDI QIDQ465590

List of research outcomes

Publication	Date of Publication	Type
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes	2024-03-14	Paper
Temporal Minimal-World Query Answering over Sparse ABoxes	2023-12-12	Paper
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources	2023-08-02	Dataset
Evonne: interactive proof visualization for description logics (system description)	2022-12-07	Paper
Fuzzy Description Logics – A Survey	2022-11-04	Paper
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources	2022-05-18	Dataset
Finding good proofs for description logic entailments using recursive quality measures	2021-12-01	Paper
Supplementary Material to "Making DL-Lite Planning Practical"	2021-11-03	Dataset
Metric temporal description logics with interval-rigid names	2020-09-11	Paper
Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources	2020-05-27	Dataset
Closed-world semantics for conjunctive queries with negation over \(\mathcal{ELH}_\bot\) ontologies	2020-02-18	Paper
Metric temporal description logics with interval-rigid names	2018-01-04	Paper
The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm	2017-11-21	Paper
Reasoning in fuzzy description logics using automata	2017-11-14	Paper
Dismatching and local disunification in \(\mathcal {EL}\)	2017-07-12	Paper
Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification	2017-04-11	Paper
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics	2017-03-29	Paper
Reasoning in expressive description logics under infinitely valued Gödel semantics	2017-02-27	Paper
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor	2016-12-15	Paper
The inclusion problem for weighted automata on infinite trees	2016-07-26	Paper
On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions	2015-04-23	Paper
The limits of decidability in fuzzy description logics with general concept inclusions	2015-02-02	Paper
The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics	2015-01-14	Paper
Consistency reasoning in lattice-based fuzzy description logics	2014-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q5419868	2014-06-11	Paper
Temporal query answering in the description logic DL-Lite	2013-09-20	Paper
Temporalizing ontology-based data access	2013-06-14	Paper
How fuzzy is my fuzzy description logic?	2012-09-05	Paper
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies	2012-09-05	Paper
Finding finite Herbrand models	2012-06-15	Paper
Unification in the description logic \(\mathcal{EL}\) without the top concept	2011-07-29	Paper

Research outcomes over time

This page was built for person: Stefan Borgwardt