CEL

From semanticweb.org
Revision as of 20:34, 30 August 2011 by Julian Mendez (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

Personal tools
Namespaces

Variants
Actions
Navigation
services
Toolbox