Este é o aplicativo Linux chamado LillyTab, cuja versão mais recente pode ser baixada como LillyTab-1.11-SNAPSHOT-jar-with-dependencies.jar. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado LillyTab com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
Lilly Tab
Ad
DESCRIÇÃO
LillyTab é um verificador de consistência lógica de descrição modular (raciocinador) com suporte para um subconjunto de OWL / DL.
Recursos
- Integração OWLAPI
- arquitetura modular
- suporte para DL SHOF (D) (que é OWL / DL menos as restrições de número qualificado e funções inversas)
- várias otimizações (desdobramento lento, reescrita de termos de entrada, retrocesso direcionado à dependência)
- acesso documentado aos internos de representação ABox
- rastreamento e registro
Público
Desenvolvedores, Tecnologia da Informação
Interface com o usuário
Console / Terminal
Linguagem de Programação
Java
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/lillytab/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.