Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Elly

Elly

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

Elly é um razoeiro para a verificação de implicação e satisfiabilidade das bases de conhecimento ELP. É escrito em java e conta com o raciocínio IRIS Datalog (https://sourceforge.net/projects/iris-reasoner) para sua implementação.

história da versão

  • Versão Alpha%20Release postado em 2010-01-10
    Várias correções e atualizações
  • Versão N/A postado em 2010-01-10

Detalhes do programa

Programas Relacionados

  • Stakeout Livre

    Um simples jogo de estratégia de turn-base escrito em Java significava ser usado como um auxílio de ensino para um curso introdutório de ciência da computação. O jogo incorpora o conceito de vigiar e manter seu território com

  • Gamoos Arabic English Dict Avaliação gratuita

    Você também está procurando por dicionário árabe-inglês? Quer verificar palavras e não tomar fluxo? Se preocupar com o conteúdo do dicionário autoritário? A hora de checar a notícia? Precisa carregar as novas palavr

  • Trade System Development Platform Livre

    O TSDP é uma estrutura para projetar e pesquisar sistemas comerciais FOREX.

  • guidata Livre

    Com base no módulo de ligação Qt Python PyQt4, guidata é uma biblioteca Python que gera interfaces gráficas de usuário para fácil edição e exibição de conjuntos de dados. Ele também fornece ajudantes e ferramentas de desenvol

  • panFMP Livre

    panFMP é uma estrutura genérica adequada para metadados XML colhidos que é pesquisável através do Apache Lucene sem qualquer RDBMS adicional. Os campos podem ser definidos pelo XPath, permitindo consultas de texto completas e

  • Moon Phase Calendar Avaliação gratuita

    O Calendário de Fase da Lua OpenFermenter que mostra um mês inteiro de uma só vez da fase da lua. Qualquer mês entre janeiro de 1800 e dezembro de 2100.Os cálculos e equações usados para gerar este Calendário de Fase luna

  • How to draw face Livre

    Aprenda a desenhar o Face. Torne-se um Artista aprendendo a desenhar. Desenhe os números aprendendo a desenhar em etapas, passando por cada etapa do desenho da arte que deseja aprender. Aprenda Passo a Passo sobre como desenh

  • mouseglove Livre

    Mouse-Glove é um projeto completo de código aberto da próxima geração de mouses.Junte-se ao projeto ajudando a desenvolver luva de rato.

  • Talisman Livre

    Talismã é um intérprete para uma linguagem de marcação lógica. Esta linguagem contém o conteúdo e a lógica de uma interface de usuário baseada em Web (ou, no futuro, Java Swing), incluindo tipos de dados arbitrários e ações d

  • Owlie Boo Animals Avaliação gratuita

    VERSÃO EM INGLÊSOs criadores do owlieboo.com, um site com jogos educativos para bebês, crianças e crianças pequenas, estão felizes em apresentar animais. É um jogo divertido e simples para as crianças mais novas em casa.