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.