Download of jcel-0.12.0.zip (jcel-0.12.0.zip ( external link: SF.net): 2,825,201 bytes) will begin shortly. If not so, click link on the left.

檔案信息

檔案大小
2,825,201 bytes
MD5
c1c8d227b8a6604f31973375fe24c29f

專案描述

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