org.coode.parsers

Class SymbolTable

java.lang.Object

org.coode.parsers.SymbolTable

Direct Known Subclasses:

OPPLSymbolTable

public class SymbolTable
extends Object

Author:

Luigi Iannone

Field Summary

Fields

Modifier and Type	Field and Description
protected org.semanticweb.owlapi.model.OWLDataFactory	df

Constructor Summary

Constructors

Constructor and Description
SymbolTable(Scope globalScope, org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Summary

Modifier and Type	Method and Description
void	clear() clear symbols
protected OWLPropertyChain	createOWLPropertyChain(org.semanticweb.owlapi.model.OWLObjectPropertyExpression firstPropertyExpression, org.semanticweb.owlapi.model.OWLObjectPropertyExpression secondPropertyExpression, org.semanticweb.owlapi.model.OWLObjectPropertyExpression... others)
void	dispose() dispose
Set<String>	getAllCompletions(Type... types)
org.semanticweb.owlapi.model.OWLObject	getAllValueRestriction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	getAllValueRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom	getAnnotationAssertion(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree iri, ManchesterOWLSyntaxTree annotationPropertyNode, ManchesterOWLSyntaxTree object)
Type	getAnnotationAssertionType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree iri, ManchesterOWLSyntaxTree annotationPropertyNode, ManchesterOWLSyntaxTree object)
org.semanticweb.owlapi.model.OWLAxiom	getAsymmetricProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	getClassAssertionAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree description, ManchesterOWLSyntaxTree subject)
Type	getClassAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree description, ManchesterOWLSyntaxTree subject)
Set<String>	getCompletions(Type type)
org.semanticweb.owlapi.model.OWLObject	getConjunction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] conjuncts)
Type	getConjunctionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... conjuncts)
org.semanticweb.owlapi.model.OWLDataFactory	getDataFactory()
Set<Symbol>	getDefinedSymbols() Retrieves all the Symbos that have been stored in this Symbol table.
org.semanticweb.owlapi.model.OWLAxiom	getDifferentIndividualsAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
Type	getDifferentIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
org.semanticweb.owlapi.model.OWLAxiom	getDisjointAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
Type	getDisjointAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
org.semanticweb.owlapi.model.OWLObject	getDisjunction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] disjuncts)
Type	getDisjunctionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... disjuncts)
org.semanticweb.owlapi.model.OWLAxiom	getDomainAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree domain)
Type	getDomainAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree domain)
org.semanticweb.owlapi.model.OWLAxiom	getEquivalentAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
Type	getEquivalentAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
ErrorListener	getErrorListener()
org.semanticweb.owlapi.model.OWLObject	getExactCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression, int i, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	getExactCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAxiom	getFunctionalProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	getFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Scope	getGlobalScope()
org.semanticweb.owlapi.model.OWLHasKeyAxiom	getHasKey(ManchesterOWLSyntaxTree node, Set<ManchesterOWLSyntaxTree> propertyExpressions)
Type	getHasKeyType(ManchesterOWLSyntaxTree node, Set<ManchesterOWLSyntaxTree> propertyExpressions)
org.semanticweb.owlapi.model.OWLAxiom	getInverseFunctionalProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	getInverseFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	getInverseOfAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
Type	getInverseOfAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
org.semanticweb.owlapi.model.OWLObject	getInverseProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree property)
Type	getInversePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree property)
org.semanticweb.owlapi.model.OWLAxiom	getIrreflexiveProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	getIrreflexivePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLObject	getMaxCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression, int cardinality, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	getMaxCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLObject	getMinCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression, int cardinality, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	getMinCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAxiom	getNegatedAssertion(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree assertion)
Type	getNegatedAssertionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree assertion)
org.semanticweb.owlapi.model.OWLObject	getNegatedClassExpression(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree node)
Type	getNegatedClassExpressionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree node)
org.semanticweb.owlapi.model.OWLObject	getOneOf(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] individuals)
Type	getOneOfType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... individuals)
Set<String>	getOWLClassCompletions()
Set<String>	getOWLDataPropertyCompletions()
org.semanticweb.owlapi.model.OWLDatatypeRestriction	getOWLDataRange(ManchesterOWLSyntaxTree dataType, ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... facets)
OWLType	getOWLDataRangeType(ManchesterOWLSyntaxTree dataType, ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... facets)
org.semanticweb.owlapi.model.OWLFacetRestriction	getOWLFacetRestriction(ManchesterOWLSyntaxTree facet, ManchesterOWLSyntaxTree value, org.antlr.runtime.tree.CommonTree parentExpression)
OWLType	getOWLFacetRestrictionType(ManchesterOWLSyntaxTree facet, ManchesterOWLSyntaxTree value, org.antlr.runtime.tree.CommonTree parentExpression)
Set<String>	getOWLIndividualCompletions()
org.semanticweb.owlapi.model.OWLObject	getOWLObject(ManchesterOWLSyntaxTree node)
Set<String>	getOWLObjectPropertyCompletions()
Set<String>	getOWLPropertyCompletions(Type type)
org.semanticweb.owlapi.model.OWLLiteral	getOWLTypedConstant(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree value, ManchesterOWLSyntaxTree constantType)
org.semanticweb.owlapi.model.OWLLiteral	getOWLUntypedConstant(ManchesterOWLSyntaxTree value, ManchesterOWLSyntaxTree lang)
OWLPropertyChain	getPropertyChain(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] chainItems)
Type	getPropertyChainType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... chainItems)
org.semanticweb.owlapi.model.OWLAxiom	getRangeAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree range)
Type	getRangeAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree range)
org.semanticweb.owlapi.model.OWLAxiom	getReflexiveProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	getReflexivePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	getRoleAssertionAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subject, ManchesterOWLSyntaxTree property, ManchesterOWLSyntaxTree object)
Type	getRoleAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subject, ManchesterOWLSyntaxTree property, ManchesterOWLSyntaxTree object)
org.semanticweb.owlapi.model.OWLAxiom	getSameIndividualsAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
Type	getSameIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
org.semanticweb.owlapi.model.OWLObject	getSomeValueRestriction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	getSomeValueRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAxiom	getSubClassAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
Type	getSubClassAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
org.semanticweb.owlapi.model.OWLAxiom	getSubPropertyAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subProperty, ManchesterOWLSyntaxTree superProperty)
Type	getSubPropertyAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subProperty, ManchesterOWLSyntaxTree superProperty)
org.semanticweb.owlapi.model.OWLAxiom	getSymmetricProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	getSymmetricPropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	getTransitiveProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	getTransitivePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLClassExpression	getValueRestriction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
Type	getValueRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
Set<String>	match(String prefix) Retrieves a set of String representing the symbols matching with the input prefix.
protected Symbol	removeSymbol(org.antlr.runtime.Token token) Removes the Symbol corresponding to the input Token.
void	reportIllegalToken(org.antlr.runtime.tree.CommonTree expression, String message)
void	reportIncompatibleSymbols(org.antlr.runtime.tree.CommonTree parentExpression, org.antlr.runtime.tree.CommonTree... expressions)
void	reportIncompatibleSymbolType(org.antlr.runtime.tree.CommonTree tree, Type t, org.antlr.runtime.tree.CommonTree parentExpression)
void	reportIncompatibleSymbolType(ManchesterOWLSyntaxTree tree, org.antlr.runtime.tree.CommonTree parentExpression)
protected void	reportUnrecognisedSymbol(ManchesterOWLSyntaxTree node)
Symbol	resolve(ManchesterOWLSyntaxTree node)
Symbol	resolveIRI(ManchesterOWLSyntaxTree node)
protected Symbol	retrieveSymbol(String name)
void	setErrorListener(ErrorListener errorListener)
protected void	storeSymbol(String name, Symbol symbol) Stores the input Symbol under the input name.
protected void	storeSymbol(org.antlr.runtime.Token token, Symbol symbol) Stores the input Symbol under the input Token.

Methods inherited from class java.lang.Object

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

Field Detail

df

protected final org.semanticweb.owlapi.model.OWLDataFactory df

Constructor Detail

SymbolTable

public SymbolTable(Scope globalScope,
                   org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Parameters:

globalScope - globalScope

dataFactory - dataFactory

Method Detail

getGlobalScope

public Scope getGlobalScope()

Returns:

the globalScope

resolve

public Symbol resolve(ManchesterOWLSyntaxTree node)

Parameters:

node - node

Returns:

resolved symbol

retrieveSymbol

protected Symbol retrieveSymbol(String name)

Parameters:

name - name

Returns:

symbol

getErrorListener

public ErrorListener getErrorListener()

Returns:

the errorListener

setErrorListener

public void setErrorListener(ErrorListener errorListener)

Parameters:

errorListener - the errorListener to set

getSubClassAxiomType

public Type getSubClassAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                 ManchesterOWLSyntaxTree subClass,
                                 ManchesterOWLSyntaxTree superClass)

Parameters:

expression - expression

subClass - subClass

superClass - superClass

Returns:

type for expression

reportIncompatibleSymbolType

public void reportIncompatibleSymbolType(ManchesterOWLSyntaxTree tree,
                                         org.antlr.runtime.tree.CommonTree parentExpression)

Parameters:

tree - tree

parentExpression - parentExpression

reportIncompatibleSymbolType

public void reportIncompatibleSymbolType(org.antlr.runtime.tree.CommonTree tree,
                                         Type t,
                                         org.antlr.runtime.tree.CommonTree parentExpression)

Parameters:

tree - tree

t - t

parentExpression - parentExpression

reportIncompatibleSymbols

public void reportIncompatibleSymbols(org.antlr.runtime.tree.CommonTree parentExpression,
                                      org.antlr.runtime.tree.CommonTree... expressions)

Parameters:

parentExpression - parentExpression

expressions - expressions

reportIllegalToken

public void reportIllegalToken(org.antlr.runtime.tree.CommonTree expression,
                               String message)

Parameters:

expression - expression

message - message

getDisjunctionType

public Type getDisjunctionType(org.antlr.runtime.tree.CommonTree expression,
                               ManchesterOWLSyntaxTree... disjuncts)

Parameters:

expression - expression

disjuncts - disjuncts

Returns:

type for expression

getConjunctionType

public Type getConjunctionType(org.antlr.runtime.tree.CommonTree expression,
                               ManchesterOWLSyntaxTree... conjuncts)

Parameters:

expression - expression

conjuncts - conjuncts

Returns:

type for expression

getNegatedClassExpressionType

public Type getNegatedClassExpressionType(org.antlr.runtime.tree.CommonTree expression,
                                          ManchesterOWLSyntaxTree node)

Parameters:

expression - expression

node - node

Returns:

type for expression

getInversePropertyType

public Type getInversePropertyType(org.antlr.runtime.tree.CommonTree expression,
                                   ManchesterOWLSyntaxTree property)

Parameters:

expression - expression

property - property

Returns:

type for expression

getSubPropertyAxiomType

public Type getSubPropertyAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                    ManchesterOWLSyntaxTree subProperty,
                                    ManchesterOWLSyntaxTree superProperty)

Parameters:

expression - expression

subProperty - subProperty

superProperty - superProperty

Returns:

type for expression

getSomeValueRestrictionType

public Type getSomeValueRestrictionType(org.antlr.runtime.tree.CommonTree expression,
                                        ManchesterOWLSyntaxTree propertyExpression,
                                        ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

type for expression

getAllValueRestrictionType

public Type getAllValueRestrictionType(org.antlr.runtime.tree.CommonTree expression,
                                       ManchesterOWLSyntaxTree propertyExpression,
                                       ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

type for expression

getMinCardinalityRestrictionType

public Type getMinCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression,
                                             ManchesterOWLSyntaxTree propertyExpression,
                                             ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

type for expression

getMaxCardinalityRestrictionType

public Type getMaxCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression,
                                             ManchesterOWLSyntaxTree propertyExpression,
                                             ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

type for expression

getExactCardinalityRestrictionType

public Type getExactCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression,
                                               ManchesterOWLSyntaxTree propertyExpression,
                                               ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

type for expression

getOneOfType

public Type getOneOfType(org.antlr.runtime.tree.CommonTree expression,
                         ManchesterOWLSyntaxTree... individuals)

Parameters:

expression - expression

individuals - individuals

Returns:

type for expression

getValueRestrictionType

public Type getValueRestrictionType(org.antlr.runtime.tree.CommonTree expression,
                                    ManchesterOWLSyntaxTree propertyExpression,
                                    ManchesterOWLSyntaxTree value)

Parameters:

expression - expression

propertyExpression - propertyExpression

value - value

Returns:

type for expression

getValueRestriction

public org.semanticweb.owlapi.model.OWLClassExpression getValueRestriction(org.antlr.runtime.tree.CommonTree expression,
                                                                           ManchesterOWLSyntaxTree propertyExpression,
                                                                           ManchesterOWLSyntaxTree value)

Parameters:

expression - expression

propertyExpression - propertyExpression

value - value

Returns:

value restriction

getRoleAssertionAxiomType

public Type getRoleAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                      ManchesterOWLSyntaxTree subject,
                                      ManchesterOWLSyntaxTree property,
                                      ManchesterOWLSyntaxTree object)

Parameters:

expression - expression

subject - subject

property - property

object - object

Returns:

type for expression

clear

public void clear()

clear symbols

getEquivalentAxiomType

public Type getEquivalentAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                   ManchesterOWLSyntaxTree lhs,
                                   ManchesterOWLSyntaxTree rhs)

Parameters:

expression - expression

lhs - lhs

rhs - rhs

Returns:

type for expression

getDomainAxiomType

public Type getDomainAxiomType(org.antlr.runtime.tree.CommonTree expression,
                               ManchesterOWLSyntaxTree p,
                               ManchesterOWLSyntaxTree domain)

Parameters:

expression - expression

p - p

domain - domain

Returns:

type for expression

getRangeAxiomType

public Type getRangeAxiomType(org.antlr.runtime.tree.CommonTree expression,
                              ManchesterOWLSyntaxTree p,
                              ManchesterOWLSyntaxTree range)

Parameters:

expression - expression

p - p

range - range

Returns:

type for expression

getPropertyChainType

public Type getPropertyChainType(org.antlr.runtime.tree.CommonTree expression,
                                 ManchesterOWLSyntaxTree... chainItems)

Parameters:

expression - expression

chainItems - chainItems

Returns:

type for expression

getDisjointAxiomType

public Type getDisjointAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                 ManchesterOWLSyntaxTree lhs,
                                 ManchesterOWLSyntaxTree rhs)

Parameters:

expression - expression

lhs - lhs

rhs - rhs

Returns:

type for expression

getSameIndividualsAxiomType

public Type getSameIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                        ManchesterOWLSyntaxTree anIndividual,
                                        ManchesterOWLSyntaxTree anotherIndividual)

Parameters:

expression - expression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

Returns:

type for expression

getDifferentIndividualsAxiomType

public Type getDifferentIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                             ManchesterOWLSyntaxTree anIndividual,
                                             ManchesterOWLSyntaxTree anotherIndividual)

Parameters:

expression - expression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

Returns:

type for expression

getFunctionalPropertyType

public Type getFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression,
                                      ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

type for expression

getInverseFunctionalPropertyType

public Type getInverseFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression,
                                             ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

type for expression

getIrreflexivePropertyType

public Type getIrreflexivePropertyType(org.antlr.runtime.tree.CommonTree expression,
                                       ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

type for expression

getReflexivePropertyType

public Type getReflexivePropertyType(org.antlr.runtime.tree.CommonTree expression,
                                     ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

type for expression

getSymmetricPropertyType

public Type getSymmetricPropertyType(org.antlr.runtime.tree.CommonTree expression,
                                     ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

type for expression

getTransitivePropertyType

public Type getTransitivePropertyType(org.antlr.runtime.tree.CommonTree expression,
                                      ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

type for expression

getInverseOfAxiomType

public Type getInverseOfAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                  ManchesterOWLSyntaxTree lhs,
                                  ManchesterOWLSyntaxTree rhs)

Parameters:

expression - expression

lhs - lhs

rhs - rhs

Returns:

type for expression

getNegatedAssertionType

public Type getNegatedAssertionType(org.antlr.runtime.tree.CommonTree expression,
                                    ManchesterOWLSyntaxTree assertion)

Parameters:

expression - expression

assertion - assertion

Returns:

type for expression

getClassAssertionAxiomType

public Type getClassAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression,
                                       ManchesterOWLSyntaxTree description,
                                       ManchesterOWLSyntaxTree subject)

Parameters:

expression - expression

description - description

subject - subject

Returns:

type for expression

getDataFactory

public org.semanticweb.owlapi.model.OWLDataFactory getDataFactory()

Returns:

the dataFactory

getOneOf

public org.semanticweb.owlapi.model.OWLObject getOneOf(org.antlr.runtime.tree.CommonTree expression,
                                                       ManchesterOWLSyntaxTree[] individuals)

Parameters:

expression - expression

individuals - individuals

Returns:

symbol replaced owl object

getExactCardinalityRestriction

public org.semanticweb.owlapi.model.OWLObject getExactCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression,
                                                                             int i,
                                                                             ManchesterOWLSyntaxTree propertyExpression,
                                                                             ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

i - i

propertyExpression - propertyExpression

filler - filler

Returns:

symbol replaced owl object

getMaxCardinalityRestriction

public org.semanticweb.owlapi.model.OWLObject getMaxCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression,
                                                                           int cardinality,
                                                                           ManchesterOWLSyntaxTree propertyExpression,
                                                                           ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

cardinality - cardinality

propertyExpression - propertyExpression

filler - filler

Returns:

symbol replaced owl object

getMinCardinalityRestriction

public org.semanticweb.owlapi.model.OWLObject getMinCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression,
                                                                           int cardinality,
                                                                           ManchesterOWLSyntaxTree propertyExpression,
                                                                           ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

cardinality - cardinality

propertyExpression - propertyExpression

filler - filler

Returns:

symbol replaced owl object

getAllValueRestriction

public org.semanticweb.owlapi.model.OWLObject getAllValueRestriction(org.antlr.runtime.tree.CommonTree expression,
                                                                     ManchesterOWLSyntaxTree propertyExpression,
                                                                     ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

symbol replaced owl object

getSomeValueRestriction

public org.semanticweb.owlapi.model.OWLObject getSomeValueRestriction(org.antlr.runtime.tree.CommonTree expression,
                                                                      ManchesterOWLSyntaxTree propertyExpression,
                                                                      ManchesterOWLSyntaxTree filler)

Parameters:

expression - expression

propertyExpression - propertyExpression

filler - filler

Returns:

symbol replaced owl object

getInverseProperty

public org.semanticweb.owlapi.model.OWLObject getInverseProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                 ManchesterOWLSyntaxTree property)

Parameters:

expression - expression

property - property

Returns:

symbol replaced owl object

getOWLObject

public org.semanticweb.owlapi.model.OWLObject getOWLObject(ManchesterOWLSyntaxTree node)

Parameters:

node - node

Returns:

symbol replaced owl object

reportUnrecognisedSymbol

protected void reportUnrecognisedSymbol(ManchesterOWLSyntaxTree node)

Parameters:

node - node

getNegatedClassExpression

public org.semanticweb.owlapi.model.OWLObject getNegatedClassExpression(org.antlr.runtime.tree.CommonTree expression,
                                                                        ManchesterOWLSyntaxTree node)

Parameters:

expression - expression

node - node

Returns:

symbol replaced owl object

getOWLTypedConstant

public org.semanticweb.owlapi.model.OWLLiteral getOWLTypedConstant(org.antlr.runtime.tree.CommonTree expression,
                                                                   ManchesterOWLSyntaxTree value,
                                                                   ManchesterOWLSyntaxTree constantType)

Parameters:

expression - expression

value - value

constantType - constantType

Returns:

symbol replaced owl object

getOWLUntypedConstant

public org.semanticweb.owlapi.model.OWLLiteral getOWLUntypedConstant(ManchesterOWLSyntaxTree value,
                                                                     ManchesterOWLSyntaxTree lang)

Parameters:

value - value

lang - lang

Returns:

symbol replaced owl object

getConjunction

public org.semanticweb.owlapi.model.OWLObject getConjunction(org.antlr.runtime.tree.CommonTree expression,
                                                             ManchesterOWLSyntaxTree[] conjuncts)

Parameters:

expression - expression

conjuncts - conjuncts

Returns:

symbol replaced owl object

getPropertyChain

public OWLPropertyChain getPropertyChain(org.antlr.runtime.tree.CommonTree expression,
                                         ManchesterOWLSyntaxTree[] chainItems)

Parameters:

expression - expression

chainItems - chainItems

Returns:

symbol replaced owl object

createOWLPropertyChain

protected OWLPropertyChain createOWLPropertyChain(org.semanticweb.owlapi.model.OWLObjectPropertyExpression firstPropertyExpression,
                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression secondPropertyExpression,
                                                  org.semanticweb.owlapi.model.OWLObjectPropertyExpression... others)

getDisjunction

public org.semanticweb.owlapi.model.OWLObject getDisjunction(org.antlr.runtime.tree.CommonTree expression,
                                                             ManchesterOWLSyntaxTree[] disjuncts)

Parameters:

expression - expression

disjuncts - disjuncts

Returns:

symbol replaced owl object

getNegatedAssertion

public org.semanticweb.owlapi.model.OWLAxiom getNegatedAssertion(org.antlr.runtime.tree.CommonTree expression,
                                                                 ManchesterOWLSyntaxTree assertion)

Parameters:

expression - expression

assertion - assertion

Returns:

symbol replaced owl object

getTransitiveProperty

public org.semanticweb.owlapi.model.OWLAxiom getTransitiveProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                   ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getSymmetricProperty

public org.semanticweb.owlapi.model.OWLAxiom getSymmetricProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                  ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getAsymmetricProperty

public org.semanticweb.owlapi.model.OWLAxiom getAsymmetricProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                   ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getReflexiveProperty

public org.semanticweb.owlapi.model.OWLAxiom getReflexiveProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                  ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getIrreflexiveProperty

public org.semanticweb.owlapi.model.OWLAxiom getIrreflexiveProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                    ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getInverseFunctionalProperty

public org.semanticweb.owlapi.model.OWLAxiom getInverseFunctionalProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                          ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getFunctionalProperty

public org.semanticweb.owlapi.model.OWLAxiom getFunctionalProperty(org.antlr.runtime.tree.CommonTree expression,
                                                                   ManchesterOWLSyntaxTree p)

Parameters:

expression - expression

p - p

Returns:

symbol replaced owl object

getDifferentIndividualsAxiom

public org.semanticweb.owlapi.model.OWLAxiom getDifferentIndividualsAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                                          ManchesterOWLSyntaxTree anIndividual,
                                                                          ManchesterOWLSyntaxTree anotherIndividual)

Parameters:

expression - expression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

Returns:

symbol replaced owl object

getSameIndividualsAxiom

public org.semanticweb.owlapi.model.OWLAxiom getSameIndividualsAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                                     ManchesterOWLSyntaxTree anIndividual,
                                                                     ManchesterOWLSyntaxTree anotherIndividual)

Parameters:

expression - expression

anIndividual - anIndividual

anotherIndividual - anotherIndividual

Returns:

symbol replaced owl object

getRangeAxiom

public org.semanticweb.owlapi.model.OWLAxiom getRangeAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                           ManchesterOWLSyntaxTree p,
                                                           ManchesterOWLSyntaxTree range)

Parameters:

expression - expression

p - p

range - range

Returns:

symbol replaced owl object

getDomainAxiom

public org.semanticweb.owlapi.model.OWLAxiom getDomainAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                            ManchesterOWLSyntaxTree p,
                                                            ManchesterOWLSyntaxTree domain)

Parameters:

expression - expression

p - p

domain - domain

Returns:

symbol replaced owl object

getClassAssertionAxiom

public org.semanticweb.owlapi.model.OWLAxiom getClassAssertionAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                                    ManchesterOWLSyntaxTree description,
                                                                    ManchesterOWLSyntaxTree subject)

Parameters:

expression - expression

description - description

subject - subject

Returns:

symbol replaced owl object

getRoleAssertionAxiom

public org.semanticweb.owlapi.model.OWLAxiom getRoleAssertionAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                                   ManchesterOWLSyntaxTree subject,
                                                                   ManchesterOWLSyntaxTree property,
                                                                   ManchesterOWLSyntaxTree object)

Parameters:

expression - expression

subject - subject

property - property

object - object

Returns:

symbol replaced owl object

getSubPropertyAxiom

public org.semanticweb.owlapi.model.OWLAxiom getSubPropertyAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                                 ManchesterOWLSyntaxTree subProperty,
                                                                 ManchesterOWLSyntaxTree superProperty)

Parameters:

expression - expression

subProperty - subProperty

superProperty - superProperty

Returns:

symbol replaced owl object

getDisjointAxiom

public org.semanticweb.owlapi.model.OWLAxiom getDisjointAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                              ManchesterOWLSyntaxTree lhs,
                                                              ManchesterOWLSyntaxTree rhs)

Parameters:

expression - expression

lhs - lhs

rhs - rhs

Returns:

symbol replaced owl object

getInverseOfAxiom

public org.semanticweb.owlapi.model.OWLAxiom getInverseOfAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                               ManchesterOWLSyntaxTree lhs,
                                                               ManchesterOWLSyntaxTree rhs)

Parameters:

expression - expression

lhs - lhs

rhs - rhs

Returns:

symbol replaced owl object

getEquivalentAxiom

public org.semanticweb.owlapi.model.OWLAxiom getEquivalentAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                                ManchesterOWLSyntaxTree lhs,
                                                                ManchesterOWLSyntaxTree rhs)

Parameters:

expression - expression

lhs - lhs

rhs - rhs

Returns:

symbol replaced owl object

getSubClassAxiom

public org.semanticweb.owlapi.model.OWLAxiom getSubClassAxiom(org.antlr.runtime.tree.CommonTree expression,
                                                              ManchesterOWLSyntaxTree subClass,
                                                              ManchesterOWLSyntaxTree superClass)

Parameters:

expression - expression

subClass - subClass

superClass - superClass

Returns:

symbol replaced owl object

match

public Set<String> match(String prefix)

Retrieves a set of String representing the symbols matching with the input prefix.

Parameters:

prefix - The input prefix. Cannot be null.

Returns:

A Set of String elements.

Throws:

NullPointerException - if the input is null.

getOWLObjectPropertyCompletions

public Set<String> getOWLObjectPropertyCompletions()

Returns:

object property completions

getOWLDataPropertyCompletions

public Set<String> getOWLDataPropertyCompletions()

Returns:

data property completions

getOWLClassCompletions

public Set<String> getOWLClassCompletions()

Returns:

class completions

getCompletions

public Set<String> getCompletions(Type type)

Parameters:

type - type

Returns:

completions

getOWLPropertyCompletions

public Set<String> getOWLPropertyCompletions(Type type)

Parameters:

type - type

Returns:

property completions

getOWLIndividualCompletions

public Set<String> getOWLIndividualCompletions()

Returns:

individual completions

getAllCompletions

public Set<String> getAllCompletions(Type... types)

Parameters:

types - types

Returns:

all completions

storeSymbol

protected void storeSymbol(org.antlr.runtime.Token token,
                           Symbol symbol)

Stores the input Symbol under the input Token.

Parameters:

token - The input Token. Cannot be null.

symbol - The Symbol to be stored. cannot be null.

Throws:

NullPointerException - if either input is null.

storeSymbol

protected void storeSymbol(String name,
                           Symbol symbol)

Stores the input Symbol under the input name.

Parameters:

name - The input name. Cannot be null.

symbol - The Symbol to be stored. cannot be null.

Throws:

NullPointerException - if either input is null.

removeSymbol

protected Symbol removeSymbol(org.antlr.runtime.Token token)

Removes the Symbol corresponding to the input Token.

Parameters:

token - The input Token.

Returns:

The removed Symbol if it appeared in this SymbolTable null otherwise.

getDefinedSymbols

public Set<Symbol> getDefinedSymbols()

Retrieves all the Symbos that have been stored in this Symbol table. Please notice that this may be a proper sub-set of all the possible symbols as there may be many more which have not been used but are still valid ones.

Returns:

a Set of Symbol elements.

dispose

public void dispose()

dispose

getOWLFacetRestrictionType

public OWLType getOWLFacetRestrictionType(ManchesterOWLSyntaxTree facet,
                                          ManchesterOWLSyntaxTree value,
                                          org.antlr.runtime.tree.CommonTree parentExpression)

Parameters:

facet - facet

value - value

parentExpression - parentExpression

Returns:

facet restriction type

getOWLFacetRestriction

public org.semanticweb.owlapi.model.OWLFacetRestriction getOWLFacetRestriction(ManchesterOWLSyntaxTree facet,
                                                                               ManchesterOWLSyntaxTree value,
                                                                               org.antlr.runtime.tree.CommonTree parentExpression)

Parameters:

facet - facet

value - value

parentExpression - parentExpression

Returns:

owl facet restriction

getOWLDataRangeType

public OWLType getOWLDataRangeType(ManchesterOWLSyntaxTree dataType,
                                   ManchesterOWLSyntaxTree parentExpression,
                                   ManchesterOWLSyntaxTree... facets)

Parameters:

dataType - dataType

parentExpression - parentExpression

facets - facets

Returns:

data range type

getOWLDataRange

public org.semanticweb.owlapi.model.OWLDatatypeRestriction getOWLDataRange(ManchesterOWLSyntaxTree dataType,
                                                                           ManchesterOWLSyntaxTree parentExpression,
                                                                           ManchesterOWLSyntaxTree... facets)

Parameters:

dataType - dataType

parentExpression - parentExpression

facets - facets

Returns:

datatype restriction

getHasKeyType

public Type getHasKeyType(ManchesterOWLSyntaxTree node,
                          Set<ManchesterOWLSyntaxTree> propertyExpressions)

Parameters:

node - node

propertyExpressions - propertyExpressions

Returns:

haskey type

getHasKey

public org.semanticweb.owlapi.model.OWLHasKeyAxiom getHasKey(ManchesterOWLSyntaxTree node,
                                                             Set<ManchesterOWLSyntaxTree> propertyExpressions)

Parameters:

node - node

propertyExpressions - propertyExpressions

Returns:

haskey

getAnnotationAssertionType

public Type getAnnotationAssertionType(ManchesterOWLSyntaxTree parentExpression,
                                       ManchesterOWLSyntaxTree iri,
                                       ManchesterOWLSyntaxTree annotationPropertyNode,
                                       ManchesterOWLSyntaxTree object)

Parameters:

parentExpression - parentExpression

iri - iri

annotationPropertyNode - annotationPropertyNode

object - object

Returns:

annotation assertion type

getAnnotationAssertion

public org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom getAnnotationAssertion(ManchesterOWLSyntaxTree parentExpression,
                                                                                       ManchesterOWLSyntaxTree iri,
                                                                                       ManchesterOWLSyntaxTree annotationPropertyNode,
                                                                                       ManchesterOWLSyntaxTree object)

Parameters:

parentExpression - parentExpression

iri - iri

annotationPropertyNode - annotationPropertyNode

object - object

Returns:

annotation assertion

resolveIRI

public Symbol resolveIRI(ManchesterOWLSyntaxTree node)

Parameters:

node - node

Returns:

symbol