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.
98 Publications
- 1
- 2 (current)
- 3
- 4
- 5
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.
- 1
- 2 (current)
- 3
- 4
- 5