Fact
FaCT++
| Name of the tool: | FaCT++ |
|---|---|
| Home page: | http://owl.cs.manchester.ac.uk/fact++/ |
| Date of latest release: | |
| Programming language(s) that can be used with the tool: | C++ |
| Relevant semantic web technologies: | OWL |
| Categories: | Reasoner, Programming Environment, OWL Reasoner |
| See also: | |
| Public mailing list: | |
| Preferred project URI: | |
| DOAP reference: | |
| Company or institution: | University of Manchester |
(Tool description last modified on 2011-01-9.)
Description
FaCT++ is an OWL DL Reasoner implemented in C++. It is a tableaux-based reasoner for expressive Description Logics (DL). It covers OWL and OWL 2 (lacks support for key constraints and some datatypes) DL-based ontology languages. It can be used as a standalone DIG reasoner, or as a back-end reasoner for the OWL API-based application. Now it is used as one of the default reasoners in the Protégé OWL editor.