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.
18 Publications
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 52861
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
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
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
2022 | Journal Article | LibreCat-ID: 52862
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
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
de Camargo e Souza Câmara I, Turhan A-Y. Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\). 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
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa S, Turhan A-Y. Computing generalizations of temporal \emph\(ϵ\)L 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
| DOI
2022 | Conference (Editor) | LibreCat-ID: 52925
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
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
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
2022 | Conference Paper | LibreCat-ID: 52922
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
2022 | Conference Paper | LibreCat-ID: 52921
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
2022 | Journal Article | LibreCat-ID: 52918
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer Reasoner. Theory Pract Log Program. 2022;22(2):162–192. doi:10.1017/S1471068421000466
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
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
2021 | Conference Paper | LibreCat-ID: 52927
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
| DOI
2021 | Journal Article | LibreCat-ID: 52926
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
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR. 2021;abs/2107.12877.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
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
| DOI
2020 | Conference Paper | LibreCat-ID: 52936
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
2016 | Journal Article | LibreCat-ID: 52803
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
| DOI