CEX2.5 is a tool for computing three types of logical differences between two acyclic ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions. The types of differences that can be analysed are differences w.r.t. concept inclusions, answers to instance queries, and answers to conjunctive queries formulated over a specified signature, which are logically entailed by a given terminology T1 but not by a second terminology T2.
CEX2.5 uses the reasoner CB internally. The theoretical background behind CEX is described in the paper The Logical Diff for the Lightweight Description Logic EL by Boris Konev, Michel Ludwig, Dirk Walther and Frank Wolter.
Additional documentation can be found within the distribution of CEX2.5. An example input terminology can be downloaded from here, and an example signature file can be found here.
CEX2.5 is released under the terms and conditions of the GNU General Public Licence v3 (or later).
CEX2.5 is written in OCaml, i.e. it should be possible to compile it under any architecture or operating system for which OCaml is available, in particular Linux. The source code and a x86 binary can be downloaded by using the links given below. The binary was compiled under Fedora 13.
| File | SHA1 Checksum |
|---|---|
| cex-2.5-src.tar.gz | d8e084870a29f57fa0008fa6656c13a636373999 |
| cex-2.5-i686.tar.gz | e47a6170ac68e46544edca45d23000187efe6eee |