jcel

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

ABOUT jcel

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.