RacerPro

RacerPro

Ooops
o link para download desapareceu
5.0

em 1 voto
Licença: Demonstração
Total de downloads:1
Sistema operacional:Windows 7
Latest version:2.0
Denunciar informações incorretas

Descrição

Screenshot
Imagem do ecrã

RacerPro 2.0 está presente como download na nossa biblioteca de programas. Esse software foi originalmente produzido por Racer Systems GmbH & Co. KG. O arquivo do instalador do programa é conhecido como RacerPro.exe. As seguintes versões são as mais frequentemente baixadas pelos usuários do programa: 2.0 e 1.9. O programa fica na subcategoria Ferramentas de Ciência, que fica dentro de Educação.

Do desenvolvedor:

RacerPro is a knowledge representation system that implements a highly optimized tableau calculus for a very expressive description logic.

It offers reasoning services for multiple T-boxes and for multiple A-boxes as well. The system implements the description logic ALCQHIR also known as SHIQ. This is the basic logic ALC augmented with qualifying number restrictions, role hierarchies, inverse roles, and transitive roles.

Confira mais programas, tais como Omni-Rig, que podem ser relacionados a RacerPro.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto:
Informação atualizada em:
Últimas atualizações
SWAT-CUP
SWAT-CUP

Ferramentas de Ciência

Philips DICOM Viewer
Philips DICOM Viewer

Saúde & Boa Forma

Faça download mais fácil Faça download mais fácil
Conheça o FDM
Suporte a complementos Você pode obter complementos que baixam arquivos/vídeos de sites arbitrários.