Stefan Borgwardt
Stefan Borgwardt
Theoretical Computer Science, TU Dresden
Bestätigte E-Mail-Adresse bei tu-dresden.de - Startseite
TitelZitiert vonJahr
Undecidability of fuzzy description logics
S Borgwardt, R Peñaloza
Thirteenth International Conference on the Principles of Knowledge …, 2012
502012
Temporal Query Answering in the Description Logic DL-Lite
S Borgwardt, M Lippmann, V Thost
Proc. of the 9th Int. Symp. on Frontiers of Combining Systems (FroCoS’13 …, 2013
46*2013
Temporalizing ontology-based data access
F Baader, S Borgwardt, M Lippmann
International Conference on Automated Deduction, 330-344, 2013
432013
The limits of decidability in fuzzy description logics with general concept inclusions
S Borgwardt, F Distel, R Peñaloza
Artificial Intelligence 218, 23-55, 2015
392015
The complexity of lattice-based fuzzy description logics
S Borgwardt, R Peñaloza
Journal on Data Semantics 2 (1), 1-19, 2013
352013
Description logics over lattices with multi-valued ontologies
S Borgwardt, R Peñaloza
Proceedings of the Twenty-Second international joint conference on …, 2011
332011
How fuzzy is my fuzzy description logic?
S Borgwardt, F Distel, R Peñaloza
International Joint Conference on Automated Reasoning, 82-96, 2012
322012
Consistency reasoning in lattice-based fuzzy description logics
S Borgwardt, R Peñaloza
International Journal of Approximate Reasoning 55 (9), 1917-1938, 2014
302014
Temporalizing rewritable query languages over knowledge bases
S Borgwardt, M Lippmann, V Thost
Web Semantics: Science, Services and Agents on the World Wide Web 33, 50-70, 2015
292015
Extending Unification in EL Towards General TBoxes.
F Baader, S Borgwardt, B Morawska
KR, 2012
282012
Fuzzy Ontologies over Lattices with T-norms.
S Borgwardt, R Penaloza
Description Logics, 2011
232011
Temporal Query Answering in the Description Logic EL.
S Borgwardt, V Thost
IJCAI, 2819-2825, 2015
21*2015
Decidable Gödel description logics without the finitely-valued model property
S Borgwardt, F Distel, R Peñaloza
Proceedings of the 14th International Conference on Principles of Knowledge …, 2014
202014
Temporal query entailment in the Description Logic SHQ
F Baader, S Borgwardt, M Lippmann
Web Semantics: Science, Services and Agents on the World Wide Web 33, 71-93, 2015
192015
Positive subsumption in fuzzy EL with general t-norms
S Borgwardt, R Peñaloza
AAAI Press, 2013
19*2013
Finite lattices do not make reasoning in ALCI harder
S Borgwardt, R Penaloza
Proceedings of the 7th International Conference on Uncertainty Reasoning for …, 2011
192011
A tableau algorithm for fuzzy description logics over residuated De Morgan lattices
S Borgwardt, R Peñaloza
International Conference on Web Reasoning and Rule Systems, 9-24, 2012
172012
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
F Baader, S Borgwardt, R Peñaloza
Journal of Philosophical Logic, 0
16*
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.
S Borgwardt, R Penaloza
Description Logics, 2012
132012
Metric temporal description logics with interval-rigid names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
International Symposium on Frontiers of Combining Systems, 60-76, 2017
122017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20