Programas por jcel.sf.net

Este proyecto es un razonamiento para las lógicas de descripción EL+ y ELHIfR+. Calcula la jerarquía de subsumo de concepto. Es un razonador OWL 2 EL.