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: topic_knowledge area_methods]
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies (Extended Version). 24-02Dresden, Germany, 2024. [PUMA: topic_knowledge area_methods]
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, (14589):3--22, Springer, 2024. [PUMA: topic_knowledge area_methods]
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. July 2024. [PUMA: topic_knowledge imported]
Contractions Based on Optimal Repairs. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 94–105, International Joint Conferences on Artificial Intelligence Organization, November 2024. [PUMA: topic_knowledge area_methods] URL
The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version). 2024. [PUMA: topic_knowledge imported] URL
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. SIGAPP Appl. Comput. Rev., (24)3:5–17, Association for Computing Machinery, New York, NY, USA, Oct 8, 2024. [PUMA: topic_knowledge imported] URL
Standpoint Linear Temporal Logic. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311--321, IJCAI Inc, 2023. [PUMA: topic_knowledge imported]
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, and Claudia d'Amato (Eds.), Proceedings of the 21st International Semantic Web Conference (ISWC 22), (13489)Springer, October 2022. [PUMA: topic_knowledge imported]
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258--3267, ijcai.org, 2023. [PUMA: topic_knowledge imported]