Publications

Franz Baader, Francesco Kriegel, and Adrian Nuradiansyah. Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia, 974--982, Association for Computing Machinery, 2023. [PUMA: area_methods topic_knowledge]

Franz Baader, Francesco Kriegel, and Adrian Nuradiansyah. Error-Tolerant Reasoning in ℰℒ w.r.t.\ Optimal ABox Repairs (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2--4, 2023, (3515)CEUR-WS.org, 2023. [PUMA: area_methods topic_knowledge]

Franz Baader, Patrick Koopmann, and Francesco Kriegel. Optimal Repairs in the Description Logic ℰℒ Revisited (Extended Version). 23-03Dresden, Germany, 2023. [PUMA: area_methods topic_knowledge]

Franz Baader, Patrick Koopmann, and Francesco Kriegel. Optimal Repairs in the Description Logic ℰℒ Revisited. Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20--22, 2023, Dresden, Germany, (14281):11--34, Springer, 2023. [PUMA: area_methods topic_knowledge]

Francesco Kriegel. Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18--21, 2024, (3739)CEUR-WS.org, 2024. [PUMA: area_methods topic_knowledge]