Undecidability of fuzzy description logics S Borgwardt, R Peñaloza Thirteenth International Conference on the Principles of Knowledge …, 2012 | 71 | 2012 |
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 |
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 | 66 | 2015 |
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 | 57 | 2020 |
Finding Small Proofs for Description Logic Entailments: Theory and Practice. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova LPAR, 32-67, 2020 | 55* | 2020 |
Temporal query entailment in the description logic SHQ F Baader, S Borgwardt, M Lippmann Journal of Web Semantics 33, 71-93, 2015 | 53 | 2015 |
Extending Unification in EL Towards General TBoxes. F Baader, S Borgwardt, B Morawska KR, 2012 | 53 | 2012 |
Temporal Query Answering in the Description Logic EL. S Borgwardt, V Thost IJCAI, 2819-2825, 2015 | 51 | 2015 |
The complexity of lattice-based fuzzy description logics S Borgwardt, R Peñaloza Journal on Data Semantics 2 (1), 1-19, 2013 | 50 | 2013 |
Consistency reasoning in lattice-based fuzzy description logics S Borgwardt, R Peñaloza International Journal of Approximate Reasoning 55 (9), 1917-1938, 2014 | 42 | 2014 |
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 |
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 | 36 | 2021 |
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 |