Alfred Reich
FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ is implementated using C++ in order to create a more efficient software tool
reasoner semanticweb ontology owl
Would you like to comment?
Join Diigo for a free account, or sign in if you are already a member.