Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Computing Minimal Projection Modules for Conjunctive Queries

 
: Chen, Jieying; Ludwig, Michel; Ma, Yue; Walther, Dirk

:
Fulltext (PDF; )

Ortiz, M.:
31st International Workshop on Description Logics, DL 2018. Proceedings. Online resource : Co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th to 29th, 2018
Tempe/Ariz., 2018 (CEUR Workshop Proceedings 2211)
http://ceur-ws.org/Vol-2211/
Paper 12, 13 pp.
International Workshop on Description Logics (DL) <31, 2018, Tempe/Ariz.>
International Conference on Principles of Knowledge Representation and Reasoning (KR) <16, 2018, Tempe/Ariz.>
English
Conference Paper, Electronic Publication
Fraunhofer IVI ()
ontologies

Abstract
We consider the problem of extracting modules of an ontology that contains the knowledge as represented by a second ontology. The knowledge to be preserved is specified using entailment of conjunctive queries over a given vocabulary. We propose a novel module notion called projection module that preserves the answers to conjunctive queries as they follow from a reference ontology. We present an algorithm for computing minimal projection modules for conjunctive queries. As target and reference ontology we take ELHr-terminologies. The algorithm is based on simulation notions developed for detecting logical differences between ELHr-terminologies.

: http://publica.fraunhofer.de/documents/N-537390.html