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.
103 Publications
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: 56490
Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description Logics - Investigating the Case of Transductions.” In Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2680:69–82. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
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
2020 | Conference Paper | LibreCat-ID: 56489
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).” 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
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux, Camille, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” Semantic Web 10, no. 3 (2019): 475–521. https://doi.org/10.3233/SW-180337.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, 11560:1–14. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7_1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Probabilistic Model Checking.” In Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4_11.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa, Christian, Patrick Koopmann, and Anni-Yasmin Turhan. “Practical Query Rewriting for DL-Lite with Numerical Predicates.” In GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, edited by Diego Calvanese and Luca Iocchi, 65:15–27. EPiC Series in Computing. EasyChair, 2019. https://doi.org/10.29007/GQLL.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo, Axel-Cyrille Ngonga, Felix Conrads, Maximilian Pensel, and Anni-Yasmin Turhan. “Congenial Benchmarking of RDF Storage Solutions.” In Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, edited by Mayank Kejriwal, Pedro A. Szekely, and Raphaël Troncy, 213–221. ACM, 2019. https://doi.org/10.1145/3360901.3364429.
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol. 11560. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel, Friedrich, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner.” edited by Paul Fodor, Marco Montali, Diego Calvanese, and Dumitru Roman, 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. Vol. 2157. CEUR Workshop Proceedings. CEUR-WS.org, 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann, Frank, and Anni-Yasmin Turhan, eds. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Vol. 11117. Lecture Notes in Computer Science. Springer, 2018. https://doi.org/10.1007/978-3-030-00111-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Query Answering for Rough EL Ontologies.” In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, edited by Michael Thielscher, Francesca Toni, and Frank Wolter, 399–408. AAAI Press, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description Logic \(Ε\)\(\mathscrL\) - Computing Standard Inferences under Rational and Relevant Semantics.” Int. J. Approx. Reason. 103 (2018): 28–70. https://doi.org/10.1016/J.IJAR.2018.08.005.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.” In Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, edited by Magdalena Ortiz and Thomas Schneider, Vol. 2211. CEUR Workshop Proceedings. CEUR-WS.org, 2018.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.” FLAP 4, no. 7 (2017).
LibreCat