Efficient Dependency Analysis for Rule-Based Ontologies

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

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.

Details

OriginalspracheEnglisch
TitelThe Semantic Web – ISWC 2022
Redakteure/-innenUlrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten267 - 283
Seitenumfang17
ISBN (elektronisch)978-3-031-19433-7
ISBN (Print)978-3-031-19432-0
PublikationsstatusVeröffentlicht - 16 Okt. 2022
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 13489
ISSN0302-9743

Externe IDs

Scopus 85141666679
dblp conf/semweb/GonzalezIKM22
WOS 000886782800016
Mendeley 76d8ce9d-2b81-3e0c-952e-226f6380753d
ORCID /0000-0002-3293-2940/work/159606090

Schlagworte

Schlagwörter

  • Existential rules, Acyclicity, Rule dependencies, Ontology reasoning, Ontology-based query answering, Core stratification, Chase algorithm

Bibliotheksschlagworte