This project is a reasoner for the description logics EL+ and ELHIfR+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
VERSION HISTORY
- Version plugin posted on 2011-04-01
Several fixes and updates - Version N/A posted on 2011-04-01
Program Details
- Category: Development > Other
- Publisher: jcel.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows