| Undecidability of fuzzy description logics S Borgwardt, R Peñaloza Thirteenth International Conference on the Principles of Knowledge …, 2012 | 73 | 2012 |
| Temporalizing ontology-based data access F Baader, S Borgwardt, M Lippmann International Conference on Automated Deduction, 330-344, 2013 | 69 | 2013 |
| 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 | 67 | 2015 |
| Finding Small Proofs for Description Logic Entailments: Theory and Practice. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova LPAR, 32-67, 2020 | 62* | 2020 |
| Temporalizing rewritable query languages over knowledge bases S Borgwardt, M Lippmann, V Thost Journal of Web Semantics 33, 50-70, 2015 | 61 | 2015 |
| 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 | 60 | 2020 |
| Extending Unification in EL Towards General TBoxes. F Baader, S Borgwardt, B Morawska KR, 2012 | 57 | 2012 |
| Temporal query entailment in the description logic SHQ F Baader, S Borgwardt, M Lippmann Journal of Web Semantics 33, 71-93, 2015 | 56 | 2015 |
| The complexity of lattice-based fuzzy description logics S Borgwardt, R Peñaloza Journal on Data Semantics 2 (1), 1-19, 2013 | 52 | 2013 |
| Temporal Query Answering in the Description Logic EL. S Borgwardt, V Thost IJCAI, 2819-2825, 2015 | 51 | 2015 |
| Consistency reasoning in lattice-based fuzzy description logics S Borgwardt, R Peñaloza International Journal of Approximate Reasoning 55 (9), 1917-1938, 2014 | 44 | 2014 |
| 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 | 41 | 2021 |
| Ontology-mediated queries for probabilistic databases S Borgwardt, II Ceylan, T Lukasiewicz Thirty-First AAAI Conference on Artificial Intelligence, 2017 | 39 | 2017 |
| Description logics over lattices with multi-valued ontologies S Borgwardt, R Peñaloza Proceedings of the Twenty-Second international joint conference on …, 2011 | 37 | 2011 |
| Fuzzy description logics–a survey S Borgwardt, R Peñaloza International Conference on Scalable Uncertainty Management, 31-45, 2017 | 35 | 2017 |
| How fuzzy is my fuzzy description logic? S Borgwardt, F Distel, R Peñaloza International Joint Conference on Automated Reasoning, 82-96, 2012 | 35 | 2012 |
| 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 | 33 | 2014 |
| Fuzzy Ontologies over Lattices with T-norms. S Borgwardt, R Penaloza Description Logics, 2011 | 29 | 2011 |
| 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 | 27 | 2015 |
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
