Computing Minimal Projection Modules for ELHr -Terminologies - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2019

Computing Minimal Projection Modules for ELHr -Terminologies


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
129 View
113 Download



Gmail Mastodon Facebook X LinkedIn More