Download of de.tudresden.inf.lat.jcel.jar (de.tudresden.inf.lat.jcel.jar ( external link: SF.net): 2,207,912 octetos) will begin shortly. If not so, click link on the left.

File Information

File Size
2,207,912 octetos
MD5
cd6a92c9b7bae77e208c19c3d9bf9820

Descripción del Proyecto

This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.