Enviar software

Programas por jcel.sf.net

  • jcel Livre

    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.