CEL

From semanticweb.org.edu
Jump to: navigation, search
CEL
lat.inf.tu-dresden.de/systems/cel/
Status: beta
Last release: 1.0 Build 8 (February 5, 2009)
License: Apache License
Affiliation: Technische Universität Dresden
Web resources

CEL is a reasoner for the polynomial description logic EL+, which is supported by the upcoming OWL 2 standard and in part also by the existing OWL DL. The most distinguishing feature of CEL is that, unlike many other DL reasoners, it implements a polynomial-time algorithm.