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
- Categoría: Desarrollo > Otro
- Editor: jcel.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows