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.
25 Publications
2021 | Journal Article | LibreCat-ID: 52926
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, 2021, vol. 2961, pp. 9–22.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic Technologies for Situation Awareness,” Künstliche Intell., vol. 34, no. 4, pp. 543–550, 2020, doi: 10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 52936
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in 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, 2020, vol. 2663.
LibreCat
2016 | Journal Article | LibreCat-ID: 52803
S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.
LibreCat
| DOI