Browse wiki
| FaCT++ |
| Affiliation | University of Manchester + |
|---|---|
| Documentation URL | http://owl.man.ac.uk/documentation.shtml + |
| Follows | FaCT + |
| Has author | Dmitry Tsarkov + , Ian Horrocks. + |
| Homepage | http://owl.man.ac.uk/factplusplus/ + |
| License | LGPL + |
| Name | FaCT++ + |
| Release date | 7 December 2011 + |
| Software URL | http://code.google.com/p/factplusplus/downloads/list + |
| Source URL | http://code.google.com/p/factplusplus/source/checkout + |
| Status | stable + |
| Version | 1.5.3 + |
| Categories | Tool + , Reasoner + |
| Modification dateThis property is a special property in this wiki. | 14 January 2012 21:47:09 + |
| hide properties that link here |
| No properties link to this page. |