jcel

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos

Este projeto é um raciocínio para as lógicas de descrição EL+ e ELHIfR+. Ele calcula a hierarquia de subsumption conceito. É um raciocínio OWL 2 EL.

história da versão

  • Versão plugin postado em 2011-04-01
    Várias correções e atualizações
  • Versão N/A postado em 2011-04-01

Detalhes do programa