CEL
From semanticweb.org
| 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.
