98 Publications
2024 | Conference Paper | LibreCat-ID: 56488
Peñaloza R, Turhan A-Y. Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. In: Kirrane S, Simkus M, Soylu A, Roman D, eds. Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings. Vol 15183. Lecture Notes in Computer Science. Springer; 2024:142–158. doi:10.1007/978-3-031-72407-7_11
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza R, Turhan A-Y. Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
| Files available
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
2023 | Conference Paper | LibreCat-ID: 56096
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. In: Gal K, Nowé A, Nalepa GJ, Fairstein R, Radulescu R, eds. ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Vol 372. Frontiers in Artificial Intelligence and Applications. IOS Press; 2023:708–715. doi:10.3233/FAIA230335
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat
| DOI
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 (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: 52924
Tirtarasa S, Turhan A-Y. Computing generalizations of temporal ϵ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 | Journal Article | LibreCat-ID: 52918
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory Pract Log Program. 2022;22(2):162–192. doi:10.1017/S1471068421000466
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: 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 | 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
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 | 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
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: 56490
Hieke W, Turhan A-Y. Towards Model Transformation in Description Logics - Investigating the Case of Transductions. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020. Vol 2680. CEUR Workshop Proceedings. CEUR-WS.org; 2020:69–82.
LibreCat
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
2020 | Conference Paper | LibreCat-ID: 56489
Gil OF, Turhan A-Y. Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). 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
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over temporal and inconsistent data. Semantic Web. 2019;10(3):475–521. doi:10.3233/SW-180337
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Lecture Notes in Computer Science. Springer; 2019:1–14. doi:10.1007/978-3-030-22102-7_1
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:10.1007/978-3-030-34968-4_11
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa C, Koopmann P, Turhan A-Y. Practical Query Rewriting for DL-Lite with Numerical Predicates. In: Calvanese D, Iocchi L, eds. GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27. doi:10.29007/GQLL
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo A-CN, Conrads F, Pensel M, Turhan A-Y. Congenial Benchmarking of RDF Storage Solutions. In: Kejriwal M, Szekely PA, Troncy R, eds. Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019. ACM; 2019:213–221. doi:10.1145/3360901.3364429
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Springer; 2019. doi:10.1007/978-3-030-22102-7
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. In: Fodor P, Montali M, Calvanese D, Roman D, eds. ; 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. Vol 2157. CEUR-WS.org; 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann F, Turhan A-Y, eds. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Vol 11117. Springer; 2018. doi:10.1007/978-3-030-00111-7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza R, Thost V, Turhan A-Y. Query Answering for Rough EL Ontologies. In: Thielscher M, Toni F, Wolter F, eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press; 2018:399–408.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel M, Turhan A-Y. Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics. Int J Approx Reason. 2018;103:28–70. doi:10.1016/J.IJAR.2018.08.005
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel M, Turhan A-Y. Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. In: Ortiz M, Schneider T, eds. Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Vol 2211. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz T, Peñaloza R, Turhan A-Y. Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP. 2017;4(7).
LibreCat
2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux C, Turhan A-Y. Temporal Query Answering in DL-Lite over Inconsistent Data. In: d’Amato C, Fernández M, Tamma VAM, et al., eds. The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Vol 10587. Lecture Notes in Computer Science. Springer; 2017:121–137. doi:10.1007/978-3-319-68288-4_8
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
Pensel M, Turhan A-Y. Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot. In: Booth R, Casini G, Varzinczak I, eds. Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017. Vol 1872. CEUR Workshop Proceedings. CEUR-WS.org; 2017:44–57.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
Pensel M, Turhan A-Y. Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In: Balduccini M, Janhunen T, eds. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Vol 10377. Lecture Notes in Computer Science. Springer; 2017:78–84. doi:10.1007/978-3-319-61660-5_9
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
Koopmann P, Hähnel M, Turhan A-Y. Energy-Efficiency of OWL Reasoners - Frequency Matters. In: Wang Z, Turhan A-Y, Wang K, Zhang X, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol 10675. Lecture Notes in Computer Science. Springer; 2017:86–101. doi:10.1007/978-3-319-70682-5_6
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
Baader F, Koopmann P, Turhan A-Y. Using Ontologies to Query Probabilistic Numerical Data. In: Dixon C, Finger M, eds. Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Vol 10483. Lecture Notes in Computer Science. Springer; 2017:77–94. doi:10.1007/978-3-319-66167-4_5
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56511
Baader F, Koopmann P, Turhan A-Y. Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). In: Artale A, Glimm B, Kontchakov R, eds. Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Vol 1879. CEUR Workshop Proceedings. CEUR-WS.org; 2017.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 56517
Wang Z, Turhan A-Y, Wang K, Zhang X, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol 10675. Springer; 2017. doi:10.1007/978-3-319-70682-5
LibreCat
| DOI
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
2016 | Conference Paper | LibreCat-ID: 52796
Carapelle C, Turhan A-Y. Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). ; 2016. doi:10.3233/978-1-61499-672-9-1440
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 56518
Ecke A, Peñaloza R, Turhan A-Y. Similarity-based relaxed instance queries. J Appl Log. 2015;13(4):480–508. doi:10.1016/J.JAL.2015.01.002
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 56521
Mailis TP, Turhan A-Y, Zenker E. A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. In: Calvanese D, Konev B, eds. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Vol 1350. CEUR Workshop Proceedings. CEUR-WS.org; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56519
Borgwardt S, Mailis TP, Peñaloza R, Turhan A-Y. Conjunctive Query Answering with Finitely Many Truth Degrees. In: Calvanese D, Konev B, eds. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Vol 1350. CEUR Workshop Proceedings. CEUR-WS.org; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56520
Ecke A, Pensel M, Turhan A-Y. Elastiq: Answering Similarity-threshold Instance Queries in EL. In: Calvanese D, Konev B, eds. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Vol 1350. CEUR Workshop Proceedings. CEUR-WS.org; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56522
Turhan A-Y, Zenker E. Towards Temporal Fuzzy Query Answering on Stream-based Data. In: Nicklas D, Lütfü Özçep zgür, eds. Proceedings of the 1st Workshop on High-Level Declarative Stream Processing Co-Located with the 38th German AI Conference (KI 2015), Dresden, Germany, September 22, 2015. Vol 1447. CEUR Workshop Proceedings. CEUR-WS.org; 2015:56–69.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56526
Mailis TP, Turhan A-Y. Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering. In: Supnithi T, Yamaguchi T, Pan JZ, Wuwongse V, Buranarach M, eds. Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Vol 8943. Lecture Notes in Computer Science. Springer; 2014:63–78. doi:10.1007/978-3-319-15615-6_5
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56525
Peñaloza R, Thost V, Turhan A-Y. Certain Answers in a Rough World. In: Bienvenu M, Ortiz M, Rosati R, Simkus M, eds. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Vol 1193. CEUR Workshop Proceedings. CEUR-WS.org; 2014:709–712.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56524
Ecke A, Peñaloza R, Turhan A-Y. Mary, What’s Like All Cats? In: Bienvenu M, Ortiz M, Rosati R, Simkus M, eds. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Vol 1193. CEUR Workshop Proceedings. CEUR-WS.org; 2014:526–529.
LibreCat
2014 | Journal Article | LibreCat-ID: 56523
Ecke A, Peñaloza R, Turhan A-Y. Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. Int J Approx Reason. 2014;55(9):1939–1970. doi:10.1016/J.IJAR.2014.03.001
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56530
Mailis TP, Peñaloza R, Turhan A-Y. Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. In: Kontchakov R, Mugnier M-L, eds. Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Vol 8741. Lecture Notes in Computer Science. Springer; 2014:124–139. doi:10.1007/978-3-319-11113-1_9
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56527
Merz D, Peñaloza R, Turhan A-Y. Reasoning in \emphALC with Fuzzy Concrete Domains. In: Lutz C, Thielscher M, eds. KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings. Vol 8736. Lecture Notes in Computer Science. Springer; 2014:171–182. doi:10.1007/978-3-319-11206-0_17
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56529
Hähnel M, Mendez J, Thost V, Turhan A-Y. Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. In: Costa FM, Andersen A, eds. Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014. ACM; 2014:3:1–3:6. doi:10.1145/2677017.2677020
LibreCat
| DOI
2014 | Conference (Editor) | LibreCat-ID: 56531
Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, Co-Located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. Vol 1205. CEUR-WS.org; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56528
Ecke A, Peñaloza R, Turhan A-Y. Answering Instance Queries Relaxed by Concept Similarity. In: Baral C, Giacomo GD, Eiter T, eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press; 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56534
Ecke A, Peñaloza R, Turhan A-Y. Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. In: Eiter T, Glimm B, Kazakov Y, Krötzsch M, eds. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Vol 1014. CEUR Workshop Proceedings. CEUR-WS.org; 2013:670–688.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56532
Turhan A-Y, Zarrieß B. Computing the lcs w.r.t. General EL+-TBoxes. In: Eiter T, Glimm B, Kazakov Y, Krötzsch M, eds. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Vol 1014. CEUR Workshop Proceedings. CEUR-WS.org; 2013:477–488.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56542
Peñaloza R, Turhan A-Y. Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities. In: Bobillo F, da Costa PCG, d’Amato C, et al., eds. Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers. Vol 7123. Lecture Notes in Computer Science. Springer; 2013:80–98. doi:10.1007/978-3-642-35975-0_5
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56541
Turhan A-Y. Introductions to Description Logics - A Guided Tour. In: Rudolph S, Gottlob G, Horrocks I, van Harmelen F, eds. Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Vol 8067. Lecture Notes in Computer Science. Springer; 2013:150–161. doi:10.1007/978-3-642-39784-4_3
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56538
Ecke A, Peñaloza R, Turhan A-Y. Computing Role-Depth Bounded Generalizations in the Description Logic. In: Timm IJ, Thimm M, eds. KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Vol 8077. Lecture Notes in Computer Science. Springer; 2013:49–60. doi:10.1007/978-3-642-40942-4_5
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56540
Dargie W, Mendez J, Möbius C, Rybina K, Thost V, Turhan A-Y. Situation recognition for service management systems using OWL 2 reasoners. In: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013. IEEE Computer Society; 2013:31–36. doi:10.1109/PERCOMW.2013.6529452
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56539
Goetz S, Mendez J, Thost V, Turhan A-Y. OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. In: Rodriguez-Muro M, Jupp S, Srinivas K, eds. Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) Co-Located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. Vol 1080. CEUR Workshop Proceedings. CEUR-WS.org; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56536
Zarrieß B, Turhan A-Y. Most Specific Generalizations w.r.t. General EL-TBoxes. In: Rossi F, ed. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI/AAAI; 2013:1191–1197.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56544
Lehmann K, Turhan A-Y. A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts. In: del Cerro LF, Herzig A, Mengin J, eds. Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Vol 7519. Lecture Notes in Computer Science. Springer; 2012:307–319. doi:10.1007/978-3-642-33353-8_24
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 56551
Ecke A, Turhan A-Y. Role-depth Bounded Least Common Subsumers for EL+ and ELI. In: Kazakov Y, Lembo D, Wolter F, eds. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Vol 846. CEUR Workshop Proceedings. CEUR-WS.org; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56545
Ecke A, Turhan A-Y. Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. In: Klinov P, Horridge M, eds. Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012. Vol 849. CEUR Workshop Proceedings. CEUR-WS.org; 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56546
Mendez J, Ecke A, Turhan A-Y. Implementing Completion-Based Inferences for the EL-family. In: Rosati R, Rudolph S, Zakharyaschev M, eds. Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Vol 745. CEUR Workshop Proceedings. CEUR-WS.org; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56548
Turhan A-Y. Description logic reasoning for semantic web ontologies. In: Akerkar R, ed. Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011. ACM; 2011:6. doi:10.1145/1988688.1988696
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 56547
Peñaloza R, Turhan A-Y. A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL. In: Antoniou G, Grobelnik M, Simperl E, et al., eds. The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Vol 6643. Lecture Notes in Computer Science. Springer; 2011:410–423. doi:10.1007/978-3-642-21034-1_28
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 56550
Peñaloza R, Turhan A-Y. Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. In: Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol 613. CEUR Workshop Proceedings. CEUR-WS.org; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 56549
Baader F, Lutz C, Turhan A-Y. Small is Again Beautiful in Description Logics. Künstliche Intell. 2010;24(1):25–33. doi:10.1007/S13218-010-0004-8
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 56553
Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol 613. CEUR-WS.org; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 56552
Turhan A-Y. Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics. In: Aßmann U, Bartho A, Wende C, eds. Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures. Vol 6325. Lecture Notes in Computer Science. Springer; 2010:1–27. doi:10.1007/978-3-642-15543-7_1
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 56554
Springer T, Turhan A-Y. Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. J Ambient Intell Smart Environ. 2009;1(3):235–259. doi:10.3233/AIS-2009-0032
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 56555
Turhan A-Y. On the Computation of Common Subsumers in Description Logics. Dresden University of Technology, Germany; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 56557
Turhan A-Y, Bong Y. Speeding up Approximation with Nicer Concepts. In: Calvanese D, Franconi E, Haarslev V, et al., eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol 250. CEUR Workshop Proceedings. CEUR-WS.org; 2007.
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese D, Franconi E, Haarslev V, et al., eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol 250. CEUR-WS.org; 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 56556
Baader F, Sertkaya B, Turhan A-Y. Computing the least common subsumer w.r.t. a background terminology. J Appl Log. 2007;5(3):392–420. doi:10.1016/J.JAL.2006.03.002
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer S, Liebig T, Luther M, et al. DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In: Grau BC, Hitzler P, Shankey C, Wallace E, eds. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006. Vol 216. CEUR Workshop Proceedings. CEUR-WS.org; 2006.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Alferes JJ, Leite JA, eds. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Vol 3229. Lecture Notes in Computer Science. Springer; 2004:400–412. doi:10.1007/978-3-540-30227-8_34
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:10.1007/978-3-540-25984-8_22
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan A-Y, Kissig C. Sonic: System Description. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
Brandt S, Turhan A-Y, Küsters R. Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In: Vardi MY, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Vol 2850. Lecture Notes in Computer Science. Springer; 2003:122–136. doi:10.1007/978-3-540-39813-4_8
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
Brandt S, Turhan A-Y. Computing Least Common Subsumers for FLE\(^\mbox+\). In: Calvanese D, Giacomo GD, Franconi E, eds. Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Vol 81. CEUR Workshop Proceedings. CEUR-WS.org; 2003.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
Baader F, Turhan A-Y. On the Problem of Computing Small Representations of Least Common Subsumers. In: Jarke M, Koehler J, Lakemeyer G, eds. KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Vol 2479. Lecture Notes in Computer Science. Springer; 2002:99–113. doi:10.1007/3-540-45751-8_7
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
Brandt S, Küsters R, Turhan A-Y. Approximating ALCN-Concept Descriptions. In: Horrocks I, Tessaris S, eds. Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Vol 53. CEUR Workshop Proceedings. CEUR-WS.org; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
Brandt S, Küsters R, Turhan A-Y. Approximation and Difference in Description Logics. In: Fensel D, Giunchiglia F, McGuinness DL, Williams M-A, eds. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann; 2002:203–214.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
Haarslev V, Möller R, Turhan A-Y. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Goré R, Leitsch A, Nipkow T, eds. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:10.1007/3-540-45744-5_6
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
Baader F, Turhan A-Y. TBoxes do not Yield a Compact Representation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
Turhan A-Y, Molitor R. Using Lazy Unfolding for the Computation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
Turhan A-Y, Haarslev V. Adapting Optimization Techniques to Description Logics with Concrete Domains. In: Baader F, Sattler U, eds. Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev V, Möller R, Turhan A-Y, Wessel M. On Terminological Default Reasoning about Spatial Information: Extended Abstract. In: Lambrix P, Borgida A, Lenzerini M, Möller R, Patel-Schneider PF, eds. Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev V, Möller R, Turhan A-Y. Implementing an ALCRP(D) ABox Reasoner - Progress Report. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev V, Möller R, Turhan A-Y. HAM-ALC. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat
98 Publications
2024 | Conference Paper | LibreCat-ID: 56488
Peñaloza R, Turhan A-Y. Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. In: Kirrane S, Simkus M, Soylu A, Roman D, eds. Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings. Vol 15183. Lecture Notes in Computer Science. Springer; 2024:142–158. doi:10.1007/978-3-031-72407-7_11
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza R, Turhan A-Y. Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
| Files available
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
2023 | Conference Paper | LibreCat-ID: 56096
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. In: Gal K, Nowé A, Nalepa GJ, Fairstein R, Radulescu R, eds. ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Vol 372. Frontiers in Artificial Intelligence and Applications. IOS Press; 2023:708–715. doi:10.3233/FAIA230335
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat
| DOI
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 (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: 52924
Tirtarasa S, Turhan A-Y. Computing generalizations of temporal ϵ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 | Journal Article | LibreCat-ID: 52918
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory Pract Log Program. 2022;22(2):162–192. doi:10.1017/S1471068421000466
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: 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 | 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
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 | 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
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: 56490
Hieke W, Turhan A-Y. Towards Model Transformation in Description Logics - Investigating the Case of Transductions. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020. Vol 2680. CEUR Workshop Proceedings. CEUR-WS.org; 2020:69–82.
LibreCat
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
2020 | Conference Paper | LibreCat-ID: 56489
Gil OF, Turhan A-Y. Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). 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
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over temporal and inconsistent data. Semantic Web. 2019;10(3):475–521. doi:10.3233/SW-180337
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Lecture Notes in Computer Science. Springer; 2019:1–14. doi:10.1007/978-3-030-22102-7_1
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:10.1007/978-3-030-34968-4_11
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa C, Koopmann P, Turhan A-Y. Practical Query Rewriting for DL-Lite with Numerical Predicates. In: Calvanese D, Iocchi L, eds. GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27. doi:10.29007/GQLL
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo A-CN, Conrads F, Pensel M, Turhan A-Y. Congenial Benchmarking of RDF Storage Solutions. In: Kejriwal M, Szekely PA, Troncy R, eds. Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019. ACM; 2019:213–221. doi:10.1145/3360901.3364429
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Springer; 2019. doi:10.1007/978-3-030-22102-7
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. In: Fodor P, Montali M, Calvanese D, Roman D, eds. ; 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. Vol 2157. CEUR-WS.org; 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann F, Turhan A-Y, eds. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Vol 11117. Springer; 2018. doi:10.1007/978-3-030-00111-7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza R, Thost V, Turhan A-Y. Query Answering for Rough EL Ontologies. In: Thielscher M, Toni F, Wolter F, eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press; 2018:399–408.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel M, Turhan A-Y. Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics. Int J Approx Reason. 2018;103:28–70. doi:10.1016/J.IJAR.2018.08.005
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel M, Turhan A-Y. Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. In: Ortiz M, Schneider T, eds. Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Vol 2211. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz T, Peñaloza R, Turhan A-Y. Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP. 2017;4(7).
LibreCat
2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux C, Turhan A-Y. Temporal Query Answering in DL-Lite over Inconsistent Data. In: d’Amato C, Fernández M, Tamma VAM, et al., eds. The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Vol 10587. Lecture Notes in Computer Science. Springer; 2017:121–137. doi:10.1007/978-3-319-68288-4_8
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
Pensel M, Turhan A-Y. Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot. In: Booth R, Casini G, Varzinczak I, eds. Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017. Vol 1872. CEUR Workshop Proceedings. CEUR-WS.org; 2017:44–57.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
Pensel M, Turhan A-Y. Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In: Balduccini M, Janhunen T, eds. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Vol 10377. Lecture Notes in Computer Science. Springer; 2017:78–84. doi:10.1007/978-3-319-61660-5_9
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
Koopmann P, Hähnel M, Turhan A-Y. Energy-Efficiency of OWL Reasoners - Frequency Matters. In: Wang Z, Turhan A-Y, Wang K, Zhang X, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol 10675. Lecture Notes in Computer Science. Springer; 2017:86–101. doi:10.1007/978-3-319-70682-5_6
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
Baader F, Koopmann P, Turhan A-Y. Using Ontologies to Query Probabilistic Numerical Data. In: Dixon C, Finger M, eds. Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Vol 10483. Lecture Notes in Computer Science. Springer; 2017:77–94. doi:10.1007/978-3-319-66167-4_5
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56511
Baader F, Koopmann P, Turhan A-Y. Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). In: Artale A, Glimm B, Kontchakov R, eds. Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Vol 1879. CEUR Workshop Proceedings. CEUR-WS.org; 2017.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 56517
Wang Z, Turhan A-Y, Wang K, Zhang X, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol 10675. Springer; 2017. doi:10.1007/978-3-319-70682-5
LibreCat
| DOI
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
2016 | Conference Paper | LibreCat-ID: 52796
Carapelle C, Turhan A-Y. Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). ; 2016. doi:10.3233/978-1-61499-672-9-1440
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 56518
Ecke A, Peñaloza R, Turhan A-Y. Similarity-based relaxed instance queries. J Appl Log. 2015;13(4):480–508. doi:10.1016/J.JAL.2015.01.002
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 56521
Mailis TP, Turhan A-Y, Zenker E. A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite. In: Calvanese D, Konev B, eds. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Vol 1350. CEUR Workshop Proceedings. CEUR-WS.org; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56519
Borgwardt S, Mailis TP, Peñaloza R, Turhan A-Y. Conjunctive Query Answering with Finitely Many Truth Degrees. In: Calvanese D, Konev B, eds. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Vol 1350. CEUR Workshop Proceedings. CEUR-WS.org; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56520
Ecke A, Pensel M, Turhan A-Y. Elastiq: Answering Similarity-threshold Instance Queries in EL. In: Calvanese D, Konev B, eds. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Vol 1350. CEUR Workshop Proceedings. CEUR-WS.org; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56522
Turhan A-Y, Zenker E. Towards Temporal Fuzzy Query Answering on Stream-based Data. In: Nicklas D, Lütfü Özçep zgür, eds. Proceedings of the 1st Workshop on High-Level Declarative Stream Processing Co-Located with the 38th German AI Conference (KI 2015), Dresden, Germany, September 22, 2015. Vol 1447. CEUR Workshop Proceedings. CEUR-WS.org; 2015:56–69.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56526
Mailis TP, Turhan A-Y. Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering. In: Supnithi T, Yamaguchi T, Pan JZ, Wuwongse V, Buranarach M, eds. Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Vol 8943. Lecture Notes in Computer Science. Springer; 2014:63–78. doi:10.1007/978-3-319-15615-6_5
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56525
Peñaloza R, Thost V, Turhan A-Y. Certain Answers in a Rough World. In: Bienvenu M, Ortiz M, Rosati R, Simkus M, eds. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Vol 1193. CEUR Workshop Proceedings. CEUR-WS.org; 2014:709–712.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56524
Ecke A, Peñaloza R, Turhan A-Y. Mary, What’s Like All Cats? In: Bienvenu M, Ortiz M, Rosati R, Simkus M, eds. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Vol 1193. CEUR Workshop Proceedings. CEUR-WS.org; 2014:526–529.
LibreCat
2014 | Journal Article | LibreCat-ID: 56523
Ecke A, Peñaloza R, Turhan A-Y. Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. Int J Approx Reason. 2014;55(9):1939–1970. doi:10.1016/J.IJAR.2014.03.001
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56530
Mailis TP, Peñaloza R, Turhan A-Y. Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. In: Kontchakov R, Mugnier M-L, eds. Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Vol 8741. Lecture Notes in Computer Science. Springer; 2014:124–139. doi:10.1007/978-3-319-11113-1_9
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56527
Merz D, Peñaloza R, Turhan A-Y. Reasoning in \emphALC with Fuzzy Concrete Domains. In: Lutz C, Thielscher M, eds. KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings. Vol 8736. Lecture Notes in Computer Science. Springer; 2014:171–182. doi:10.1007/978-3-319-11206-0_17
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56529
Hähnel M, Mendez J, Thost V, Turhan A-Y. Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling. In: Costa FM, Andersen A, eds. Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014. ACM; 2014:3:1–3:6. doi:10.1145/2677017.2677020
LibreCat
| DOI
2014 | Conference (Editor) | LibreCat-ID: 56531
Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, Co-Located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. Vol 1205. CEUR-WS.org; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56528
Ecke A, Peñaloza R, Turhan A-Y. Answering Instance Queries Relaxed by Concept Similarity. In: Baral C, Giacomo GD, Eiter T, eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press; 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56534
Ecke A, Peñaloza R, Turhan A-Y. Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. In: Eiter T, Glimm B, Kazakov Y, Krötzsch M, eds. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Vol 1014. CEUR Workshop Proceedings. CEUR-WS.org; 2013:670–688.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56532
Turhan A-Y, Zarrieß B. Computing the lcs w.r.t. General EL+-TBoxes. In: Eiter T, Glimm B, Kazakov Y, Krötzsch M, eds. Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Vol 1014. CEUR Workshop Proceedings. CEUR-WS.org; 2013:477–488.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56542
Peñaloza R, Turhan A-Y. Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities. In: Bobillo F, da Costa PCG, d’Amato C, et al., eds. Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers. Vol 7123. Lecture Notes in Computer Science. Springer; 2013:80–98. doi:10.1007/978-3-642-35975-0_5
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56541
Turhan A-Y. Introductions to Description Logics - A Guided Tour. In: Rudolph S, Gottlob G, Horrocks I, van Harmelen F, eds. Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Vol 8067. Lecture Notes in Computer Science. Springer; 2013:150–161. doi:10.1007/978-3-642-39784-4_3
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56538
Ecke A, Peñaloza R, Turhan A-Y. Computing Role-Depth Bounded Generalizations in the Description Logic. In: Timm IJ, Thimm M, eds. KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Vol 8077. Lecture Notes in Computer Science. Springer; 2013:49–60. doi:10.1007/978-3-642-40942-4_5
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56540
Dargie W, Mendez J, Möbius C, Rybina K, Thost V, Turhan A-Y. Situation recognition for service management systems using OWL 2 reasoners. In: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013. IEEE Computer Society; 2013:31–36. doi:10.1109/PERCOMW.2013.6529452
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56539
Goetz S, Mendez J, Thost V, Turhan A-Y. OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. In: Rodriguez-Muro M, Jupp S, Srinivas K, eds. Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) Co-Located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. Vol 1080. CEUR Workshop Proceedings. CEUR-WS.org; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56536
Zarrieß B, Turhan A-Y. Most Specific Generalizations w.r.t. General EL-TBoxes. In: Rossi F, ed. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI/AAAI; 2013:1191–1197.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56544
Lehmann K, Turhan A-Y. A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts. In: del Cerro LF, Herzig A, Mengin J, eds. Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Vol 7519. Lecture Notes in Computer Science. Springer; 2012:307–319. doi:10.1007/978-3-642-33353-8_24
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 56551
Ecke A, Turhan A-Y. Role-depth Bounded Least Common Subsumers for EL+ and ELI. In: Kazakov Y, Lembo D, Wolter F, eds. Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Vol 846. CEUR Workshop Proceedings. CEUR-WS.org; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56545
Ecke A, Turhan A-Y. Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. In: Klinov P, Horridge M, eds. Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012. Vol 849. CEUR Workshop Proceedings. CEUR-WS.org; 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56546
Mendez J, Ecke A, Turhan A-Y. Implementing Completion-Based Inferences for the EL-family. In: Rosati R, Rudolph S, Zakharyaschev M, eds. Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Vol 745. CEUR Workshop Proceedings. CEUR-WS.org; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56548
Turhan A-Y. Description logic reasoning for semantic web ontologies. In: Akerkar R, ed. Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011. ACM; 2011:6. doi:10.1145/1988688.1988696
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 56547
Peñaloza R, Turhan A-Y. A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL. In: Antoniou G, Grobelnik M, Simperl E, et al., eds. The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Vol 6643. Lecture Notes in Computer Science. Springer; 2011:410–423. doi:10.1007/978-3-642-21034-1_28
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 56550
Peñaloza R, Turhan A-Y. Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. In: Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol 613. CEUR Workshop Proceedings. CEUR-WS.org; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 56549
Baader F, Lutz C, Turhan A-Y. Small is Again Beautiful in Description Logics. Künstliche Intell. 2010;24(1):25–33. doi:10.1007/S13218-010-0004-8
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 56553
Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol 613. CEUR-WS.org; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 56552
Turhan A-Y. Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics. In: Aßmann U, Bartho A, Wende C, eds. Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures. Vol 6325. Lecture Notes in Computer Science. Springer; 2010:1–27. doi:10.1007/978-3-642-15543-7_1
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 56554
Springer T, Turhan A-Y. Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. J Ambient Intell Smart Environ. 2009;1(3):235–259. doi:10.3233/AIS-2009-0032
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 56555
Turhan A-Y. On the Computation of Common Subsumers in Description Logics. Dresden University of Technology, Germany; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 56557
Turhan A-Y, Bong Y. Speeding up Approximation with Nicer Concepts. In: Calvanese D, Franconi E, Haarslev V, et al., eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol 250. CEUR Workshop Proceedings. CEUR-WS.org; 2007.
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese D, Franconi E, Haarslev V, et al., eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol 250. CEUR-WS.org; 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 56556
Baader F, Sertkaya B, Turhan A-Y. Computing the least common subsumer w.r.t. a background terminology. J Appl Log. 2007;5(3):392–420. doi:10.1016/J.JAL.2006.03.002
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer S, Liebig T, Luther M, et al. DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In: Grau BC, Hitzler P, Shankey C, Wallace E, eds. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006. Vol 216. CEUR Workshop Proceedings. CEUR-WS.org; 2006.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Alferes JJ, Leite JA, eds. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Vol 3229. Lecture Notes in Computer Science. Springer; 2004:400–412. doi:10.1007/978-3-540-30227-8_34
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:10.1007/978-3-540-25984-8_22
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan A-Y, Kissig C. Sonic: System Description. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
Brandt S, Turhan A-Y, Küsters R. Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In: Vardi MY, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Vol 2850. Lecture Notes in Computer Science. Springer; 2003:122–136. doi:10.1007/978-3-540-39813-4_8
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
Brandt S, Turhan A-Y. Computing Least Common Subsumers for FLE\(^\mbox+\). In: Calvanese D, Giacomo GD, Franconi E, eds. Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Vol 81. CEUR Workshop Proceedings. CEUR-WS.org; 2003.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
Baader F, Turhan A-Y. On the Problem of Computing Small Representations of Least Common Subsumers. In: Jarke M, Koehler J, Lakemeyer G, eds. KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Vol 2479. Lecture Notes in Computer Science. Springer; 2002:99–113. doi:10.1007/3-540-45751-8_7
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
Brandt S, Küsters R, Turhan A-Y. Approximating ALCN-Concept Descriptions. In: Horrocks I, Tessaris S, eds. Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Vol 53. CEUR Workshop Proceedings. CEUR-WS.org; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
Brandt S, Küsters R, Turhan A-Y. Approximation and Difference in Description Logics. In: Fensel D, Giunchiglia F, McGuinness DL, Williams M-A, eds. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann; 2002:203–214.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
Haarslev V, Möller R, Turhan A-Y. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Goré R, Leitsch A, Nipkow T, eds. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:10.1007/3-540-45744-5_6
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
Baader F, Turhan A-Y. TBoxes do not Yield a Compact Representation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
Turhan A-Y, Molitor R. Using Lazy Unfolding for the Computation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
Turhan A-Y, Haarslev V. Adapting Optimization Techniques to Description Logics with Concrete Domains. In: Baader F, Sattler U, eds. Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev V, Möller R, Turhan A-Y, Wessel M. On Terminological Default Reasoning about Spatial Information: Extended Abstract. In: Lambrix P, Borgida A, Lenzerini M, Möller R, Patel-Schneider PF, eds. Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev V, Möller R, Turhan A-Y. Implementing an ALCRP(D) ABox Reasoner - Progress Report. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev V, Möller R, Turhan A-Y. HAM-ALC. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
LibreCat