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

O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,”10.48550/ARXIV.2307.15439__CoRR, vol. abs/2307.15439, 2023, doi:10.48550/ARXIV.2307.15439 .
LibreCat: /record/52861
DOI: 10.48550/ARXIV.2307.15439

A.-Y. Turhan, “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, 2023, vol. 3515.
LibreCat: /record/52913

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

I. de Camargo e Souza Câmara and A.-Y. 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, 2022, vol. 3197, pp. 159–162.
LibreCat: /record/52923

S. Tirtarasa and A.-Y. Turhan, “Computing generalizations of temporal mph?5L concepts with next and global,”10.1145/3477314.3507136__in SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, 2022, pp. 903–910, doi:10.1145/3477314.3507136 .
LibreCat: /record/52924
DOI: 10.1145/3477314.3507136

G. Governatori and A.-Y. 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. Springer, 2022.
LibreCat: /record/52925
DOI: 10.1007/978-3-031-21541-4

F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. 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, 2022, vol. 3263.
LibreCat: /record/52920

R. Peñaloza and A.-Y. 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, 2022, vol. 3242, pp. 90–101.
LibreCat: /record/52922

S. Tirtarasa and A.-Y. 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, 2022, vol. 3263.
LibreCat: /record/52921

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

C. Alrabbaa, W. Hieke, and A.-Y. 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, 2021, vol. 2961, pp. 9–22.
LibreCat: /record/52928

O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics,”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, 2021, pp. 6340–6348, doi:10.1609/AAAI.V35I7.16787 .
LibreCat: /record/52927
DOI: 10.1609/AAAI.V35I7.16787

C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,”10.1007/S00165-021-00549-0__Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi:10.1007/S00165-021-00549-0 .
LibreCat: /record/52926
DOI: 10.1007/S00165-021-00549-0

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

F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic Technologies for Situation Awareness,”10.1007/S13218-020-00694-3__Künstliche Intell., vol. 34, no. 4, pp. 543–550, 2020, doi:10.1007/S13218-020-00694-3 .
LibreCat: /record/52930
DOI: 10.1007/S13218-020-00694-3

C. Dubslaff, P. Koopmann, and A.-Y. 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, 2020, vol. 2663.
LibreCat: /record/52936

S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,”10.1007/s13740-015-0055-y__Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi:10.1007/s13740-015-0055-y .
LibreCat: /record/52803
DOI: 10.1007/s13740-015-0055-y