Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models.”https://doi.org/10.1007/978-3-031-43619-2_36__In Logics in Artificial Intelligence. Cham: Springer Nature Switzerland, 2023.https://doi.org/10.1007/978-3-031-43619-2_36 .
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases.”https://doi.org/10.48550/ARXIV.2307.15439__CoRR abs/2307.15439 (2023).https://doi.org/10.48550/ARXIV.2307.15439 .
LibreCat: /record/52861
DOI: 10.48550/ARXIV.2307.15439

Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” In Proceedings of the 36th International Workshop on Description Logics (DL 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, edited by Oliver Kutz, Carsten Lutz, and Ana Ozaki, Vol. 3515. CEUR Workshop Proceedings. CEUR-WS.org, 2023.
LibreCat: /record/52913

Turhan, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.”https://doi.org/10.1007/s13218-022-00758-6__KI - Künstliche Intelligenz 36, no. 1 (2022): 1–4.https://doi.org/10.1007/s13218-022-00758-6 .
LibreCat: /record/52862
DOI: 10.1007/s13218-022-00758-6

Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Rational Defeasible Subsumption in DLs with Nested Quantifiers: The Case of ELI\'70erp.” In Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, edited by Ofer Arieli, Giovanni Casini, and Laura Giordano, 3197:159–162. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat: /record/52923

Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal mphL Concepts with next and Global.”https://doi.org/10.1145/3477314.3507136__In SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, edited by Jiman Hong, Miroslav Bures, Juw Won Park, and Tomás Cerný, 903–910. ACM, 2022.https://doi.org/10.1145/3477314.3507136 .
LibreCat: /record/52924
DOI: 10.1145/3477314.3507136

Governatori, Guido, and Anni-Yasmin Turhan, eds. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Vol. 13752. Lecture Notes in Computer Science. Springer, 2022.https://doi.org/10.1007/978-3-031-21541-4 .
LibreCat: /record/52925
DOI: 10.1007/978-3-031-21541-4

Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” In Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat: /record/52920

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: /record/52922

Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” In Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat: /record/52921

Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the \'6dathscrF\'6dathscrL_\'6dboWer Reasoner.”https://doi.org/10.1017/S1471068421000466__Theory Pract. Log. Program. 22, no. 2 (2022): 162–192.https://doi.org/10.1017/S1471068421000466 .
LibreCat: /record/52918
DOI: 10.1017/S1471068421000466

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: /record/52928

Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.”https://doi.org/10.1609/AAAI.V35I7.16787__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: /record/52927
DOI: 10.1609/AAAI.V35I7.16787

Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.”https://doi.org/10.1007/S00165-021-00549-0__Formal Aspects Comput. 33, no. 6 (2021): 885–921.https://doi.org/10.1007/S00165-021-00549-0 .
LibreCat: /record/52926
DOI: 10.1007/S00165-021-00549-0

Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the \'6dathscrF\'6dathscrL_\'6dboWer Reasoner.” CoRR abs/2107.12877 (2021).
LibreCat: /record/52929

Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin Turhan. “Semantic Technologies for Situation Awareness.”https://doi.org/10.1007/S13218-020-00694-3__Künstliche Intell. 34, no. 4 (2020): 543–550.https://doi.org/10.1007/S13218-020-00694-3 .
LibreCat: /record/52930
DOI: 10.1007/S13218-020-00694-3

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: /record/52936

Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.”https://doi.org/10.1007/s13740-015-0055-y__Journal on Data Semantics 5, no. 2 (2016): 55–75.https://doi.org/10.1007/s13740-015-0055-y .
LibreCat: /record/52803
DOI: 10.1007/s13740-015-0055-y