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 (current)
- 2
- 3
- 4
- 5
2023 | Conference Paper | LibreCat-ID: 56096
Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases.” ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), edited by Kobi Gal et al., vol. 372, IOS Press, 2023, pp. 708–715, doi:10.3233/FAIA230335.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models.” Logics in Artificial Intelligence, Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-43619-2_36.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
Turhan, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.” KI - Künstliche Intelligenz, vol. 36, no. 1, Springer Science and Business Media LLC, 2022, pp. 1–4, doi:10.1007/s13218-022-00758-6.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Rational Defeasible Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, edited by Ofer Arieli et al., vol. 3197, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori, Guido, and Anni-Yasmin Turhan, editors. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Springer, 2022, doi:10.1007/978-3-031-21541-4.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, edited by Jiman Hong et al., ACM, 2022, pp. 903–910, doi:10.1145/3477314.3507136.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022, pp. 162–192, doi:10.1017/S1471068421000466.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” 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, AAAI Press, 2021, pp. 6340–6348, doi:10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput., vol. 33, no. 6, 2021, pp. 885–921, doi:10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” 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, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
Baader, Franz, et al. “Semantic Technologies for Situation Awareness.” Künstliche Intell., vol. 34, no. 4, 2020, pp. 543–550, doi:10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 56490
Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description Logics - Investigating the Case of Transductions.” 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, edited by Christoph Beierle et al., vol. 2680, CEUR-WS.org, 2020, pp. 69–82.
LibreCat
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
- 1 (current)
- 2
- 3
- 4
- 5