1 code implementation • 20 Jul 2022 • Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical uses of a given set of rules, e. g., in ontology-based query answering.