Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

WonderWeb