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, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” 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, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 56489
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).” 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, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
LibreCat
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux, Camille, et al. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” Semantic Web, vol. 10, no. 3, 2019, pp. 475–521, doi:10.3233/SW-180337.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz, Carsten, et al. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, edited by Carsten Lutz et al., vol. 11560, Springer, 2019, pp. 1–14, doi:10.1007/978-3-030-22102-7_1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff, Clemens, et al. “Ontology-Mediated Probabilistic Model Checking.” Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, vol. 11918, Springer, 2019, pp. 194–211, doi:10.1007/978-3-030-34968-4_11.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa, Christian, et al. “Practical Query Rewriting for DL-Lite with Numerical Predicates.” GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, edited by Diego Calvanese and Luca Iocchi, vol. 65, EasyChair, 2019, pp. 15–27, doi:10.29007/GQLL.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo, Axel-Cyrille Ngonga, et al. “Congenial Benchmarking of RDF Storage Solutions.” Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, edited by Mayank Kejriwal et al., ACM, 2019, pp. 213–221, doi:10.1145/3360901.3364429.
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz, Carsten, et al., editors. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Springer, 2019, doi:10.1007/978-3-030-22102-7.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel, Friedrich, et al. Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. Edited by Paul Fodor et al., 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz, Thomas, et al., editors. 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
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann, Frank, and Anni-Yasmin Turhan, editors. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Springer, 2018, doi:10.1007/978-3-030-00111-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza, Rafael, et al. “Query Answering for Rough EL Ontologies.” Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, edited by Michael Thielscher et al., AAAI Press, 2018, pp. 399–408.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description Logic \(Ε\)\(\mathscrL\) - Computing Standard Inferences under Rational and Relevant Semantics.” Int. J. Approx. Reason., vol. 103, 2018, pp. 28–70, doi:10.1016/J.IJAR.2018.08.005.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.” 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, edited by Magdalena Ortiz and Thomas Schneider, vol. 2211, CEUR-WS.org, 2018.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz, Thomas, et al. “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.” FLAP, vol. 4, no. 7, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in DL-Lite over Inconsistent Data.” The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, edited by Claudia d’Amato et al., vol. 10587, Springer, 2017, pp. 121–137, doi:10.1007/978-3-319-68288-4_8.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot.” 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, edited by Richard Booth et al., vol. 1872, CEUR-WS.org, 2017, pp. 44–57.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, edited by Marcello Balduccini and Tomi Janhunen, vol. 10377, Springer, 2017, pp. 78–84, doi:10.1007/978-3-319-61660-5_9.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
Koopmann, Patrick, et al. “Energy-Efficiency of OWL Reasoners - Frequency Matters.” Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, edited by Zhe Wang et al., vol. 10675, Springer, 2017, pp. 86–101, doi:10.1007/978-3-319-70682-5_6.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
Baader, Franz, et al. “Using Ontologies to Query Probabilistic Numerical Data.” Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, edited by Clare Dixon and Marcelo Finger, vol. 10483, Springer, 2017, pp. 77–94, doi:10.1007/978-3-319-66167-4_5.
LibreCat
| DOI
- 1
- 2 (current)
- 3
- 4
- 5