Submit Software

PROGRAMS BY jcel.sf.net

  • jcel Free

    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.