Package Descriptions for Ubuntu

Browsing French translation

  1. Series xenial
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
11206 of 102806 results First • • • Last
11206.
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.
 
Description
(no translation yet)
Located in Package: fact++
11206 of 102806 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.