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
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2020). Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In S. Borgwardt & T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 (Vol. 2663). CEUR-WS.org.
LibreCat
2020 | Conference Paper | LibreCat-ID: 56489
Gil, O. F., & Turhan, A.-Y. (2020). Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). In S. Borgwardt & T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 (Vol. 2663). CEUR-WS.org.
LibreCat
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux, C., Koopmann, P., & Turhan, A.-Y. (2019). Ontology-mediated query answering over temporal and inconsistent data. Semantic Web, 10(3), 475–521. https://doi.org/10.3233/SW-180337
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., & Wolter, F. (2019). A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, & F. Wolter (Eds.), Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Vol. 11560, pp. 1–14). Springer. https://doi.org/10.1007/978-3-030-22102-7_1
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2019). Ontology-Mediated Probabilistic Model Checking. In W. Ahrendt & S. L. T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Vol. 11918, pp. 194–211). Springer. https://doi.org/10.1007/978-3-030-34968-4_11
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa, C., Koopmann, P., & Turhan, A.-Y. (2019). Practical Query Rewriting for DL-Lite with Numerical Predicates. In D. Calvanese & L. Iocchi (Eds.), GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019 (Vol. 65, pp. 15–27). EasyChair. https://doi.org/10.29007/GQLL
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo, A.-C. N., Conrads, F., Pensel, M., & Turhan, A.-Y. (2019). Congenial Benchmarking of RDF Storage Solutions. In M. Kejriwal, P. A. Szekely, & R. Troncy (Eds.), Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019 (pp. 213–221). ACM. https://doi.org/10.1145/3360901.3364429
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., & Wolter, F. (Eds.). (2019). Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (Vol. 11560). Springer. https://doi.org/10.1007/978-3-030-22102-7
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel, F., Turhan, A.-Y., & Zarrieß, B. (2019). Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner (P. Fodor, M. Montali, D. Calvanese, & D. Roman, Eds.).
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz, T., Peñaloza, R., & Turhan, A.-Y. (Eds.). (2018). Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018 (Vol. 2157). CEUR-WS.org.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann, F., & Turhan, A.-Y. (Eds.). (2018). KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings (Vol. 11117). Springer. https://doi.org/10.1007/978-3-030-00111-7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza, R., Thost, V., & Turhan, A.-Y. (2018). Query Answering for Rough EL Ontologies. In M. Thielscher, F. Toni, & F. Wolter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 (pp. 399–408). AAAI Press.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel, M., & Turhan, A.-Y. (2018). Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics. Int. J. Approx. Reason., 103, 28–70. https://doi.org/10.1016/J.IJAR.2018.08.005
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel, M., & Turhan, A.-Y. (2018). Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. In M. Ortiz & T. Schneider (Eds.), Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018 (Vol. 2211). CEUR-WS.org.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz, T., Peñaloza, R., & Turhan, A.-Y. (2017). Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP, 4(7).
LibreCat
2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux, C., & Turhan, A.-Y. (2017). Temporal Query Answering in DL-Lite over Inconsistent Data. In C. d’Amato, M. Fernández, V. A. M. Tamma, F. Lécué, P. Cudré-Mauroux, J. F. Sequeda, C. Lange, & J. Heflin (Eds.), The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I (Vol. 10587, pp. 121–137). Springer. https://doi.org/10.1007/978-3-319-68288-4_8
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
Pensel, M., & Turhan, A.-Y. (2017). Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot. In R. Booth, G. Casini, & I. Varzinczak (Eds.), Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017 (Vol. 1872, pp. 44–57). CEUR-WS.org.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
Pensel, M., & Turhan, A.-Y. (2017). Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In M. Balduccini & T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings (Vol. 10377, pp. 78–84). Springer. https://doi.org/10.1007/978-3-319-61660-5_9
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
Koopmann, P., Hähnel, M., & Turhan, A.-Y. (2017). Energy-Efficiency of OWL Reasoners - Frequency Matters. In Z. Wang, A.-Y. Turhan, K. Wang, & X. Zhang (Eds.), Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings (Vol. 10675, pp. 86–101). Springer. https://doi.org/10.1007/978-3-319-70682-5_6
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
Baader, F., Koopmann, P., & Turhan, A.-Y. (2017). Using Ontologies to Query Probabilistic Numerical Data. In C. Dixon & M. Finger (Eds.), Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Vol. 10483, pp. 77–94). Springer. https://doi.org/10.1007/978-3-319-66167-4_5
LibreCat
| DOI
- 1
- 2 (current)
- 3
- 4
- 5