Package uk.ac.man.cs.img.owl.inference.firstorder

Class Summary

ConsistencyChecker	An OWL consistency checker.
TPTPConverter	Given the URL of the manifest of an OWL Test, attempts to produce a TPTP file that can be used to verify the test.