|
Class Summary |
| ExpressionContainmentUtil |
Utility to check if a specific operator is included in a logical expression. |
| GetRootUtil |
Utility class to extract the root/s variable/s from a WSML-DL
logical expression. |
| ItemCollectHelper |
Helper class for retrieving the concepts, instances and
attributes from logical expressions. |
| OntologyUtil |
Utility class to extract concepts, instances, relations and attributes
from a given ontology. |
| SetUtil |
Utility to check typing of sets |
| VisitorContainsCheck |
Class to check if a specified operator of a logical expression is contained in an
array of operators |