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.
27 Publications
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” In Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, and Matthias Thimm, 3242:90–101. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 6340–6348. AAAI Press, 2021. https://doi.org/10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput. 33, no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin Turhan. “Semantic Technologies for Situation Awareness.” Künstliche Intell. 34, no. 4 (2020): 543–550. https://doi.org/10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin 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, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2016 | Journal Article | LibreCat-ID: 52803
Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” Journal on Data Semantics 5, no. 2 (2016): 55–75. https://doi.org/10.1007/s13740-015-0055-y.
LibreCat
| DOI