Código rodado
Sistema de gestión de control de fuente Mercurial y GIT de código abierto con código-comentarios ...
2.3 MB
 | Hecho ++Un reaccionador lógico de descripción para con OWL DL y OWL 2 |
| Descargar ahora | |
Hecho ++ Clasificación y resumen
Anuncio publicitario
- Licencia:
- LGPL
- Nombre del editor:
- Dmitry Tsarkov
- Sitio web del editor:
- http://code.google.com/u/113216336987078983266/
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 1.7 MB
Hecho ++ Etiquetas
Hecho ++ Descripción
FACT ++ es un reembolso de DL gratuito y de código abierto que admite OWL DL y (parcialmente) OWL 2.FACT ++ se escribió en el idioma C ++ y utiliza algoritmos de Tableaux optimizados. Las instrucciones detalladas sobre cómo usar la utilidad FACT ++ en su Mac están disponibles aquí. Factory ++ es multiplataforma y funciona en Mac OS X, Windows y Linux. Las binarias para las plataformas Windows y Linux están disponibles en la página de inicio del proyecto.
Hecho ++ Software relacionado
Sobreteineador
Terminal basado también que exporta la estructura y las propiedades del esquema de Essbase ...
651 KB
