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: FIS_scads Acyclicity, Ontology-based Ontology Existential query stratification, Chase reasoning, topic_knowledge topic_graph dependencies, Rule answering, Core algorithm rules,]