An Efficient Algorithm for Reasoning over OWL EL Ontologies with Nominal Schemas - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2022

An Efficient Algorithm for Reasoning over OWL EL Ontologies with Nominal Schemas

Résumé

Nominal schemas have been proposed as an extension to Description Logics (DL), the knowledge representation paradigm underlying the Web Ontology Language (OWL). They provide for a very tight integration of DL and rules. Nominal schemas can be understood as syntactic sugar on top of OWL. However, this naive perspective leads to inefficient reasoning procedures. In order to develop an efficient reasoning procedure for the language ELV++, which results from extending the OWL profile language OWL EL with nominal schemas, we propose a transformation from ELV++ ontologies into Datalog-like rule programs that can be used for satisfiability checking and assertion retrieval. The use of this transformation enables the use of powerful Datalog engines to solve reasoning tasks over ELV++ ontologies. We implement and then evaluate our approach on several real-world, data-intensive ontologies, and find that it can outperform state-of-the-art reasoners such as Konclude and ELK. As a lesser side result we also provide a self-contained description of a rule-based algorithm for ELV++, which does not require a normal form transformation.
Fichier principal
Vignette du fichier
2022-JLC.pdf (498.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03833721 , version 1 (19-12-2022)

Identifiants

Citer

David Carral, Joseph Zalewski, Pascal Hitzler. An Efficient Algorithm for Reasoning over OWL EL Ontologies with Nominal Schemas. Journal of Logic and Computation, 2022, 33 (1), pp.exac032. ⟨10.1093/logcom/exac032⟩. ⟨hal-03833721⟩
99 Consultations
77 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More