Class Summary |
BinaryImplTest |
Checks different methods of binary logical expressions |
EqualityTest |
Checks Equality Method of terms and different logical expressions |
GetRootUtilTest |
Test class for testing the utility class to get the root variable
from a WSML-DL formula. |
LogicalExpressionFactoryTest |
Interface or class description |
LogicalExpressionTestCase |
Base Test Case for Logical Expression API
provides serializer, parser, and default topEntity |
OntologyUtilTest |
Test class for testing the collection of concepts, instances, relations
and attributes via the OntologyUtil. |
QuantifiedImplTest |
Checks different methods of quantified logical expressions |
UnaryImplTest |
Checks different methods of unary logical expressions |