|
FaCT++ is an implementation of an OWL-Lite reasoner. It is a new generation of the well-known FaCT reasoner. It uses the established FaCT algorithms, but with a different internal architecture.
Activity Percentile: 0% View project Statistics or Activity. View list of RSS feeds available for this project  |
|
|||||||||
|
|
|||||||||||||||||||
Project Home Page [ 149 Projects | 889 Users ] [ Site Feedback ][ Contact Information ]
Sponsored by BBN Technologies | http://www.bbn.com