всички настройки
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Източник: fact++  ]

Пакет: fact++ (1.6.5~dfsg-2)

Връзки за fact++

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник fact++.

Отговорник:

Външни препратки:

Подобни пакети:

description logic reasoner for the semantic web

FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. The tool is probably best known for its compatibility with the tool Protege that helps to formally represent semantics.

Други пакети, свързани с fact++

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на fact++

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
armhf 275,4 кБ689,0 кБ [списък на файловете]