Efficient Dependency Analysis for Rule-Based Ontologies

Larry González, Alex Ivliev, Markus Krötzsch +1

Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical us…