From Semantic Web Standards
Jump to: navigation, search


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.)


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.