org.coode.parsers.oppl

Interface TypesEnforcer

All Known Implementing Classes:

DefaultTypeEnforcer

public interface TypesEnforcer

Author:

Luigi Iannone

Method Summary

Modifier and Type	Method and Description
void	enforceAllValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... conjuncts)
void	enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree anIndividual, OPPLSyntaxTree anotherIndividual)
void	enforceDisjointWithAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
void	enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... disjuncts)
void	enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, ManchesterOWLSyntaxTree classDescription)
void	enforceEquivalentToAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
void	enforceExactCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	enforceFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
void	enforceInverseFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
void	enforceInverseObjectPropertyTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree p)
void	enforceIrreflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
void	enforceIverserOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, OPPLSyntaxTree anotherProperty)
void	enforceMaxCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	enforceMinCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	enforceNegatedAssertionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree assertion)
void	enforceNegatedClassExpression(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classExpression)
void	enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... individuals)
void	enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... propertyExpressions)
void	enforceRangeAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, ManchesterOWLSyntaxTree range)
void	enforceReflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
void	enforceRoleAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree subject, ManchesterOWLSyntaxTree property, ManchesterOWLSyntaxTree object)
void	enforceSameIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree anIndividual, OPPLSyntaxTree anotherIndividual)
void	enforceSomeValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	enforceSubClassOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
void	enforceSubPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree aProperty, ManchesterOWLSyntaxTree anotherProperty)
void	enforceSymmetricPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
void	enforceTransitivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p)
void	enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classDescription, OPPLSyntaxTree subject)
void	enforceValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)

Method Detail

enforceSubClassOfAxiomTypes

void enforceSubClassOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                 ManchesterOWLSyntaxTree subClass,
                                 ManchesterOWLSyntaxTree superClass)

Parameters:

parentExpression - parentExpression

subClass - subClass

superClass - superClass

enforceEquivalentToAxiomTypes

void enforceEquivalentToAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                   ManchesterOWLSyntaxTree lhs,
                                   ManchesterOWLSyntaxTree rhs)

Parameters:

parentExpression - parentExpression

lhs - lhs

rhs - rhs

enforceIverserOfAxiomTypes

void enforceIverserOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                OPPLSyntaxTree p,
                                OPPLSyntaxTree anotherProperty)

Parameters:

parentExpression - parentExpression

p - p

anotherProperty - anotherProperty

enforceDisjointWithAxiomTypes

void enforceDisjointWithAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                   ManchesterOWLSyntaxTree lhs,
                                   ManchesterOWLSyntaxTree rhs)

Parameters:

parentExpression - parentExpression

lhs - lhs

rhs - rhs

enforceSubPropertyAxiomTypes

void enforceSubPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                  ManchesterOWLSyntaxTree aProperty,
                                  ManchesterOWLSyntaxTree anotherProperty)

Parameters:

parentExpression - parentExpression

aProperty - aProperty

anotherProperty - anotherProperty

enforceRoleAssertionAxiomTypes

void enforceRoleAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                    OPPLSyntaxTree subject,
                                    ManchesterOWLSyntaxTree property,
                                    ManchesterOWLSyntaxTree object)

Parameters:

parentExpression - parentExpression

subject - subject

property - property

object - object

enforceTypeAssertionAxiomTypes

void enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                    ManchesterOWLSyntaxTree classDescription,
                                    OPPLSyntaxTree subject)

Parameters:

parentExpression - parentExpression

classDescription - classDescription

subject - subject

enforceDomainAxiomTypes

void enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                             OPPLSyntaxTree p,
                             ManchesterOWLSyntaxTree classDescription)

Parameters:

parentExpression - parentExpression

p - p

classDescription - classDescription

enforceRangeAxiomTypes

void enforceRangeAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                            OPPLSyntaxTree p,
                            ManchesterOWLSyntaxTree range)

Parameters:

parentExpression - parentExpression

p - p

range - range

enforceSameIndividualsAxiomTypes

void enforceSameIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                      OPPLSyntaxTree anIndividual,
                                      OPPLSyntaxTree anotherIndividual)

Parameters:

parentExpression - parentExpression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

enforceDifferentIndividualsAxiomTypes

void enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                           OPPLSyntaxTree anIndividual,
                                           OPPLSyntaxTree anotherIndividual)

Parameters:

parentExpression - parentExpression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

enforceFunctionalPropertyAxiomTypes

void enforceFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                         OPPLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceInverseFunctionalPropertyAxiomTypes

void enforceInverseFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                                OPPLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceIrreflexivePropertyAxiomTypes

void enforceIrreflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                          OPPLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceReflexivePropertyAxiomTypes

void enforceReflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                        OPPLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceSymmetricPropertyAxiomTypes

void enforceSymmetricPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                        OPPLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceTransitivePropertyAxiomTypes

void enforceTransitivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                         OPPLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceNegatedAssertionTypes

void enforceNegatedAssertionTypes(ManchesterOWLSyntaxTree parentExpression,
                                  ManchesterOWLSyntaxTree assertion)

Parameters:

parentExpression - parentExpression

assertion - assertion

enforceDisjunctionTypes

void enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression,
                             ManchesterOWLSyntaxTree... disjuncts)

Parameters:

parentExpression - parentExpression

disjuncts - disjuncts

enforcePropertyChainTypes

void enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression,
                               ManchesterOWLSyntaxTree... propertyExpressions)

Parameters:

parentExpression - parentExpression

propertyExpressions - propertyExpressions

enforceConjunctionTypes

void enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression,
                             ManchesterOWLSyntaxTree... conjuncts)

Parameters:

parentExpression - parentExpression

conjuncts - conjuncts

enforceNegatedClassExpression

void enforceNegatedClassExpression(ManchesterOWLSyntaxTree parentExpression,
                                   ManchesterOWLSyntaxTree classExpression)

Parameters:

parentExpression - parentExpression

classExpression - classExpression

enforceInverseObjectPropertyTypes

void enforceInverseObjectPropertyTypes(ManchesterOWLSyntaxTree parentExpression,
                                       ManchesterOWLSyntaxTree p)

Parameters:

parentExpression - parentExpression

p - p

enforceSomeValueRestrictionTypes

void enforceSomeValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression,
                                      ManchesterOWLSyntaxTree propertyExpression,
                                      ManchesterOWLSyntaxTree filler)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceAllValueRestrictionTypes

void enforceAllValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression,
                                     ManchesterOWLSyntaxTree propertyExpression,
                                     ManchesterOWLSyntaxTree filler)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceMinCardinalityRestrictionTypes

void enforceMinCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression,
                                           ManchesterOWLSyntaxTree propertyExpression,
                                           ManchesterOWLSyntaxTree filler)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceMaxCardinalityRestrictionTypes

void enforceMaxCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression,
                                           ManchesterOWLSyntaxTree propertyExpression,
                                           ManchesterOWLSyntaxTree filler)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceExactCardinalityRestrictionTypes

void enforceExactCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression,
                                             ManchesterOWLSyntaxTree propertyExpression,
                                             ManchesterOWLSyntaxTree filler)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceOneOfTypes

void enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression,
                       ManchesterOWLSyntaxTree... individuals)

Parameters:

parentExpression - parentExpression

individuals - individuals

enforceValueRestrictionTypes

void enforceValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression,
                                  ManchesterOWLSyntaxTree propertyExpression,
                                  ManchesterOWLSyntaxTree value)

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

value - value