Paper Info
Title
The logical difference for the lightweight description logic EL
Abstract
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 difierent 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 polynomialtime 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 nonempty. 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.
Year
DOI
Venue
2014
10.1613/jair.3552
Journal of Artificial Intelligence Research
Keywords
DocType
Volume
developed algorithm,difierent answer,logic-based approach,distinct version,conjunctive query,instance query,distinct type,lightweight description logic,description logic el,logical difference,snomed ct,nci ontology
Journal
abs/1401.5850
Issue
ISSN
Citations 
1
Journal Of Artificial Intelligence Research, Volume 44, pages 633-708, 2012
29
PageRank 
References 
Authors
1.02
44
4
Name
Order
Citations
PageRank
Boris Konev156942.08
Michel Ludwig21137.67
Dirk Walther344123.51
Frank Wolter44454266.99