Revision history of "Fact"
Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Facts about "Fact"
|Company-or-institution||University of Manchester +|
|Modified||9 January 2011 +|
|Programming language||C++ +|
|SW Technology||OWL +|
|Tool Name||FaCT++ +|
|Tool category||Category:Reasoner +, Category:Programming Environment + and Category:OWL Reasoner +|
|Tool homepage||http://owl.cs.manchester.ac.uk/fact%2B%2B/ +|