# Source: fact++
# Package: fact++
# Versions: fact++ (1.6.5~dfsg-2), fact++ (1.6.5~dfsg-3), fact++ (1.6.5~dfsg-3+b1), fact++ (1.6.5~dfsg-3+b2), fact++ (1.8.2+dfsg-1)
# This Description is active
# Prioritize: 47
Description: 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.
Description-cs: <trans>
 <trans>

# other Descriptions of the fact++ package with a translation in cs:
#