Publications

Larry González, Alex Ivliev, Markus Krötzsch, and Stephan Mennicke. Efficient Dependency Analysis for Rule-Based Ontologies. 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.), The Semantic Web – ISWC 2022, 267 -- 283, Springer, Berlin u. a., Germany, Oct 16, 2022. [PUMA: topic_knowledge topic_graph Acyclicity, Chase Core Existential FIS_scads Ontology Ontology-based Rule algorithm answering, dependencies, query reasoning, rules, stratification,]

Franz Baader. Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. Proceedings of the ACM Symposium on Applied Computing, 983--990, Association for Computing Machinery, Mar 27, 2023. [PUMA: topic_knowledge FIS_scads belief change, description logic, ontology repair]