org.coode.parsers.oppl

Interface TypesEnforcer

All Known Implementing Classes:

DefaultTypeEnforcer

public interface TypesEnforcer

Author:

Luigi Iannone

Method Summary

Methods

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