Model-theoretic inseparability and modularity of description logic ontologies
نویسندگان
چکیده
The aim of this paper is to introduce and study model-theoretic notionsof modularity in description logic and related reasoning problems. Our ap-proach is based on a generalisation of logical equivalence that is called model-theoretic inseparability. Two TBoxes are inseparable w.r.t. a vocabulary Σif they cannot be distinguished by the Σ-reducts of their models and thuscan equivalently be replaced by one another in any application where onlyvocabulary items from Σ are relevant. We study in-depth the complexityof deciding inseparability for the description logics EL and ALC and theirextensions with inverse roles. We then discuss notions of modules of a TBoxbased on model-theoretic inseparability and develop algorithms for extractingminimal modules from acyclic TBoxes. Finally, we provide an experimen-tal evaluation of our module extraction algorithm based on the large-scalemedical TBox Snomed ct.
منابع مشابه
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What ‘safe replacement’ means depends on the intended application of the ontology. If, for example, it is used to query data, then...
متن کاملLogic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of ‘lightweight’ description logics designed for data-intensive applications. The main feature of our approach is that we take into account the vocabulary (= signature) with respect to which one wants to compare ontologies. Five variants of difference...
متن کاملDeciding inseparability and conservative extensions in the description logic EL
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is to decide whether an extension of an ontology is conservative. By varying the language in which ontologies are formulated and the query language that is used to describe consequences, we obtain differ-ent versions o...
متن کاملConjunctive Query Inseparability of OWL 2 QL TBoxes
The OWL2 profile OWL2QL, based on the DL-Lite family of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge for answering queries over data. We investigate the corresponding notion of query inseparability (or equivalence...
متن کاملQuery Inseparability by Games
We investigate conjunctive query inseparability of description logic knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange. We develop a game-theoretic technique for checking query inseparability of KBs expressed in fragments of Horn-ALCHI, and show a number of complexity results ranging from P to E...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 203 شماره
صفحات -
تاریخ انتشار 2013