Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
103 Publications
2021 | Conference Paper | LibreCat-ID: 52927
O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics,” in Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 2021, pp. 6340–6348, doi: 10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in 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, 2021, vol. 2961, pp. 9–22.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic Technologies for Situation Awareness,” Künstliche Intell., vol. 34, no. 4, pp. 543–550, 2020, doi: 10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 56490
W. Hieke and A.-Y. Turhan, “Towards Model Transformation in Description Logics - Investigating the Case of Transductions,” in 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, 2020, vol. 2680, pp. 69–82.
LibreCat
2020 | Conference Paper | LibreCat-ID: 52936
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in 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, 2020, vol. 2663.
LibreCat
2020 | Conference Paper | LibreCat-ID: 56489
O. F. Gil and A.-Y. Turhan, “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract),” in 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, 2020, vol. 2663.
LibreCat
2019 | Journal Article | LibreCat-ID: 56491
C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering over temporal and inconsistent data,” Semantic Web, vol. 10, no. 3, pp. 475–521, 2019, doi: 10.3233/SW-180337.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,” in Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 2019, vol. 11560, pp. 1–14, doi: 10.1007/978-3-030-22102-7_1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic Model Checking,” in Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, 2019, vol. 11918, pp. 194–211, doi: 10.1007/978-3-030-34968-4_11.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
C. Alrabbaa, P. Koopmann, and A.-Y. Turhan, “Practical Query Rewriting for DL-Lite with Numerical Predicates,” in GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, 2019, vol. 65, pp. 15–27, doi: 10.29007/GQLL.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
A.-C. N. Ngomo, F. Conrads, M. Pensel, and A.-Y. Turhan, “Congenial Benchmarking of RDF Storage Solutions,” in Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, 2019, pp. 213–221, doi: 10.1145/3360901.3364429.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner,” 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
T. Lukasiewicz, R. Peñaloza, and 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, vol. 2157. CEUR-WS.org, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 56507
R. Peñaloza, V. Thost, and A.-Y. Turhan, “Query Answering for Rough EL Ontologies,” in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, 2018, pp. 399–408.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
M. Pensel and A.-Y. Turhan, “Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics,” Int. J. Approx. Reason., vol. 103, pp. 28–70, 2018, doi: 10.1016/J.IJAR.2018.08.005.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
M. Pensel and A.-Y. Turhan, “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot,” in 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, 2018, vol. 2211.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness,” FLAP, vol. 4, no. 7, 2017.
LibreCat