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
https://portal.mardi4nfdi.de/entity/Q5277870	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
https://portal.mardi4nfdi.de/entity/Q5740415	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}\text{-}{\mathcal{F\!L}_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