jcel

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

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.

historial de versiones

  • Versión plugin publicado en 2011-04-01
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-04-01

Detalles del programa