Package: wnpp Severity: wishlist Owner: Steffen Moeller <[EMAIL PROTECTED]>
* Package name : fact++ Version : 1.1.7 Upstream Author : Dmitry Tsarkov <tsarkov A cs.man.ac.uk> * URL : http://code.google.com/p/factplusplus/ * License : GPL Programming Lang: C, C++, Java 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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
