CEL
From semanticweb.org
| CEL | |
|---|---|
| lat.inf.tu-dresden.de/systems/cel/ | |
| Status: | beta |
| Last release: | 1.0 (January 15 2008) |
| Affiliation: | Technische Universität Dresden |
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.
The current license terms of CEL are somewhat unclear. The website offers a free binary download for "evaluation and research purposes" but prohibits commercial use.
