@inproceedings{54e587e44b3c449596eda7176e72b7a3,
title = "Computing minimal projection modules for conjunctive queries",
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.",
author = "Jieying Chen and Michel Ludwig and Yue Ma and Dirk Walther",
year = "2018",
language = "English",
volume = "2211",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
editor = "M. Ortiz and T. Schneider",
booktitle = "DL 2018 - Proceedings of the 31st International Workshop on Description Logics, co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018",
note = "31st International Workshop on Description Logics, DL 2018 ; Conference date: 27-10-2018 Through 29-10-2018",
}