Package org.deri.wsml.reasoner.dig

Class Summary
LogExprSerializeWSML2DIG This class serializes formulae within WSML logical expressions
VisitorQualifiedNumberConjunction This class handles the conjuction within qualified number restrictions that express "at most" relationships
VisitorQualifiedNumberExists This class serializes qualified number restrictions that express "at least" relationships
VisitorQualifiedNumberOr This class handles the disjunction within qualified number restrictions that express "at most" relationships
VisitorSerializeWSML2DIG This class serializes formulae within WSML logical expressions
VisitorSerializeWSMLTerms2DIG This class serializes terms within logical expressions.