Efficient Dependency Analysis for Rule-Based Ontologies

From International Center for Computational Logic

Toggle side column
Efficient Dependency Analysis for Rule-Based Ontologies

Slides: Efficient Dependency Analysis for Rule-Based Ontologies

Larry González, Alex Ivliev, Markus Krötzsch, 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ò, Claudia d’Amato, eds., The Semantic Web – ISWC 2022, volume 13489 of Lecture Notes in Computer Science, 267-283, October 2022. Springer
  • KurzfassungAbstract
    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. Unfortunately, these dependencies are rarely implemented, so their potential is hardly realised in practice. We focus on two kinds of rule dependencies - positive reliances and restraints - and design and implement optimised algorithms for their efficient computation. Experiments on real-world ontologies of up to more than 100,000 rules show the scalability of our approach, which lets us realise several previously proposed applications as practical case studies. In particular, we can analyse to what extent rule-based bottom-up approaches of reasoning can be guaranteed to yield redundancy-free "lean" knowledge graphs (so-called cores) on practical ontologies.
  • Projekt:Project: CPECInnoSaleSECAIScaDS.AICfaed
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
The final publication is available at Springer.
  author    = {Larry Gonz{\'{a}}lez and Alex Ivliev and Markus Kr{\"{o}}tzsch
               and Stephan Mennicke},
  title     = {Efficient Dependency Analysis for Rule-Based Ontologies},
  editor    = {Ulrike Sattler and Aidan Hogan and Maria Keet and Valentina
               Presutti and Jo{\~{a}}o Paulo A. Almeida and Hideaki Takeda and
               Pierre Monnin and Giuseppe Pirr{\`{o}} and Claudia {d’Amato}},
  booktitle = {The Semantic Web {\textendash} {ISWC} 2022},
  series    = {Lecture Notes in Computer Science},
  volume    = {13489},
  publisher = {Springer},
  year      = {2022},
  month     = {October},
  pages     = {267-283}