Computing Minimal Projection Modules for ELHr -Terminologies

Jieying Chen (1) , Michel Ludwig (2) , Yue Ma (1) , Dirk Walther (3)

1 LaHDAK - LRI - Données et Connaissances Massives et Hétérogènes (LRI)
2 TU Dresden - Technische Universität Dresden = Dresden University of Technology
3 MPI-MP - Max Planck Institute of Molecular Plant Physiology

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.

Domains: Computer Science [cs]; Artificial Intelligence [cs.AI]; Computer Science [cs]; Logic in Computer Science [cs.LO]

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⟩