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  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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element