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