Logical Difference Computation with CEX2.5

We present a new version of the CEX versioning tool for ontologies. CEX detects logical differences between acyclic terminologies in the lightweight description logic $\mathcal{EL}$ with role inclusions and domain and range restrictions. Depending on the application, CEX outputs differences between terminologies that capture derived concept inclusions, answers to instance queries, and answers to conjunctive queries. Experiments with versions of the NCI ontology are conducted to evaluate the performance of CEX and compare the three types of differences.

[1]  Boris Konev,et al.  CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL , 2008, OWL: Experiences and Directions.

[2]  Yuan Ni,et al.  A Practical Approach for Scalable Conjunctive Query Answering on Acyclic EL+\mathcal{EL}^+ Knowledge Base , 2009, SEMWEB.

[3]  Carsten Lutz,et al.  Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.

[4]  Boris Konev,et al.  The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.

[5]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[6]  James A. Hendler,et al.  The National Cancer Institute's Thésaurus and Ontology , 2003, J. Web Semant..

[7]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[8]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[9]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[10]  Silvia Crafa,et al.  Saving Space in a Time Efficient Simulation Algorithm , 2009, ACSD.

[11]  Bijan Parsia,et al.  Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus , 2011, Description Logics.

[12]  Ian Horrocks,et al.  Supporting concurrent ontology development: Framework, algorithms and tool , 2011, Data Knowl. Eng..

[13]  Yuan Ni,et al.  A Practical Approach for Scalable Conjunctive Query Answering on Acyclic EL + Knowledge Base , 2009 .

[14]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[15]  Yuval Shahar,et al.  Representation of change in controlled medical terminologies , 1999, Artif. Intell. Medicine.

[16]  Rob J. van Glabbeek,et al.  Correcting a Space-Efficient Simulation Algorithm , 2008, CAV.

[17]  Asunción Gómez-Pérez,et al.  Change Representation For OWL 2 Ontologies , 2009, OWLED.

[18]  Boris Konev,et al.  The Logical Difference for the Lightweight Description Logic EL , 2012, J. Artif. Intell. Res..