CEL :: a polynomial-time Classifier for OWL 2 EL

Description

CEL comes with a very simple interactive interface that provides users with all essential functionalities, including interactive help system. Developing CEL is ongoing work. We aim at pushing its expressive power to the logic EL , with which one can express, among other things, disjoint concepts, concrete domains, and nominals.

NEWS: A beta version of CEL 1.0 has now been released! A few minor bugs have been fixed and some interesting features have been integrated. New features include role domain and range constraints, role reflxivity, ABox, more powerful subsumption queries (no longer limited to named concepts), and a weak form of incremental classification. Refer to the CEL manual for the details.

Original URL

http://lat.inf.tu-dresden.de/systems/cel/

http://lat.inf.tu-dresden.de/systems/cel/