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
Evonne: interactive proof visualization for description logics (system description)	2022-12-07	Paper
Fuzzy Description Logics – A Survey	2022-11-04	Paper
Finding good proofs for description logic entailments using recursive quality measures	2021-12-01	Paper
Metric Temporal Description Logics with Interval-Rigid Names	2020-09-11	Paper
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
SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies	2012-09-05	Paper
How Fuzzy Is My Fuzzy Description Logic?	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Borgwardt