The Logical Difference for the Lightweight Description Logic EL
The Logical Difference for the Lightweight Description Logic EL
复制标题
DOI：
10.1613/jair.3552
复制
发表时间：
2012-05
期刊：
影响因子：
--
通讯作者：
B. Konev;Michel Ludwig;Dirk Walther;F. Wolter
中科院分区：
文献类型：
--
作者：
B. Konev;Michel Ludwig;Dirk Walther;F. Wolter
我们研究了一种基于逻辑的本体论版本控制方法。在这种观点下，本体为有关感兴趣的词汇表的查询提供答案。本体的两个版本之间的差异是由接收不同答案的查询集给出的。我们研究了描述逻辑EL中给出的术语的这种方法，这些术语扩展了角色包含以及针对三种不同类型查询的域和范围限制：包容、实例和联合查询。在这三种情况下，我们提出了多项式时间算法，用于确定两个术语对给定词汇表的查询是否给出相同的答案，并在非空时计算差异的简洁表示。我们提出了一个实现，CEX2，用于包容和实例查询的开发算法，并将其应用于不同版本的Snomed CT和NCI本体。
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.