CVSM Bibliography, Entry [ GaKLW2011ARCOE ]

Gatens, William; Konev, Boris; Ludwig, Michel; Wolter, Frank: Versioning Based on Logical Difference for Lightweight Description Logic Terminologies; p.38-42 in: Proc. IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-11, July 18, 2011, Barcelona, Catalonia, Spain; 2011
Deskriptoren: CVSM

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 different answers. We investigate this approach for terminologies given in the description logic EL extended with role inclusions and range restrictions for three distinct types of queries: subsumption, instance, and conjunctive queries. We present an implementation, CEX2, that computes finite representations of the respective difference between terminologies.