Efficient Dependency Analysis for Rule-Based Ontologies

Larry GonzálezLarry González, Alex IvlievAlex Ivliev, Markus KrötzschMarkus Krötzsch, Stephan MennickeStephan Mennicke

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., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 267-283, October 2022. Springer

Details
Bibtex

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: CPEC, InnoSale, SECAI, ScaDS.AI, Cfaed
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-031-19433-7_16.

@inproceedings{GIKM2022,
  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 = {Proc. 21st International Semantic Web Conference (ISWC 2022)},
  series    = {LNCS},
  volume    = {13489},
  publisher = {Springer},
  year      = {2022},
  month     = {October},
  pages     = {267-283},
  doi       = {10.1007/978-3-031-19433-7_16}
}