To tackle the OWL 2 computational complexity (double exponential in time for the worst case), the FaCT++ presents persistent and incremental reasoning. In the persistent mode, FaCT++ saves the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback