public interface TypesEnforcer
void enforceSubClassOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
parentExpression - parentExpressionsubClass - subClasssuperClass - superClassvoid enforceEquivalentToAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
parentExpression - parentExpressionlhs - lhsrhs - rhsvoid enforceIverserOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, OPPLSyntaxTree anotherProperty)
parentExpression - parentExpressionp - panotherProperty - anotherPropertyvoid enforceDisjointWithAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
parentExpression - parentExpressionlhs - lhsrhs - rhsvoid enforceSubPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree aProperty, ManchesterOWLSyntaxTree anotherProperty)
parentExpression - parentExpressionaProperty - aPropertyanotherProperty - anotherPropertyvoid enforceRoleAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree subject, ManchesterOWLSyntaxTree property, ManchesterOWLSyntaxTree object)
parentExpression - parentExpressionsubject - subjectproperty - propertyobject - objectvoid enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classDescription, OPPLSyntaxTree subject)
parentExpression - parentExpressionclassDescription - classDescriptionsubject - subjectvoid enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, ManchesterOWLSyntaxTree classDescription)
parentExpression - parentExpressionp - pclassDescription - classDescriptionvoid enforceRangeAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, ManchesterOWLSyntaxTree range)
parentExpression - parentExpressionp - prange - rangevoid enforceSameIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree anIndividual, OPPLSyntaxTree anotherIndividual)
parentExpression - parentExpressionanIndividual - anIndividualanotherIndividual - anotherIndividualvoid enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree anIndividual, OPPLSyntaxTree anotherIndividual)
parentExpression - parentExpressionanIndividual - anIndividualanotherIndividual - anotherIndividualvoid enforceFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceInverseFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceIrreflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceReflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceSymmetricPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceTransitivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceNegatedAssertionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree assertion)
parentExpression - parentExpressionassertion - assertionvoid enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... disjuncts)
parentExpression - parentExpressiondisjuncts - disjunctsvoid enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... propertyExpressions)
parentExpression - parentExpressionpropertyExpressions - propertyExpressionsvoid enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... conjuncts)
parentExpression - parentExpressionconjuncts - conjunctsvoid enforceNegatedClassExpression(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classExpression)
parentExpression - parentExpressionclassExpression - classExpressionvoid enforceInverseObjectPropertyTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree p)
parentExpression - parentExpressionp - pvoid enforceSomeValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
parentExpression - parentExpressionpropertyExpression - propertyExpressionfiller - fillervoid enforceAllValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
parentExpression - parentExpressionpropertyExpression - propertyExpressionfiller - fillervoid enforceMinCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
parentExpression - parentExpressionpropertyExpression - propertyExpressionfiller - fillervoid enforceMaxCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
parentExpression - parentExpressionpropertyExpression - propertyExpressionfiller - fillervoid enforceExactCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
parentExpression - parentExpressionpropertyExpression - propertyExpressionfiller - fillervoid enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... individuals)
parentExpression - parentExpressionindividuals - individualsvoid enforceValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
parentExpression - parentExpressionpropertyExpression - propertyExpressionvalue - valueCopyright © 2015 The University of Manchester. All Rights Reserved.