Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
22 Publications
2020 | Conference Paper | LibreCat-ID: 52936
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2016 | Journal Article | LibreCat-ID: 52803
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
LibreCat
| DOI
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.