Computing Minimal Projection Modules for ELHr -Terminologies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Computing Minimal Projection Modules for ELHr -Terminologies

Résumé

For the development of large-scale representations of knowledge , the application of methodologies and design principles becomes relevant. The knowledge may be organized in ontologies in a modular and hierarchical fashion. An upper-level (reference) ontology typically provides specifications of requirements, functions, design or standards that are to be complied with by domain ontologies for a specific task on a lower level (task ontology) in the hierarchy. Verifying whether and how specifications have been implemented by a task ontology becomes a challenge when relevant axioms of the domain ontology need to be inspected. We consider specifications to be defined using entailments of certain queries over a given vocabulary. For selecting the relevant axioms from task ontologies, we propose a novel module notion called projection module that entails the queries that follow from a reference ontology. We develop algorithms for computing minimal projection modules of Description Logic terminologies for subsumption, instance and conjunctive queries.
Fichier principal
Vignette du fichier
JELIA2019.pdf (438.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02930238 , version 1 (04-09-2020)

Identifiants

Citer

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther. Computing Minimal Projection Modules for ELHr -Terminologies. European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.355-370, ⟨10.1007/978-3-030-19570-0_23⟩. ⟨hal-02930238⟩
126 Consultations
108 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More