Skip to Main content Skip to Navigation
Conference papers

Computing Minimal Projection Modules for ELHr -Terminologies

Abstract : 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.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Yue Ma Connect in order to contact the contributor
Submitted on : Friday, September 4, 2020 - 11:48:50 AM
Last modification on : Thursday, July 8, 2021 - 3:50:40 AM
Long-term archiving on: : Wednesday, December 2, 2020 - 8:26:27 PM


Files produced by the author(s)



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⟩



Record views


Files downloads