98 Publications
2024 | Conference Paper | LibreCat-ID: 56488
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2024, pp. 142–158.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2024, pp. 142–158.
2024 | Conference Paper | LibreCat-ID: 56158
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
LibreCat
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
2024 | Conference Paper | LibreCat-ID: 56159
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
LibreCat
| Files available
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
2023 | Journal Article | LibreCat-ID: 52861
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
2023 | Conference Paper | LibreCat-ID: 52913
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
LibreCat
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
2023 | Conference Paper | LibreCat-ID: 56096
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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), IOS Press, 2023, pp. 708–715.
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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), IOS Press, 2023, pp. 708–715.
2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
2022 | Journal Article | LibreCat-ID: 52862
A Double Take at Conferences: The Hybrid Format
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
LibreCat
| DOI
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
2022 | Conference Paper | LibreCat-ID: 52923
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
2022 | Conference (Editor) | LibreCat-ID: 52925
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.
LibreCat
| DOI
G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.
2022 | Conference Paper | LibreCat-ID: 52924
Computing generalizations of temporal ϵL concepts with next and global
S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.
LibreCat
| DOI
S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.
2022 | Journal Article | LibreCat-ID: 52918
Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
LibreCat
| DOI
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
2022 | Conference Paper | LibreCat-ID: 52920
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
2022 | Conference Paper | LibreCat-ID: 52921
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
LibreCat
S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
2022 | Conference Paper | LibreCat-ID: 52922
User-aware Explications of Ontology Consequences: Levelling Technicality
R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.
LibreCat
R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.
LibreCat
| DOI
O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.
2021 | Journal Article | LibreCat-ID: 52926
Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
2021 | Conference Paper | LibreCat-ID: 52928
Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.
2020 | Journal Article | LibreCat-ID: 52930
Semantic Technologies for Situation Awareness
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.
LibreCat
| DOI
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.
2020 | Conference Paper | LibreCat-ID: 56490
Towards Model Transformation in Description Logics - Investigating the Case of Transductions
W. Hieke, A.-Y. Turhan, 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, CEUR-WS.org, 2020, pp. 69–82.
LibreCat
W. Hieke, A.-Y. Turhan, 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, CEUR-WS.org, 2020, pp. 69–82.
2020 | Conference Paper | LibreCat-ID: 52936
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2020 | Conference Paper | LibreCat-ID: 56489
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)
O.F. Gil, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
O.F. Gil, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2019 | Journal Article | LibreCat-ID: 56491
Ontology-mediated query answering over temporal and inconsistent data
C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.
LibreCat
| DOI
C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.
2019 | Conference Paper | LibreCat-ID: 56493
A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, 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, Springer, 2019, pp. 1–14.
LibreCat
| DOI
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, 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, Springer, 2019, pp. 1–14.
2019 | Conference Paper | LibreCat-ID: 56498
Ontology-Mediated Probabilistic Model Checking
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
2019 | Conference Paper | LibreCat-ID: 56496
Practical Query Rewriting for DL-Lite with Numerical Predicates
C. Alrabbaa, P. Koopmann, A.-Y. Turhan, in: D. Calvanese, L. Iocchi (Eds.), GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, EasyChair, 2019, pp. 15–27.
LibreCat
| DOI
C. Alrabbaa, P. Koopmann, A.-Y. Turhan, in: D. Calvanese, L. Iocchi (Eds.), GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, EasyChair, 2019, pp. 15–27.
2019 | Conference Paper | LibreCat-ID: 56499
Congenial Benchmarking of RDF Storage Solutions
A.-C.N. Ngomo, F. Conrads, M. Pensel, A.-Y. Turhan, 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, ACM, 2019, pp. 213–221.
LibreCat
| DOI
A.-C.N. Ngomo, F. Conrads, M. Pensel, A.-Y. Turhan, 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, ACM, 2019, pp. 213–221.
2019 | Conference (Editor) | LibreCat-ID: 56502
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
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, Springer, 2019.
LibreCat
| DOI
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, Springer, 2019.
2019 | Conference Paper | LibreCat-ID: 56500
Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner
F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.
LibreCat
F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.
2018 | Conference (Editor) | LibreCat-ID: 56508
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
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
2018 | Conference (Editor) | LibreCat-ID: 56509
KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings
F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, Springer, 2018.
LibreCat
| DOI
F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, Springer, 2018.
2018 | Conference Paper | LibreCat-ID: 56507
Query Answering for Rough EL Ontologies
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, AAAI Press, 2018, pp. 399–408.
LibreCat
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, AAAI Press, 2018, pp. 399–408.
2018 | Journal Article | LibreCat-ID: 56503
Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics
M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.
LibreCat
| DOI
M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.
2018 | Conference Paper | LibreCat-ID: 56504
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
LibreCat
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
2017 | Journal Article | LibreCat-ID: 56510
Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (2017).
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (2017).
2017 | Conference Paper | LibreCat-ID: 56516
Temporal Query Answering in DL-Lite over Inconsistent Data
C. Bourgaux, A.-Y. Turhan, 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, Springer, 2017, pp. 121–137.
LibreCat
| DOI
C. Bourgaux, A.-Y. Turhan, 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, Springer, 2017, pp. 121–137.
2017 | Conference Paper | LibreCat-ID: 56514
Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2017, pp. 44–57.
LibreCat
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2017, pp. 44–57.
2017 | Conference Paper | LibreCat-ID: 56515
Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\)
M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.
LibreCat
| DOI
M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.
2017 | Conference Paper | LibreCat-ID: 56513
Energy-Efficiency of OWL Reasoners - Frequency Matters
P. Koopmann, M. Hähnel, A.-Y. Turhan, 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, Springer, 2017, pp. 86–101.
LibreCat
| DOI
P. Koopmann, M. Hähnel, A.-Y. Turhan, 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, Springer, 2017, pp. 86–101.
2017 | Conference Paper | LibreCat-ID: 56512
Using Ontologies to Query Probabilistic Numerical Data
F. Baader, P. Koopmann, A.-Y. Turhan, in: C. Dixon, M. Finger (Eds.), Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, Springer, 2017, pp. 77–94.
LibreCat
| DOI
F. Baader, P. Koopmann, A.-Y. Turhan, in: C. Dixon, M. Finger (Eds.), Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, Springer, 2017, pp. 77–94.
2017 | Conference Paper | LibreCat-ID: 56511
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)
F. Baader, P. Koopmann, A.-Y. Turhan, in: A. Artale, B. Glimm, R. Kontchakov (Eds.), Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, CEUR-WS.org, 2017.
LibreCat
F. Baader, P. Koopmann, A.-Y. Turhan, in: A. Artale, B. Glimm, R. Kontchakov (Eds.), Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, CEUR-WS.org, 2017.
2017 | Conference (Editor) | LibreCat-ID: 56517
Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings
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, Springer, 2017.
LibreCat
| DOI
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, Springer, 2017.
2016 | Journal Article | LibreCat-ID: 52803
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
LibreCat
| DOI
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
2016 | Conference Paper | LibreCat-ID: 52796
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
C. Carapelle, A.-Y. Turhan, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016.
LibreCat
| DOI
C. Carapelle, A.-Y. Turhan, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016.
2015 | Journal Article | LibreCat-ID: 56518
Similarity-based relaxed instance queries
A. Ecke, R. Peñaloza, A.-Y. Turhan, J. Appl. Log. 13 (2015) 480–508.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, J. Appl. Log. 13 (2015) 480–508.
2015 | Conference Paper | LibreCat-ID: 56521
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite
T.P. Mailis, A.-Y. Turhan, E. Zenker, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
LibreCat
T.P. Mailis, A.-Y. Turhan, E. Zenker, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
2015 | Conference Paper | LibreCat-ID: 56519
Conjunctive Query Answering with Finitely Many Truth Degrees
S. Borgwardt, T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
LibreCat
S. Borgwardt, T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
2015 | Conference Paper | LibreCat-ID: 56520
Elastiq: Answering Similarity-threshold Instance Queries in EL
A. Ecke, M. Pensel, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
LibreCat
A. Ecke, M. Pensel, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
2015 | Conference Paper | LibreCat-ID: 56522
Towards Temporal Fuzzy Query Answering on Stream-based Data
A.-Y. Turhan, E. Zenker, 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, CEUR-WS.org, 2015, pp. 56–69.
LibreCat
A.-Y. Turhan, E. Zenker, 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, CEUR-WS.org, 2015, pp. 56–69.
2014 | Conference Paper | LibreCat-ID: 56526
Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering
T.P. Mailis, A.-Y. Turhan, 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, Springer, 2014, pp. 63–78.
LibreCat
| DOI
T.P. Mailis, A.-Y. Turhan, 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, Springer, 2014, pp. 63–78.
2014 | Conference Paper | LibreCat-ID: 56525
Certain Answers in a Rough World
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 709–712.
LibreCat
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 709–712.
2014 | Conference Paper | LibreCat-ID: 56524
Mary, What’s Like All Cats?
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 526–529.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 526–529.
2014 | Journal Article | LibreCat-ID: 56523
Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities
A. Ecke, R. Peñaloza, A.-Y. Turhan, Int. J. Approx. Reason. 55 (2014) 1939–1970.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, Int. J. Approx. Reason. 55 (2014) 1939–1970.
2014 | Conference Paper | LibreCat-ID: 56530
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics
T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: R. Kontchakov, M.-L. Mugnier (Eds.), Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, Springer, 2014, pp. 124–139.
LibreCat
| DOI
T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: R. Kontchakov, M.-L. Mugnier (Eds.), Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, Springer, 2014, pp. 124–139.
2014 | Conference Paper | LibreCat-ID: 56527
Reasoning in \emphALC with Fuzzy Concrete Domains
D. Merz, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2014, pp. 171–182.
LibreCat
| DOI
D. Merz, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2014, pp. 171–182.
2014 | Conference Paper | LibreCat-ID: 56529
Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling
M. Hähnel, J. Mendez, V. Thost, A.-Y. Turhan, 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, ACM, 2014, p. 3:1–3:6.
LibreCat
| DOI
M. Hähnel, J. Mendez, V. Thost, A.-Y. Turhan, 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, ACM, 2014, p. 3:1–3:6.
2014 | Conference (Editor) | LibreCat-ID: 56531
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
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014.
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014.
2014 | Conference Paper | LibreCat-ID: 56528
Answering Instance Queries Relaxed by Concept Similarity
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, 2014.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, 2014.
2013 | Conference Paper | LibreCat-ID: 56534
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2013, pp. 670–688.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2013, pp. 670–688.
2013 | Conference Paper | LibreCat-ID: 56532
Computing the lcs w.r.t. General EL+-TBoxes
A.-Y. Turhan, B. Zarrieß, 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, CEUR-WS.org, 2013, pp. 477–488.
LibreCat
A.-Y. Turhan, B. Zarrieß, 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, CEUR-WS.org, 2013, pp. 477–488.
2013 | Conference Paper | LibreCat-ID: 56542
Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 80–98.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 80–98.
2013 | Conference Paper | LibreCat-ID: 56541
Introductions to Description Logics - A Guided Tour
A.-Y. Turhan, 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, Springer, 2013, pp. 150–161.
LibreCat
| DOI
A.-Y. Turhan, 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, Springer, 2013, pp. 150–161.
2013 | Conference Paper | LibreCat-ID: 56538
Computing Role-Depth Bounded Generalizations in the Description Logic
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 49–60.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 49–60.
2013 | Conference Paper | LibreCat-ID: 56540
Situation recognition for service management systems using OWL 2 reasoners
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, A.-Y. Turhan, 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, pp. 31–36.
LibreCat
| DOI
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, A.-Y. Turhan, 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, pp. 31–36.
2013 | Conference Paper | LibreCat-ID: 56539
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
S. Goetz, J. Mendez, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2013.
LibreCat
S. Goetz, J. Mendez, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2013.
2013 | Conference Paper | LibreCat-ID: 56536
Most Specific Generalizations w.r.t. General EL-TBoxes
B. Zarrieß, A.-Y. Turhan, in: F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, 2013, pp. 1191–1197.
LibreCat
B. Zarrieß, A.-Y. Turhan, in: F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, 2013, pp. 1191–1197.
2012 | Conference Paper | LibreCat-ID: 56544
A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts
K. Lehmann, A.-Y. Turhan, 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, Springer, 2012, pp. 307–319.
LibreCat
| DOI
K. Lehmann, A.-Y. Turhan, 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, Springer, 2012, pp. 307–319.
2012 | Conference Paper | LibreCat-ID: 56551
Role-depth Bounded Least Common Subsumers for EL+ and ELI
A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2012.
LibreCat
A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2012.
2012 | Conference Paper | LibreCat-ID: 56545
Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+
A. Ecke, A.-Y. Turhan, in: P. Klinov, M. Horridge (Eds.), Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, CEUR-WS.org, 2012.
LibreCat
A. Ecke, A.-Y. Turhan, in: P. Klinov, M. Horridge (Eds.), Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, CEUR-WS.org, 2012.
2011 | Conference Paper | LibreCat-ID: 56546
Implementing Completion-Based Inferences for the EL-family
J. Mendez, A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2011.
LibreCat
J. Mendez, A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2011.
2011 | Conference Paper | LibreCat-ID: 56548
Description logic reasoning for semantic web ontologies
A.-Y. Turhan, in: R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, ACM, 2011, p. 6.
LibreCat
| DOI
A.-Y. Turhan, in: R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, ACM, 2011, p. 6.
2011 | Conference Paper | LibreCat-ID: 56547
A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2011, pp. 410–423.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2011, pp. 410–423.
2010 | Conference Paper | LibreCat-ID: 56550
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2010.
LibreCat
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2010.
2010 | Journal Article | LibreCat-ID: 56549
Small is Again Beautiful in Description Logics
F. Baader, C. Lutz, A.-Y. Turhan, Künstliche Intell. 24 (2010) 25–33.
LibreCat
| DOI
F. Baader, C. Lutz, A.-Y. Turhan, Künstliche Intell. 24 (2010) 25–33.
2010 | Conference (Editor) | LibreCat-ID: 56553
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010
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, CEUR-WS.org, 2010.
LibreCat
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, CEUR-WS.org, 2010.
2010 | Conference Paper | LibreCat-ID: 56552
Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics
A.-Y. Turhan, 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, Springer, 2010, pp. 1–27.
LibreCat
| DOI
A.-Y. Turhan, 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, Springer, 2010, pp. 1–27.
2009 | Journal Article | LibreCat-ID: 56554
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations
T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.
LibreCat
| DOI
T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.
2007 | Dissertation | LibreCat-ID: 56555
On the computation of common subsumers in description logics
A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007.
LibreCat
A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007.
2007 | Conference Paper | LibreCat-ID: 56557
Speeding up Approximation with Nicer Concepts
A.-Y. Turhan, Y. Bong, 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, CEUR-WS.org, 2007.
LibreCat
A.-Y. Turhan, Y. Bong, 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, CEUR-WS.org, 2007.
2007 | Conference (Editor) | LibreCat-ID: 56558
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
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, CEUR-WS.org, 2007.
LibreCat
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, CEUR-WS.org, 2007.
2007 | Journal Article | LibreCat-ID: 56556
Computing the least common subsumer w.r.t. a background terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
2006 | Conference Paper | LibreCat-ID: 56559
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B. Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, 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, CEUR-WS.org, 2006.
LibreCat
S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B. Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, 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, CEUR-WS.org, 2006.
2004 | Conference Paper | LibreCat-ID: 56564
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
2004 | Conference Paper | LibreCat-ID: 56561
Sonic - Non-standard Inferences Go OilEd
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
LibreCat
| DOI
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
2004 | Conference Paper | LibreCat-ID: 56562
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, 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, CEUR-WS.org, 2004.
LibreCat
F. Baader, B. Sertkaya, A.-Y. Turhan, 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, CEUR-WS.org, 2004.
2004 | Conference Paper | LibreCat-ID: 56563
Sonic: System Description
A.-Y. Turhan, C. Kissig, 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, CEUR-WS.org, 2004.
LibreCat
A.-Y. Turhan, C. Kissig, 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, CEUR-WS.org, 2004.
2003 | Conference Paper | LibreCat-ID: 56567
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles
S. Brandt, A.-Y. Turhan, R. Küsters, 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, Springer, 2003, pp. 122–136.
LibreCat
| DOI
S. Brandt, A.-Y. Turhan, R. Küsters, 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, Springer, 2003, pp. 122–136.
2003 | Conference Paper | LibreCat-ID: 56566
Computing Least Common Subsumers for FLE\(^\mbox+\)
S. Brandt, A.-Y. Turhan, 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, CEUR-WS.org, 2003.
LibreCat
S. Brandt, A.-Y. Turhan, 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, CEUR-WS.org, 2003.
2002 | Conference Paper | LibreCat-ID: 56569
On the Problem of Computing Small Representations of Least Common Subsumers
F. Baader, A.-Y. Turhan, 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, Springer, 2002, pp. 99–113.
LibreCat
| DOI
F. Baader, A.-Y. Turhan, 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, Springer, 2002, pp. 99–113.
2002 | Conference Paper | LibreCat-ID: 56568
Approximating ALCN-Concept Descriptions
S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.
LibreCat
S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.
2002 | Conference Paper | LibreCat-ID: 56570
Approximation and Difference in Description Logics
S. Brandt, R. Küsters, A.-Y. Turhan, 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, Morgan Kaufmann, 2002, pp. 203–214.
LibreCat
S. Brandt, R. Küsters, A.-Y. Turhan, 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, Morgan Kaufmann, 2002, pp. 203–214.
2001 | Conference Paper | LibreCat-ID: 56571
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
LibreCat
| DOI
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
2001 | Conference Paper | LibreCat-ID: 56572
TBoxes do not Yield a Compact Representation of Least Common Subsumers
F. Baader, A.-Y. Turhan, 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, CEUR-WS.org, 2001.
LibreCat
F. Baader, A.-Y. Turhan, 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, CEUR-WS.org, 2001.
2001 | Conference Paper | LibreCat-ID: 56573
Using Lazy Unfolding for the Computation of Least Common Subsumers
A.-Y. Turhan, R. Molitor, 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, CEUR-WS.org, 2001.
LibreCat
A.-Y. Turhan, R. Molitor, 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, CEUR-WS.org, 2001.
2000 | Conference Paper | LibreCat-ID: 56574
Adapting Optimization Techniques to Description Logics with Concrete Domains
A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.
LibreCat
A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.
1999 | Conference Paper | LibreCat-ID: 56575
On Terminological Default Reasoning about Spatial Information: Extended Abstract
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, 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, CEUR-WS.org, 1999.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, 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, CEUR-WS.org, 1999.
1998 | Conference Paper | LibreCat-ID: 56577
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
1998 | Conference Paper | LibreCat-ID: 56576
HAM-ALC
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
98 Publications
2024 | Conference Paper | LibreCat-ID: 56488
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2024, pp. 142–158.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2024, pp. 142–158.
2024 | Conference Paper | LibreCat-ID: 56158
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
LibreCat
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
2024 | Conference Paper | LibreCat-ID: 56159
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
LibreCat
| Files available
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2024.
2023 | Journal Article | LibreCat-ID: 52861
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
2023 | Conference Paper | LibreCat-ID: 52913
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
LibreCat
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
2023 | Conference Paper | LibreCat-ID: 56096
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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), IOS Press, 2023, pp. 708–715.
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, 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), IOS Press, 2023, pp. 708–715.
2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
2022 | Journal Article | LibreCat-ID: 52862
A Double Take at Conferences: The Hybrid Format
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
LibreCat
| DOI
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
2022 | Conference Paper | LibreCat-ID: 52923
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
2022 | Conference (Editor) | LibreCat-ID: 52925
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.
LibreCat
| DOI
G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.
2022 | Conference Paper | LibreCat-ID: 52924
Computing generalizations of temporal ϵL concepts with next and global
S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.
LibreCat
| DOI
S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.
2022 | Journal Article | LibreCat-ID: 52918
Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
LibreCat
| DOI
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
2022 | Conference Paper | LibreCat-ID: 52920
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
2022 | Conference Paper | LibreCat-ID: 52921
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
LibreCat
S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.
2022 | Conference Paper | LibreCat-ID: 52922
User-aware Explications of Ontology Consequences: Levelling Technicality
R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.
LibreCat
R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.
LibreCat
| DOI
O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.
2021 | Journal Article | LibreCat-ID: 52926
Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
2021 | Conference Paper | LibreCat-ID: 52928
Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.
2020 | Journal Article | LibreCat-ID: 52930
Semantic Technologies for Situation Awareness
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.
LibreCat
| DOI
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.
2020 | Conference Paper | LibreCat-ID: 56490
Towards Model Transformation in Description Logics - Investigating the Case of Transductions
W. Hieke, A.-Y. Turhan, 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, CEUR-WS.org, 2020, pp. 69–82.
LibreCat
W. Hieke, A.-Y. Turhan, 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, CEUR-WS.org, 2020, pp. 69–82.
2020 | Conference Paper | LibreCat-ID: 52936
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2020 | Conference Paper | LibreCat-ID: 56489
Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)
O.F. Gil, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
O.F. Gil, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2019 | Journal Article | LibreCat-ID: 56491
Ontology-mediated query answering over temporal and inconsistent data
C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.
LibreCat
| DOI
C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.
2019 | Conference Paper | LibreCat-ID: 56493
A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, 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, Springer, 2019, pp. 1–14.
LibreCat
| DOI
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, 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, Springer, 2019, pp. 1–14.
2019 | Conference Paper | LibreCat-ID: 56498
Ontology-Mediated Probabilistic Model Checking
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
2019 | Conference Paper | LibreCat-ID: 56496
Practical Query Rewriting for DL-Lite with Numerical Predicates
C. Alrabbaa, P. Koopmann, A.-Y. Turhan, in: D. Calvanese, L. Iocchi (Eds.), GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, EasyChair, 2019, pp. 15–27.
LibreCat
| DOI
C. Alrabbaa, P. Koopmann, A.-Y. Turhan, in: D. Calvanese, L. Iocchi (Eds.), GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, EasyChair, 2019, pp. 15–27.
2019 | Conference Paper | LibreCat-ID: 56499
Congenial Benchmarking of RDF Storage Solutions
A.-C.N. Ngomo, F. Conrads, M. Pensel, A.-Y. Turhan, 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, ACM, 2019, pp. 213–221.
LibreCat
| DOI
A.-C.N. Ngomo, F. Conrads, M. Pensel, A.-Y. Turhan, 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, ACM, 2019, pp. 213–221.
2019 | Conference (Editor) | LibreCat-ID: 56502
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
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, Springer, 2019.
LibreCat
| DOI
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, Springer, 2019.
2019 | Conference Paper | LibreCat-ID: 56500
Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner
F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.
LibreCat
F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.
2018 | Conference (Editor) | LibreCat-ID: 56508
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
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
2018 | Conference (Editor) | LibreCat-ID: 56509
KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings
F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, Springer, 2018.
LibreCat
| DOI
F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, Springer, 2018.
2018 | Conference Paper | LibreCat-ID: 56507
Query Answering for Rough EL Ontologies
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, AAAI Press, 2018, pp. 399–408.
LibreCat
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, AAAI Press, 2018, pp. 399–408.
2018 | Journal Article | LibreCat-ID: 56503
Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics
M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.
LibreCat
| DOI
M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.
2018 | Conference Paper | LibreCat-ID: 56504
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
LibreCat
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2018.
2017 | Journal Article | LibreCat-ID: 56510
Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (2017).
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (2017).
2017 | Conference Paper | LibreCat-ID: 56516
Temporal Query Answering in DL-Lite over Inconsistent Data
C. Bourgaux, A.-Y. Turhan, 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, Springer, 2017, pp. 121–137.
LibreCat
| DOI
C. Bourgaux, A.-Y. Turhan, 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, Springer, 2017, pp. 121–137.
2017 | Conference Paper | LibreCat-ID: 56514
Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2017, pp. 44–57.
LibreCat
M. Pensel, A.-Y. Turhan, 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, CEUR-WS.org, 2017, pp. 44–57.
2017 | Conference Paper | LibreCat-ID: 56515
Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\)
M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.
LibreCat
| DOI
M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.
2017 | Conference Paper | LibreCat-ID: 56513
Energy-Efficiency of OWL Reasoners - Frequency Matters
P. Koopmann, M. Hähnel, A.-Y. Turhan, 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, Springer, 2017, pp. 86–101.
LibreCat
| DOI
P. Koopmann, M. Hähnel, A.-Y. Turhan, 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, Springer, 2017, pp. 86–101.
2017 | Conference Paper | LibreCat-ID: 56512
Using Ontologies to Query Probabilistic Numerical Data
F. Baader, P. Koopmann, A.-Y. Turhan, in: C. Dixon, M. Finger (Eds.), Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, Springer, 2017, pp. 77–94.
LibreCat
| DOI
F. Baader, P. Koopmann, A.-Y. Turhan, in: C. Dixon, M. Finger (Eds.), Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, Springer, 2017, pp. 77–94.
2017 | Conference Paper | LibreCat-ID: 56511
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)
F. Baader, P. Koopmann, A.-Y. Turhan, in: A. Artale, B. Glimm, R. Kontchakov (Eds.), Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, CEUR-WS.org, 2017.
LibreCat
F. Baader, P. Koopmann, A.-Y. Turhan, in: A. Artale, B. Glimm, R. Kontchakov (Eds.), Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, CEUR-WS.org, 2017.
2017 | Conference (Editor) | LibreCat-ID: 56517
Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings
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, Springer, 2017.
LibreCat
| DOI
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, Springer, 2017.
2016 | Journal Article | LibreCat-ID: 52803
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
LibreCat
| DOI
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
2016 | Conference Paper | LibreCat-ID: 52796
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
C. Carapelle, A.-Y. Turhan, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016.
LibreCat
| DOI
C. Carapelle, A.-Y. Turhan, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016.
2015 | Journal Article | LibreCat-ID: 56518
Similarity-based relaxed instance queries
A. Ecke, R. Peñaloza, A.-Y. Turhan, J. Appl. Log. 13 (2015) 480–508.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, J. Appl. Log. 13 (2015) 480–508.
2015 | Conference Paper | LibreCat-ID: 56521
A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite
T.P. Mailis, A.-Y. Turhan, E. Zenker, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
LibreCat
T.P. Mailis, A.-Y. Turhan, E. Zenker, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
2015 | Conference Paper | LibreCat-ID: 56519
Conjunctive Query Answering with Finitely Many Truth Degrees
S. Borgwardt, T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
LibreCat
S. Borgwardt, T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
2015 | Conference Paper | LibreCat-ID: 56520
Elastiq: Answering Similarity-threshold Instance Queries in EL
A. Ecke, M. Pensel, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
LibreCat
A. Ecke, M. Pensel, A.-Y. Turhan, in: D. Calvanese, B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, CEUR-WS.org, 2015.
2015 | Conference Paper | LibreCat-ID: 56522
Towards Temporal Fuzzy Query Answering on Stream-based Data
A.-Y. Turhan, E. Zenker, 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, CEUR-WS.org, 2015, pp. 56–69.
LibreCat
A.-Y. Turhan, E. Zenker, 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, CEUR-WS.org, 2015, pp. 56–69.
2014 | Conference Paper | LibreCat-ID: 56526
Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering
T.P. Mailis, A.-Y. Turhan, 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, Springer, 2014, pp. 63–78.
LibreCat
| DOI
T.P. Mailis, A.-Y. Turhan, 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, Springer, 2014, pp. 63–78.
2014 | Conference Paper | LibreCat-ID: 56525
Certain Answers in a Rough World
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 709–712.
LibreCat
R. Peñaloza, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 709–712.
2014 | Conference Paper | LibreCat-ID: 56524
Mary, What’s Like All Cats?
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 526–529.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014, pp. 526–529.
2014 | Journal Article | LibreCat-ID: 56523
Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities
A. Ecke, R. Peñaloza, A.-Y. Turhan, Int. J. Approx. Reason. 55 (2014) 1939–1970.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, Int. J. Approx. Reason. 55 (2014) 1939–1970.
2014 | Conference Paper | LibreCat-ID: 56530
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics
T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: R. Kontchakov, M.-L. Mugnier (Eds.), Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, Springer, 2014, pp. 124–139.
LibreCat
| DOI
T.P. Mailis, R. Peñaloza, A.-Y. Turhan, in: R. Kontchakov, M.-L. Mugnier (Eds.), Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, Springer, 2014, pp. 124–139.
2014 | Conference Paper | LibreCat-ID: 56527
Reasoning in \emphALC with Fuzzy Concrete Domains
D. Merz, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2014, pp. 171–182.
LibreCat
| DOI
D. Merz, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2014, pp. 171–182.
2014 | Conference Paper | LibreCat-ID: 56529
Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling
M. Hähnel, J. Mendez, V. Thost, A.-Y. Turhan, 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, ACM, 2014, p. 3:1–3:6.
LibreCat
| DOI
M. Hähnel, J. Mendez, V. Thost, A.-Y. Turhan, 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, ACM, 2014, p. 3:1–3:6.
2014 | Conference (Editor) | LibreCat-ID: 56531
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
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014.
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2014.
2014 | Conference Paper | LibreCat-ID: 56528
Answering Instance Queries Relaxed by Concept Similarity
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, 2014.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, 2014.
2013 | Conference Paper | LibreCat-ID: 56534
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2013, pp. 670–688.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2013, pp. 670–688.
2013 | Conference Paper | LibreCat-ID: 56532
Computing the lcs w.r.t. General EL+-TBoxes
A.-Y. Turhan, B. Zarrieß, 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, CEUR-WS.org, 2013, pp. 477–488.
LibreCat
A.-Y. Turhan, B. Zarrieß, 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, CEUR-WS.org, 2013, pp. 477–488.
2013 | Conference Paper | LibreCat-ID: 56542
Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 80–98.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 80–98.
2013 | Conference Paper | LibreCat-ID: 56541
Introductions to Description Logics - A Guided Tour
A.-Y. Turhan, 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, Springer, 2013, pp. 150–161.
LibreCat
| DOI
A.-Y. Turhan, 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, Springer, 2013, pp. 150–161.
2013 | Conference Paper | LibreCat-ID: 56538
Computing Role-Depth Bounded Generalizations in the Description Logic
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 49–60.
LibreCat
| DOI
A. Ecke, R. Peñaloza, A.-Y. Turhan, 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, Springer, 2013, pp. 49–60.
2013 | Conference Paper | LibreCat-ID: 56540
Situation recognition for service management systems using OWL 2 reasoners
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, A.-Y. Turhan, 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, pp. 31–36.
LibreCat
| DOI
W. Dargie, J. Mendez, C. Möbius, K. Rybina, V. Thost, A.-Y. Turhan, 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, pp. 31–36.
2013 | Conference Paper | LibreCat-ID: 56539
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
S. Goetz, J. Mendez, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2013.
LibreCat
S. Goetz, J. Mendez, V. Thost, A.-Y. Turhan, 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, CEUR-WS.org, 2013.
2013 | Conference Paper | LibreCat-ID: 56536
Most Specific Generalizations w.r.t. General EL-TBoxes
B. Zarrieß, A.-Y. Turhan, in: F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, 2013, pp. 1191–1197.
LibreCat
B. Zarrieß, A.-Y. Turhan, in: F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, IJCAI/AAAI, 2013, pp. 1191–1197.
2012 | Conference Paper | LibreCat-ID: 56544
A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts
K. Lehmann, A.-Y. Turhan, 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, Springer, 2012, pp. 307–319.
LibreCat
| DOI
K. Lehmann, A.-Y. Turhan, 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, Springer, 2012, pp. 307–319.
2012 | Conference Paper | LibreCat-ID: 56551
Role-depth Bounded Least Common Subsumers for EL+ and ELI
A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2012.
LibreCat
A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2012.
2012 | Conference Paper | LibreCat-ID: 56545
Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+
A. Ecke, A.-Y. Turhan, in: P. Klinov, M. Horridge (Eds.), Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, CEUR-WS.org, 2012.
LibreCat
A. Ecke, A.-Y. Turhan, in: P. Klinov, M. Horridge (Eds.), Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, CEUR-WS.org, 2012.
2011 | Conference Paper | LibreCat-ID: 56546
Implementing Completion-Based Inferences for the EL-family
J. Mendez, A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2011.
LibreCat
J. Mendez, A. Ecke, A.-Y. Turhan, 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, CEUR-WS.org, 2011.
2011 | Conference Paper | LibreCat-ID: 56548
Description logic reasoning for semantic web ontologies
A.-Y. Turhan, in: R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, ACM, 2011, p. 6.
LibreCat
| DOI
A.-Y. Turhan, in: R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, ACM, 2011, p. 6.
2011 | Conference Paper | LibreCat-ID: 56547
A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2011, pp. 410–423.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, 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, Springer, 2011, pp. 410–423.
2010 | Conference Paper | LibreCat-ID: 56550
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2010.
LibreCat
R. Peñaloza, A.-Y. Turhan, 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, CEUR-WS.org, 2010.
2010 | Journal Article | LibreCat-ID: 56549
Small is Again Beautiful in Description Logics
F. Baader, C. Lutz, A.-Y. Turhan, Künstliche Intell. 24 (2010) 25–33.
LibreCat
| DOI
F. Baader, C. Lutz, A.-Y. Turhan, Künstliche Intell. 24 (2010) 25–33.
2010 | Conference (Editor) | LibreCat-ID: 56553
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010
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, CEUR-WS.org, 2010.
LibreCat
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, CEUR-WS.org, 2010.
2010 | Conference Paper | LibreCat-ID: 56552
Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics
A.-Y. Turhan, 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, Springer, 2010, pp. 1–27.
LibreCat
| DOI
A.-Y. Turhan, 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, Springer, 2010, pp. 1–27.
2009 | Journal Article | LibreCat-ID: 56554
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations
T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.
LibreCat
| DOI
T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.
2007 | Dissertation | LibreCat-ID: 56555
On the computation of common subsumers in description logics
A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007.
LibreCat
A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007.
2007 | Conference Paper | LibreCat-ID: 56557
Speeding up Approximation with Nicer Concepts
A.-Y. Turhan, Y. Bong, 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, CEUR-WS.org, 2007.
LibreCat
A.-Y. Turhan, Y. Bong, 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, CEUR-WS.org, 2007.
2007 | Conference (Editor) | LibreCat-ID: 56558
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
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, CEUR-WS.org, 2007.
LibreCat
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, CEUR-WS.org, 2007.
2007 | Journal Article | LibreCat-ID: 56556
Computing the least common subsumer w.r.t. a background terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
2006 | Conference Paper | LibreCat-ID: 56559
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B. Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, 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, CEUR-WS.org, 2006.
LibreCat
S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B. Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, 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, CEUR-WS.org, 2006.
2004 | Conference Paper | LibreCat-ID: 56564
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
2004 | Conference Paper | LibreCat-ID: 56561
Sonic - Non-standard Inferences Go OilEd
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
LibreCat
| DOI
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
2004 | Conference Paper | LibreCat-ID: 56562
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, 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, CEUR-WS.org, 2004.
LibreCat
F. Baader, B. Sertkaya, A.-Y. Turhan, 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, CEUR-WS.org, 2004.
2004 | Conference Paper | LibreCat-ID: 56563
Sonic: System Description
A.-Y. Turhan, C. Kissig, 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, CEUR-WS.org, 2004.
LibreCat
A.-Y. Turhan, C. Kissig, 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, CEUR-WS.org, 2004.
2003 | Conference Paper | LibreCat-ID: 56567
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles
S. Brandt, A.-Y. Turhan, R. Küsters, 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, Springer, 2003, pp. 122–136.
LibreCat
| DOI
S. Brandt, A.-Y. Turhan, R. Küsters, 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, Springer, 2003, pp. 122–136.
2003 | Conference Paper | LibreCat-ID: 56566
Computing Least Common Subsumers for FLE\(^\mbox+\)
S. Brandt, A.-Y. Turhan, 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, CEUR-WS.org, 2003.
LibreCat
S. Brandt, A.-Y. Turhan, 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, CEUR-WS.org, 2003.
2002 | Conference Paper | LibreCat-ID: 56569
On the Problem of Computing Small Representations of Least Common Subsumers
F. Baader, A.-Y. Turhan, 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, Springer, 2002, pp. 99–113.
LibreCat
| DOI
F. Baader, A.-Y. Turhan, 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, Springer, 2002, pp. 99–113.
2002 | Conference Paper | LibreCat-ID: 56568
Approximating ALCN-Concept Descriptions
S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.
LibreCat
S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.
2002 | Conference Paper | LibreCat-ID: 56570
Approximation and Difference in Description Logics
S. Brandt, R. Küsters, A.-Y. Turhan, 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, Morgan Kaufmann, 2002, pp. 203–214.
LibreCat
S. Brandt, R. Küsters, A.-Y. Turhan, 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, Morgan Kaufmann, 2002, pp. 203–214.
2001 | Conference Paper | LibreCat-ID: 56571
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
LibreCat
| DOI
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
2001 | Conference Paper | LibreCat-ID: 56572
TBoxes do not Yield a Compact Representation of Least Common Subsumers
F. Baader, A.-Y. Turhan, 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, CEUR-WS.org, 2001.
LibreCat
F. Baader, A.-Y. Turhan, 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, CEUR-WS.org, 2001.
2001 | Conference Paper | LibreCat-ID: 56573
Using Lazy Unfolding for the Computation of Least Common Subsumers
A.-Y. Turhan, R. Molitor, 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, CEUR-WS.org, 2001.
LibreCat
A.-Y. Turhan, R. Molitor, 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, CEUR-WS.org, 2001.
2000 | Conference Paper | LibreCat-ID: 56574
Adapting Optimization Techniques to Description Logics with Concrete Domains
A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.
LibreCat
A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.
1999 | Conference Paper | LibreCat-ID: 56575
On Terminological Default Reasoning about Spatial Information: Extended Abstract
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, 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, CEUR-WS.org, 1999.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, 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, CEUR-WS.org, 1999.
1998 | Conference Paper | LibreCat-ID: 56577
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
1998 | Conference Paper | LibreCat-ID: 56576
HAM-ALC
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.
LibreCat
V. Haarslev, R. Möller, A.-Y. Turhan, 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, CEUR-WS.org, 1998.