Seuraa
Stefan Borgwardt
Stefan Borgwardt
Theoretical Computer Science, TU Dresden
Vahvistettu sähköpostiosoite verkkotunnuksessa tu-dresden.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Undecidability of fuzzy description logics
S Borgwardt, R Peñaloza
Thirteenth International Conference on the Principles of Knowledge …, 2012
732012
Temporalizing ontology-based data access
F Baader, S Borgwardt, M Lippmann
International Conference on Automated Deduction, 330-344, 2013
692013
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
68*2013
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
672015
Finding Small Proofs for Description Logic Entailments: Theory and Practice.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
LPAR, 32-67, 2020
65*2020
Temporalizing rewritable query languages over knowledge bases
S Borgwardt, M Lippmann, V Thost
Journal of Web Semantics 33, 50-70, 2015
612015
Metric Temporal Description Logics with Interval-Rigid Names
F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020
602020
Extending Unification in EL Towards General TBoxes.
F Baader, S Borgwardt, B Morawska
KR, 2012
572012
Temporal query entailment in the description logic SHQ
F Baader, S Borgwardt, M Lippmann
Journal of Web Semantics 33, 71-93, 2015
562015
The complexity of lattice-based fuzzy description logics
S Borgwardt, R Peñaloza
Journal on Data Semantics 2 (1), 1-19, 2013
532013
Temporal Query Answering in the Description Logic EL.
S Borgwardt, V Thost
IJCAI, 2819-2825, 2015
512015
Consistency reasoning in lattice-based fuzzy description logics
S Borgwardt, R Peñaloza
International Journal of Approximate Reasoning 55 (9), 1917-1938, 2014
442014
Finding good proofs for description logic entailments using recursive quality measures
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
International Conference on Automated Deduction, 291-308, 2021
432021
Ontology-mediated queries for probabilistic databases
S Borgwardt, II Ceylan, T Lukasiewicz
Thirty-First AAAI Conference on Artificial Intelligence, 2017
392017
Description logics over lattices with multi-valued ontologies
S Borgwardt, R Peñaloza
Proceedings of the Twenty-Second international joint conference on …, 2011
382011
Fuzzy description logics–a survey
S Borgwardt, R Peñaloza
International Conference on Scalable Uncertainty Management, 31-45, 2017
362017
How fuzzy is my fuzzy description logic?
S Borgwardt, F Distel, R Peñaloza
International Joint Conference on Automated Reasoning, 82-96, 2012
352012
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
332014
Fuzzy Ontologies over Lattices with T-norms.
S Borgwardt, R Penaloza
Description Logics, 2011
292011
Temporal conjunctive queries in expressive description logics with transitive roles
F Baader, S Borgwardt, M Lippmann
Australasian Joint Conference on Artificial Intelligence, 21-33, 2015
272015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20