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


2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff C, Koopmann P, Turhan A-Y. Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, 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 Workshop Proceedings. CEUR-WS.org; 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 56489
Gil OF, Turhan A-Y. Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). In: Borgwardt S, Meyer T, 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 Workshop Proceedings. CEUR-WS.org; 2020.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 56491
Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over temporal and inconsistent data. Semantic Web. 2019;10(3):475–521. doi:10.3233/SW-180337
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 56493
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Lecture Notes in Computer Science. Springer; 2019:1–14. doi:10.1007/978-3-030-22102-7_1
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:10.1007/978-3-030-34968-4_11
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa C, Koopmann P, Turhan A-Y. Practical Query Rewriting for DL-Lite with Numerical Predicates. In: Calvanese D, Iocchi L, eds. GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27. doi:10.29007/GQLL
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 56499
Ngomo A-CN, Conrads F, Pensel M, Turhan A-Y. Congenial Benchmarking of RDF Storage Solutions. In: Kejriwal M, Szekely PA, Troncy R, eds. Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019. ACM; 2019:213–221. doi:10.1145/3360901.3364429
LibreCat | DOI
 

2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol 11560. Springer; 2019. doi:10.1007/978-3-030-22102-7
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 56500
Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. In: Fodor P, Montali M, Calvanese D, Roman D, eds. ; 2019.
LibreCat
 

2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz T, Peñaloza R, Turhan A-Y, 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 (Editor) | LibreCat-ID: 56509
Trollmann F, Turhan A-Y, eds. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Vol 11117. Springer; 2018. doi:10.1007/978-3-030-00111-7
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza R, Thost V, Turhan A-Y. Query Answering for Rough EL Ontologies. In: Thielscher M, Toni F, Wolter F, 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:399–408.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 56503
Pensel M, Turhan A-Y. Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics. Int J Approx Reason. 2018;103:28–70. doi:10.1016/J.IJAR.2018.08.005
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 56504
Pensel M, Turhan A-Y. Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. In: Ortiz M, Schneider T, 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 Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz T, Peñaloza R, Turhan A-Y. Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP. 2017;4(7).
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux C, Turhan A-Y. Temporal Query Answering in DL-Lite over Inconsistent Data. In: d’Amato C, Fernández M, Tamma VAM, et al., eds. The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Vol 10587. Lecture Notes in Computer Science. Springer; 2017:121–137. doi:10.1007/978-3-319-68288-4_8
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 56514
Pensel M, Turhan A-Y. Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot. In: Booth R, Casini G, Varzinczak I, 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. CEUR Workshop Proceedings. CEUR-WS.org; 2017:44–57.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 56515
Pensel M, Turhan A-Y. Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In: Balduccini M, Janhunen T, eds. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Vol 10377. Lecture Notes in Computer Science. Springer; 2017:78–84. doi:10.1007/978-3-319-61660-5_9
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 56513
Koopmann P, Hähnel M, Turhan A-Y. Energy-Efficiency of OWL Reasoners - Frequency Matters. In: Wang Z, Turhan A-Y, Wang K, Zhang X, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol 10675. Lecture Notes in Computer Science. Springer; 2017:86–101. doi:10.1007/978-3-319-70682-5_6
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 56512
Baader F, Koopmann P, Turhan A-Y. Using Ontologies to Query Probabilistic Numerical Data. In: Dixon C, Finger M, eds. Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Vol 10483. Lecture Notes in Computer Science. Springer; 2017:77–94. doi:10.1007/978-3-319-66167-4_5
LibreCat | DOI
 

Filters and Search Terms

(person=104470)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed