All Unit Test Classes

Test Suite

ConsistencyTest_ETC2

ImportEntailmentTest_ETC2

InconsistencyTest_ETC2

NegativeEntailmentTest_ETC1

NegativeEntailmentTest_ETC2

OWLforOWLTest_ETC2

PositiveEntailmentTest_ETC1

PositiveEntailmentTest_ETC2

PositiveParserTest_ETC1