The Logical Difference Problem for Description Logic Terminologies

Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we present a tractable algorithm which, given two terminologies and a signature, outputs a set of concepts, which can be regarded as the logical difference between the two terminologies. As a consequence, the algorithm can also decide whether they imply the same concept implications in the signature. A prototype implementation CEX of this algorithm is presented and experimental results based on distinct versions of Snomed ct, the Systematized Nomenclature of Medicine, Clinical Terms, are discussed. Finally, results regarding the relation to uniform interpolants and possible extensions to more expressive description logics are presented.

• Type: Conference
• Year: 2008
• Where: CADE
• Authors: Boris Konev, Dirk Walther, Frank Wolter
• Keywords: Automated Reasoning, CADE 2008, Distinct Versions, Logical Difference, Prototype Implementation Cex