de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. CoRR. 2023;abs/2307.15439. doi:10.48550/ARXIV.2307.15439
LibreCat: /record/52861
DOI: 10.48550/ARXIV.2307.15439

Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, eds. 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. Vol 3515. CEUR Workshop Proceedings. CEUR-WS.org; 2023.
LibreCat: /record/52913

Turhan A-Y. A Double Take at Conferences: The Hybrid Format. KI - Künstliche Intelligenz. 2022;36(1):1-4. doi:10.1007/s13218-022-00758-6
LibreCat: /record/52862
DOI: 10.1007/s13218-022-00758-6

de Camargo e Souza Câmara I, Turhan A-Y. Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\'70erp. In: Arieli O, Casini G, Giordano L, eds. 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. Vol 3197. CEUR Workshop Proceedings. CEUR-WS.org; 2022:159–162.
LibreCat: /record/52923

Tirtarasa S, Turhan A-Y. Computing generalizations of temporal mph?5L concepts with next and global. In: Hong J, Bures M, Park JW, Cerný T, eds. SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. ACM; 2022:903–910. doi:10.1145/3477314.3507136
LibreCat: /record/52924
DOI: 10.1145/3477314.3507136

Governatori G, Turhan A-Y, eds. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Vol 13752. Springer; 2022. doi:10.1007/978-3-031-21541-4
LibreCat: /record/52925
DOI: 10.1007/978-3-031-21541-4

Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. 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. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.
LibreCat: /record/52920

Peñaloza R, Turhan A-Y. User-aware Explications of Ontology Consequences: Levelling Technicality. In: Beierle C, Ragni M, Stolzenburg F, Sauerwald K, Thimm M, eds. 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. Vol 3242. CEUR Workshop Proceedings. CEUR-WS.org; 2022:90–101.
LibreCat: /record/52922

Tirtarasa S, Turhan A-Y. A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. 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. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.
LibreCat: /record/52921

Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \'6dathscrF\'6dathscrL_\'6dbower Reasoner. Theory Pract Log Program. 2022;22(2):162–192. doi:10.1017/S1471068421000466
LibreCat: /record/52918
DOI: 10.1017/S1471068421000466

Alrabbaa C, Hieke W, Turhan A-Y. Counter Model Transformation for Explaining Non-Subsumption in EL. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, 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. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22.
LibreCat: /record/52928

Gil OF, Turhan A-Y. 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. AAAI Press; 2021:6340–6348. doi:10.1609/AAAI.V35I7.16787
LibreCat: /record/52927
DOI: 10.1609/AAAI.V35I7.16787

Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 2021;33(6):885–921. doi:10.1007/S00165-021-00549-0
LibreCat: /record/52926
DOI: 10.1007/S00165-021-00549-0

Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \'6dathscrF\'6dathscrL_\'6dbower reasoner. CoRR. 2021;abs/2107.12877.
LibreCat: /record/52929

Baader F, Borgwardt S, Koopmann P, Thost V, Turhan A-Y. Semantic Technologies for Situation Awareness. Künstliche Intell. 2020;34(4):543–550. doi:10.1007/S13218-020-00694-3
LibreCat: /record/52930
DOI: 10.1007/S13218-020-00694-3

Dubslaff C, Koopmann P, Turhan A-Y. Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, 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 Workshop Proceedings. CEUR-WS.org; 2020.
LibreCat: /record/52936

Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics. 2016;5(2):55-75. doi:10.1007/s13740-015-0055-y
LibreCat: /record/52803
DOI: 10.1007/s13740-015-0055-y