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

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

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

Computing generalizations of temporal            <i>;5L</i>            concepts with next and global
S. Tirtarasa, A.-Y. Turhan, in: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, ACM, 2022.
LibreCat: /record/52797
DOI: 10.1145/3477314.3507136

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

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

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

Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
G. Governatori, 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, Springer, 2022.
LibreCat: /record/52925
DOI: 10.1007/978-3-031-21541-4

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

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

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

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

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

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

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

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

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

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

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

Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
C. Carapelle, A.-Y. Turhan, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016.
LibreCat: /record/52796
DOI: 10.3233/978-1-61499-672-9-1440