alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: fact++  ]

Paket: fact++ (1.6.5~dfsg-3)

Länkar för fact++

Screenshot

Debianresurser:

Hämta källkodspaketet fact++:

Ansvarig:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med fact++

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta fact++

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
armhf 277,1 kbyte663,0 kbyte [filförteckning]