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
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2021). Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput., 33(6), 885–921. https://doi.org/10.1007/S00165-021-00549-0
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, C., Hieke, W., & Turhan, A.-Y. (2021). Counter Model Transformation for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg, & M. Thimm (Eds.), 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 (Vol. 2961, pp. 9–22). CEUR-WS.org.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
Baader, F., Borgwardt, S., Koopmann, P., Thost, V., & Turhan, A.-Y. (2020). Semantic Technologies for Situation Awareness. Künstliche Intell., 34(4), 543–550. https://doi.org/10.1007/S13218-020-00694-3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2020). Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. 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 (Vol. 2663). CEUR-WS.org.
LibreCat
2016 | Journal Article | LibreCat-ID: 52803
Borgwardt, S., Mailis, T., Peñaloza, R., & Turhan, A.-Y. (2016). Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics, 5(2), 55–75. https://doi.org/10.1007/s13740-015-0055-y
LibreCat
| DOI