org.coode.parsers.oppl

Class DefaultTypeEnforcer

java.lang.Object

org.coode.parsers.oppl.DefaultTypeEnforcer

All Implemented Interfaces:

TypesEnforcer

public class DefaultTypeEnforcer
extends Object
implements TypesEnforcer

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
DefaultTypeEnforcer(OPPLSymbolTable symbolTable, OWLEntityFactory entityFactory, ErrorListener listener)

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)
protected void	enforceType(ManchesterOWLSyntaxTree t, OWLType type) This method enforces a type only on to symbols that have been marked as create on demand ones.
void	enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classDescription, OPPLSyntaxTree subject)
void	enforceValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
ErrorListener	getErrorListener()
OWLEntityFactory	getOWLEntityFactory()
OPPLSymbolTable	getSymbolTable()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultTypeEnforcer

public DefaultTypeEnforcer(OPPLSymbolTable symbolTable,
                           OWLEntityFactory entityFactory,
                           ErrorListener listener)

Parameters:

symbolTable - symbolTable

entityFactory - entityFactory

listener - listener

Method Detail

enforceAllValueRestrictionTypes

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

Specified by:

enforceAllValueRestrictionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceConjunctionTypes

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

Specified by:

enforceConjunctionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

conjuncts - conjuncts

enforceDifferentIndividualsAxiomTypes

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

Specified by:

enforceDifferentIndividualsAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

enforceDisjointWithAxiomTypes

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

Specified by:

enforceDisjointWithAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

lhs - lhs

rhs - rhs

enforceDisjunctionTypes

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

Specified by:

enforceDisjunctionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

disjuncts - disjuncts

enforceDomainAxiomTypes

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

Specified by:

enforceDomainAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

classDescription - classDescription

enforceEquivalentToAxiomTypes

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

Specified by:

enforceEquivalentToAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

lhs - lhs

rhs - rhs

enforceExactCardinalityRestrictionTypes

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

Specified by:

enforceExactCardinalityRestrictionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceFunctionalPropertyAxiomTypes

public void enforceFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                                OPPLSyntaxTree p)

Specified by:

enforceFunctionalPropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceInverseFunctionalPropertyAxiomTypes

public void enforceInverseFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                                       OPPLSyntaxTree p)

Specified by:

enforceInverseFunctionalPropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceInverseObjectPropertyTypes

public void enforceInverseObjectPropertyTypes(ManchesterOWLSyntaxTree parentExpression,
                                              ManchesterOWLSyntaxTree p)

Specified by:

enforceInverseObjectPropertyTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceIrreflexivePropertyAxiomTypes

public void enforceIrreflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                                 OPPLSyntaxTree p)

Specified by:

enforceIrreflexivePropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceIverserOfAxiomTypes

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

Specified by:

enforceIverserOfAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

anotherProperty - anotherProperty

enforceMaxCardinalityRestrictionTypes

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

Specified by:

enforceMaxCardinalityRestrictionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceMinCardinalityRestrictionTypes

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

Specified by:

enforceMinCardinalityRestrictionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceNegatedAssertionTypes

public void enforceNegatedAssertionTypes(ManchesterOWLSyntaxTree parentExpression,
                                         ManchesterOWLSyntaxTree assertion)

Specified by:

enforceNegatedAssertionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

assertion - assertion

enforceNegatedClassExpression

public void enforceNegatedClassExpression(ManchesterOWLSyntaxTree parentExpression,
                                          ManchesterOWLSyntaxTree classExpression)

Specified by:

enforceNegatedClassExpression in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

classExpression - classExpression

enforceOneOfTypes

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

Specified by:

enforceOneOfTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

individuals - individuals

enforceType

protected void enforceType(ManchesterOWLSyntaxTree t,
                           OWLType type)

This method enforces a type only on to symbols that have been marked as create on demand ones. In OPPL syntax those symbols are denoted by an exclamation mark prefix.

Parameters:

t - t

type - type

enforcePropertyChainTypes

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

Specified by:

enforcePropertyChainTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpressions - propertyExpressions

enforceRangeAxiomTypes

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

Specified by:

enforceRangeAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

range - range

enforceReflexivePropertyAxiomTypes

public void enforceReflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                               OPPLSyntaxTree p)

Specified by:

enforceReflexivePropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceRoleAssertionAxiomTypes

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

Specified by:

enforceRoleAssertionAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

subject - subject

property - property

object - object

enforceSameIndividualsAxiomTypes

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

Specified by:

enforceSameIndividualsAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

enforceSomeValueRestrictionTypes

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

Specified by:

enforceSomeValueRestrictionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

filler - filler

enforceSubClassOfAxiomTypes

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

Specified by:

enforceSubClassOfAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

subClass - subClass

superClass - superClass

enforceSubPropertyAxiomTypes

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

Specified by:

enforceSubPropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

aProperty - aProperty

anotherProperty - anotherProperty

enforceSymmetricPropertyAxiomTypes

public void enforceSymmetricPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                               OPPLSyntaxTree p)

Specified by:

enforceSymmetricPropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceTransitivePropertyAxiomTypes

public void enforceTransitivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
                                                OPPLSyntaxTree p)

Specified by:

enforceTransitivePropertyAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

p - p

enforceTypeAssertionAxiomTypes

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

Specified by:

enforceTypeAssertionAxiomTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

classDescription - classDescription

subject - subject

enforceValueRestrictionTypes

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

Specified by:

enforceValueRestrictionTypes in interface TypesEnforcer

Parameters:

parentExpression - parentExpression

propertyExpression - propertyExpression

value - value

getSymbolTable

public OPPLSymbolTable getSymbolTable()

Returns:

the symbolTable

getOWLEntityFactory

public OWLEntityFactory getOWLEntityFactory()

Returns:

the entityFactory

getErrorListener

public ErrorListener getErrorListener()

Returns:

the errorListener