jcel

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

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