Bug#431175: ITP: fact++ -- description logic reasoner for the semantic web

[Steffen Moeller <steffen_moeller@gmx.de>]

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.