| Undecidability of fuzzy description logics S Borgwardt, R Peñaloza Thirteenth International Conference on the Principles of Knowledge …, 2012 | 75 | 2012 |
| 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 | 70 | 2015 |
| Temporalizing ontology-based data access F Baader, S Borgwardt, M Lippmann International Conference on Automated Deduction, 330-344, 2013 | 67 | 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 | 67* | 2013 |
| Finding Small Proofs for Description Logic Entailments: Theory and Practice. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova LPAR, 32-67, 2020 | 64* | 2020 |
| 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 | 59 | 2020 |
| Temporalizing rewritable query languages over knowledge bases S Borgwardt, M Lippmann, V Thost Journal of Web Semantics 33, 50-70, 2015 | 59 | 2015 |
| Temporal query entailment in the description logic SHQ F Baader, S Borgwardt, M Lippmann Journal of Web Semantics 33, 71-93, 2015 | 56 | 2015 |
| Extending Unification in EL Towards General TBoxes. F Baader, S Borgwardt, B Morawska KR, 2012 | 56 | 2012 |
| The complexity of lattice-based fuzzy description logics S Borgwardt, R Peñaloza Journal on Data Semantics 2 (1), 1-19, 2013 | 55 | 2013 |
| Temporal Query Answering in the Description Logic EL. S Borgwardt, V Thost IJCAI, 2819-2825, 2015 | 52 | 2015 |
| Consistency reasoning in lattice-based fuzzy description logics S Borgwardt, R Peñaloza International Journal of Approximate Reasoning 55 (9), 1917-1938, 2014 | 45 | 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 | 41 | 2017 |
| Description logics over lattices with multi-valued ontologies S Borgwardt, R Peñaloza Proceedings of the Twenty-Second international joint conference on …, 2011 | 39 | 2011 |
| Fuzzy description logics–a survey S Borgwardt, R Peñaloza International Conference on Scalable Uncertainty Management, 31-45, 2017 | 36 | 2017 |
| 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 | 35 | 2014 |
| 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 |
| Fuzzy Ontologies over Lattices with T-norms. S Borgwardt, R Penaloza Description Logics, 2011 | 29 | 2011 |
| Finite Lattices Do Not Make Reasoning in ALCOI Harder S Borgwardt, R Peñaloza Uncertainty Reasoning for the Semantic Web III, 122-141, 2014 | 26* | 2014 |
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigZweryfikowany adres z tu-dresden.de
