Bug#431175: ITP: fact++ -- description logic reasoner for the semantic web
Package: wnpp
Severity: wishlist
Owner: Steffen Moeller <steffen_moeller@gmx.de>
* 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.
Reply to: