Programas por jcel.sf.net

  • jcel Grátis

    Este projeto é um motivo para as lógicas de descrição EL+ e ELHIfR+. Calcula a hierarquia de subsconto do conceito. É um owl 2 EL reasoner.