The Logical Difference for the Lightweight Description Logic EL

01/23/2014
by   Boris Konev, et al.
0

We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that receive different answers. We investigate this approach for terminologies given in the description logic EL extended with role inclusions and domain and range restrictions for three distinct types of queries: subsumption, instance, and conjunctive queries. In all three cases, we present polynomial-time algorithms that decide whether two terminologies give the same answers to queries over a given vocabulary and compute a succinct representation of the difference if it is non- empty. We present an implementation, CEX2, of the developed algorithms for subsumption and instance queries and apply it to distinct versions of Snomed CT and the NCI ontology.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

09/20/2017

Exact Learning of Lightweight Description Logic Ontologies

We study the problem of learning description logic (DL) ontologies in An...
04/01/2020

Recommandation ontologique multicritère pour la métrologie

Matchmaking and information ranking are helping process for users, by of...
12/08/2010

First steps in the logic-based assessment of post-composed phenotypic descriptions

In this paper we present a preliminary logic-based evaluation of the int...
08/08/2018

Relaxing and Restraining Queries for OBDA

In ontology-based data access (OBDA), ontologies have been successfully ...
05/23/2019

Hypothetical answers to continuous queries over data streams

Continuous queries over data streams may suffer from blocking operations...
01/31/2019

Query Inseparability for ALC Ontologies

We investigate the problem whether two ALC ontologies are indistinguisha...
01/18/2014

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

To achieve scalability of query answering, the developers of Semantic We...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.