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. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-19570-0_23 | Lecture Notes in Artificial Intelligence |
DocType | Volume | ISSN |
Conference | 11468 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jieying Chen | 1 | 11 | 6.43 |
Michel Ludwig | 2 | 3 | 4.12 |
Yue Ma | 3 | 6 | 8.90 |
Dirk Walther | 4 | 0 | 1.69 |