Fact
From Semantic Web Standards
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-1-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.
Facts about FactRDF feed
| Company-or-institution | University of Manchester + |
| Modified | 9 January 2011 + |
| Programming language | C++ + |
| SW Technology | OWL + |
| Tool Name | FaCT++ + |
| Tool category | Reasoner +, Programming Environment +, and OWL Reasoner + |
| Tool homepage | http://owl.cs.manchester.ac.uk/fact%2B%2B/ + |
