Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Computing Minimal Projection Modules for ELHr-Terminologies

 
: Chen, J.; Ludwig, M.; Ma, Y.; Walther, D.

:

Calimeri, F.:
Logics in Artificial Intelligence. 16th European Conference, JELIA 2019. Proceedings : Rende, Italy, May 7-11, 2019
Cham: Springer Nature, 2019 (Lecture Notes in Artificial Intelligence 11468)
ISBN: 978-3-030-19569-4 (Print)
ISBN: 978-3-030-19570-0 (Online)
S.355-370
European Conference on Logics in Artificial Intelligence (JELIA) <16, 2019, Rende>
Englisch
Konferenzbeitrag
Fraunhofer IVI ()

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.

: http://publica.fraunhofer.de/dokumente/N-629083.html