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,]