org.coode.owl.functionalparser
Class OWLFunctionalSyntaxParser

java.lang.Object
  org.coode.owl.functionalparser.OWLFunctionalSyntaxParser

All Implemented Interfaces:

OWLFunctionalSyntaxParserConstants

public class OWLFunctionalSyntaxParser
extends java.lang.Object
implements OWLFunctionalSyntaxParserConstants

Field Summary

Token	jj_nt
boolean	lookingAhead
Token	token
OWLFunctionalSyntaxParserTokenManager	token_source

Fields inherited from interface org.coode.owl.functionalparser.OWLFunctionalSyntaxParserConstants

ANNOTATION, ANTISYMMETRICOBJECTPROPERTY, CLASS, CLASSASSERTION, CLOSEPAR, COLON, COMMENT, COMMENT_START, DATAALLVALUESFROM, DATACOMPLEMENTOF, DATAEXACTCARDINALITY, DATAEXISTSSELF, DATAHASVALUE, DATAMAXCARDINALITY, DATAMINCARDINALITY, DATAONEOF, DATAPROP, DATAPROPERTYASSERTION, DATAPROPERTYDOMAIN, DATAPROPERTYRANGE, DATASOMEVALUESFROM, DATATYPE, DATATYPERESTRICTION, DECLARATION, DEFAULT, DIFFERENTINDIVIDUALS, DISJOINTCLASSES, DISJOINTDATAPROPERTIES, DISJOINTOBJECTPROPERTIES, DISJOINTUNION, DOCUMENTATION, ENTITYANNOTATION, EOF, EQUALS, EQUIVALENTCLASSES, EQUIVALENTDATAPROPERTIES, EQUIVALENTOBJECTPROPERTIES, ERROR, FRACTIONDIGITS, FUNCTIONALDATAPROPERTY, FUNCTIONALOBJECTPROPERTY, IMPORTS, IN_COMMENT, IN_STRING_LITERAL, INDIVIDUAL, INT, INVERSEFUNCTIONALOBJECTPROPERTY, INVERSEOBJECTPROPERTIES, INVERSEOBJECTPROPERTY, IRREFLEXIVEOBJECTPROPERTY, LABEL, LANGIDENTIFIER, LENGTH, MAXEXCLUSIVE, MAXINCLUSIVE, MAXLENGTH, MINEXCLUSIVE, MININCLUSIVE, MINLENGTH, NAMESPACE, NCCHAR_FULL, NCCHAR1, NCNAME1, NEGATIVEDATAPROPERTYASSERTION, NEGATIVEOBJECTPROPERTYASSERTION, OBJECTALLVALUESFROM, OBJECTCOMPLEMENTOF, OBJECTEXACTCARDINALITY, OBJECTEXISTSSELF, OBJECTHASVALUE, OBJECTINTERSECTIONOF, OBJECTMAXCARDINALITY, OBJECTMINCARDINALITY, OBJECTONEOF, OBJECTPROP, OBJECTPROPERTYASSERTION, OBJECTPROPERTYDOMAIN, OBJECTPROPERTYRANGE, OBJECTSOMEVALUESFROM, OBJECTUNIONOF, ONTOLOGY, OPENPAR, PATTERN, QURI, REFLEXIVEOBJECTPROPERTY, SAMEINDIVIDUALS, STRING_LITERAL_START, STRINGLITERAL, SUBCLASSOF, SUBDATAPROPERTYOF, SUBOBJECTPROPERTYCHAIN, SUBOBJECTPROPERTYOF, SYMMETRICOBJECTPROPERTY, tokenImage, TOTALDIGITS, TRANSITIVEOBJECTPROPERTY

Constructor Summary

OWLFunctionalSyntaxParser(java.io.InputStream stream)

OWLFunctionalSyntaxParser(java.io.InputStream stream, java.lang.String encoding)

OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)

OWLFunctionalSyntaxParser(java.io.Reader stream)

Method Summary

OWLAnnotation	Annotation()
OWLPropertyAxiom	AntiSymmetricObjectProperty()
OWLAxiom	Axiom()
void	AxiomAnnotationSet()
int	Cardinality()
OWLClass	Class()
OWLIndividualAxiom	ClassAssertion()
OWLClassAxiom	ClassAxiom()
OWLClass	ClassURI()
OWLConstant	Constant()
OWLDescription	DataAllValuesFrom()
OWLDataRange	DataComplementOf()
OWLDescription	DataExactCardinality()
OWLDescription	DataHasValue()
OWLDescription	DataMaxCardinality()
OWLDescription	DataMinCardinality()
OWLDataRange	DataOneOf()
OWLDataProperty	DataProperty()
OWLIndividualAxiom	DataPropertyAssertion()
OWLPropertyAxiom	DataPropertyAxiom()
OWLPropertyAxiom	DataPropertyDomain()
OWLDataPropertyExpression	DataPropertyExpression()
OWLPropertyAxiom	DataPropertyRange()
java.util.Set<OWLDataPropertyExpression>	DataPropertySet()
OWLDataProperty	DataPropertyURI()
OWLDataRange	DataRange()
OWLDataRangeFacetRestriction	DataRangeFacetRestriction()
OWLDataRange	DataRangeRestriction()
OWLDescription	DataSomeValuesFrom()
OWLDataType	DataType()
OWLDataType	DataTypeURI()
OWLAxiom	Declaration()
OWLDescription	Description()
java.util.Set<OWLDescription>	DescriptionSet()
OWLIndividualAxiom	DifferentIndividuals()
void	disable_tracing()
OWLClassAxiom	DisjointClasses()
OWLPropertyAxiom	DisjointDataProperties()
OWLPropertyAxiom	DisjointObjectProperties()
OWLClassAxiom	DisjointUnion()
void	DocumentationAnnotation()
void	enable_tracing()
OWLEntity	Entity()
OWLEntityAnnotationAxiom	EntityAnnotation()
OWLClassAxiom	EquivalentClasses()
OWLPropertyAxiom	EquivalentDataProperties()
OWLPropertyAxiom	EquivalentObjectProperties()
OWLPropertyAxiom	FunctionalDataProperty()
OWLPropertyAxiom	FunctionalObjectProperty()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
java.net.URI	getURI(java.lang.String s)
OWLImportsDeclaration	ImportsDeclaration()
OWLIndividual	Individual()
OWLIndividualAxiom	IndividualAxiom()
java.util.Set<OWLIndividual>	IndividualMinOneSet()
java.util.Set<OWLIndividual>	IndividualSet()
OWLIndividual	IndividualURI()
int	Integer()
OWLPropertyAxiom	InverseFunctionalObjectProperty()
OWLPropertyAxiom	InverseObjectProperties()
OWLObjectPropertyExpression	InverseObjectProperty()
OWLPropertyAxiom	IrreflexiveObjectProperty()
java.lang.String	LangTag()
void	Namespace()
OWLIndividualAxiom	NegativeDataPropertyAssertion()
OWLIndividualAxiom	NegativeObjectPropertyAssertion()
OWLDescription	ObjectAllValuesFrom()
OWLDescription	ObjectComplementOf()
OWLDescription	ObjectExactCardinality()
OWLDescription	ObjectHasValue()
OWLDescription	ObjectIntersectionOf()
OWLDescription	ObjectMaxCardinality()
OWLDescription	ObjectMinCardinality()
OWLDescription	ObjectOneOf()
OWLObjectProperty	ObjectProperty()
OWLIndividualAxiom	ObjectPropertyAssertion()
OWLPropertyAxiom	ObjectPropertyAxiom()
OWLPropertyAxiom	ObjectPropertyDomain()
OWLObjectPropertyExpression	ObjectPropertyExpression()
OWLPropertyAxiom	ObjectPropertyRange()
java.util.Set<OWLObjectPropertyExpression>	ObjectPropertySet()
OWLObjectProperty	ObjectPropertyURI()
OWLDescription	ObjectSelf()
OWLDescription	ObjectSomeValuesFrom()
OWLDescription	ObjectUnionOf()
void	Ontology()
void	parse()
java.net.URI	QName()
java.net.URI	QURI()
OWLPropertyAxiom	ReflexiveObjectProperty()
void	ReInit(java.io.InputStream stream)
void	ReInit(java.io.InputStream stream, java.lang.String encoding)
void	ReInit(OWLFunctionalSyntaxParserTokenManager tm)
void	ReInit(java.io.Reader stream)
OWLIndividualAxiom	SameIndividuals()
void	setIgnoreAnnotationsAndDeclarations(boolean b)
void	setUp(OWLOntologyManager man, OWLOntology ontology)
java.lang.String	StringLiteral()
OWLClassAxiom	SubClassOf()
OWLPropertyAxiom	SubDataPropertyOf()
java.util.List<OWLObjectPropertyExpression>	SubObjectPropertyChain()
OWLPropertyAxiom	SubObjectPropertyOf()
OWLPropertyAxiom	SymmetricObjectProperty()
OWLPropertyAxiom	TransitiveObjectProperty()
OWLTypedConstant	TypedConstant()
OWLUntypedConstant	UntypedConstant()
java.net.URI	URI()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public OWLFunctionalSyntaxParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead

Constructor Detail

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(java.io.InputStream stream)

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(java.io.InputStream stream,
                                 java.lang.String encoding)

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(java.io.Reader stream)

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)

Method Detail

setUp

public void setUp(OWLOntologyManager man,
                  OWLOntology ontology)

getURI

public java.net.URI getURI(java.lang.String s)
                    throws java.net.URISyntaxException

Throws:

java.net.URISyntaxException

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(boolean b)

parse

public final void parse()
                 throws ParseException,
                        OWLOntologyCreationException

Throws:

ParseException

OWLOntologyCreationException

Ontology

public final void Ontology()
                    throws ParseException,
                           OWLOntologyCreationException

Throws:

ParseException

OWLOntologyCreationException

Namespace

public final void Namespace()
                     throws ParseException

Throws:

ParseException

URI

public final java.net.URI URI()
                       throws ParseException

Throws:

ParseException

QURI

public final java.net.URI QURI()
                        throws ParseException

Throws:

ParseException

QName

public final java.net.URI QName()
                         throws ParseException

Throws:

ParseException

Description

public final OWLDescription Description()
                                 throws ParseException

Throws:

ParseException

ClassURI

public final OWLClass ClassURI()
                        throws ParseException

Throws:

ParseException

DescriptionSet

public final java.util.Set<OWLDescription> DescriptionSet()
                                                   throws ParseException

Throws:

ParseException

IndividualMinOneSet

public final java.util.Set<OWLIndividual> IndividualMinOneSet()
                                                       throws ParseException

Throws:

ParseException

ObjectUnionOf

public final OWLDescription ObjectUnionOf()
                                   throws ParseException

Throws:

ParseException

ObjectIntersectionOf

public final OWLDescription ObjectIntersectionOf()
                                          throws ParseException

Throws:

ParseException

ObjectComplementOf

public final OWLDescription ObjectComplementOf()
                                        throws ParseException

Throws:

ParseException

ObjectOneOf

public final OWLDescription ObjectOneOf()
                                 throws ParseException

Throws:

ParseException

ObjectAllValuesFrom

public final OWLDescription ObjectAllValuesFrom()
                                         throws ParseException

Throws:

ParseException

ObjectSomeValuesFrom

public final OWLDescription ObjectSomeValuesFrom()
                                          throws ParseException

Throws:

ParseException

ObjectHasValue

public final OWLDescription ObjectHasValue()
                                    throws ParseException

Throws:

ParseException

ObjectSelf

public final OWLDescription ObjectSelf()
                                throws ParseException

Throws:

ParseException

ObjectMinCardinality

public final OWLDescription ObjectMinCardinality()
                                          throws ParseException

Throws:

ParseException

ObjectExactCardinality

public final OWLDescription ObjectExactCardinality()
                                            throws ParseException

Throws:

ParseException

ObjectMaxCardinality

public final OWLDescription ObjectMaxCardinality()
                                          throws ParseException

Throws:

ParseException

DataAllValuesFrom

public final OWLDescription DataAllValuesFrom()
                                       throws ParseException

Throws:

ParseException

DataSomeValuesFrom

public final OWLDescription DataSomeValuesFrom()
                                        throws ParseException

Throws:

ParseException

DataHasValue

public final OWLDescription DataHasValue()
                                  throws ParseException

Throws:

ParseException

DataMinCardinality

public final OWLDescription DataMinCardinality()
                                        throws ParseException

Throws:

ParseException

DataExactCardinality

public final OWLDescription DataExactCardinality()
                                          throws ParseException

Throws:

ParseException

DataMaxCardinality

public final OWLDescription DataMaxCardinality()
                                        throws ParseException

Throws:

ParseException

Class

public final OWLClass Class()
                     throws ParseException

Throws:

ParseException

ObjectPropertyExpression

public final OWLObjectPropertyExpression ObjectPropertyExpression()
                                                           throws ParseException

Throws:

ParseException

InverseObjectProperty

public final OWLObjectPropertyExpression InverseObjectProperty()
                                                        throws ParseException

Throws:

ParseException

ObjectProperty

public final OWLObjectProperty ObjectProperty()
                                       throws ParseException

Throws:

ParseException

DataPropertyExpression

public final OWLDataPropertyExpression DataPropertyExpression()
                                                       throws ParseException

Throws:

ParseException

DataPropertyURI

public final OWLDataProperty DataPropertyURI()
                                      throws ParseException

Throws:

ParseException

DataProperty

public final OWLDataProperty DataProperty()
                                   throws ParseException

Throws:

ParseException

Individual

public final OWLIndividual Individual()
                               throws ParseException

Throws:

ParseException

DataType

public final OWLDataType DataType()
                           throws ParseException

Throws:

ParseException

DataTypeURI

public final OWLDataType DataTypeURI()
                              throws ParseException

Throws:

ParseException

Cardinality

public final int Cardinality()
                      throws ParseException

Throws:

ParseException

Integer

public final int Integer()
                  throws ParseException

Throws:

ParseException

DataRange

public final OWLDataRange DataRange()
                             throws ParseException

Throws:

ParseException

DataComplementOf

public final OWLDataRange DataComplementOf()
                                    throws ParseException

Throws:

ParseException

DataOneOf

public final OWLDataRange DataOneOf()
                             throws ParseException

Throws:

ParseException

DataRangeRestriction

public final OWLDataRange DataRangeRestriction()
                                        throws ParseException

Throws:

ParseException

DataRangeFacetRestriction

public final OWLDataRangeFacetRestriction DataRangeFacetRestriction()
                                                             throws ParseException

Throws:

ParseException

Axiom

public final OWLAxiom Axiom()
                     throws ParseException

Throws:

ParseException

ClassAxiom

public final OWLClassAxiom ClassAxiom()
                               throws ParseException

Throws:

ParseException

SubClassOf

public final OWLClassAxiom SubClassOf()
                               throws ParseException

Throws:

ParseException

EquivalentClasses

public final OWLClassAxiom EquivalentClasses()
                                      throws ParseException

Throws:

ParseException

DisjointClasses

public final OWLClassAxiom DisjointClasses()
                                    throws ParseException

Throws:

ParseException

DisjointUnion

public final OWLClassAxiom DisjointUnion()
                                  throws ParseException

Throws:

ParseException

ObjectPropertyAxiom

public final OWLPropertyAxiom ObjectPropertyAxiom()
                                           throws ParseException

Throws:

ParseException

SubObjectPropertyChain

public final java.util.List<OWLObjectPropertyExpression> SubObjectPropertyChain()
                                                                         throws ParseException

Throws:

ParseException

SubObjectPropertyOf

public final OWLPropertyAxiom SubObjectPropertyOf()
                                           throws ParseException

Throws:

ParseException

EquivalentObjectProperties

public final OWLPropertyAxiom EquivalentObjectProperties()
                                                  throws ParseException

Throws:

ParseException

DisjointObjectProperties

public final OWLPropertyAxiom DisjointObjectProperties()
                                                throws ParseException

Throws:

ParseException

ObjectPropertySet

public final java.util.Set<OWLObjectPropertyExpression> ObjectPropertySet()
                                                                   throws ParseException

Throws:

ParseException

ObjectPropertyRange

public final OWLPropertyAxiom ObjectPropertyRange()
                                           throws ParseException

Throws:

ParseException

ObjectPropertyDomain

public final OWLPropertyAxiom ObjectPropertyDomain()
                                            throws ParseException

Throws:

ParseException

FunctionalObjectProperty

public final OWLPropertyAxiom FunctionalObjectProperty()
                                                throws ParseException

Throws:

ParseException

InverseObjectProperties

public final OWLPropertyAxiom InverseObjectProperties()
                                               throws ParseException

Throws:

ParseException

InverseFunctionalObjectProperty

public final OWLPropertyAxiom InverseFunctionalObjectProperty()
                                                       throws ParseException

Throws:

ParseException

SymmetricObjectProperty

public final OWLPropertyAxiom SymmetricObjectProperty()
                                               throws ParseException

Throws:

ParseException

AntiSymmetricObjectProperty

public final OWLPropertyAxiom AntiSymmetricObjectProperty()
                                                   throws ParseException

Throws:

ParseException

ReflexiveObjectProperty

public final OWLPropertyAxiom ReflexiveObjectProperty()
                                               throws ParseException

Throws:

ParseException

IrreflexiveObjectProperty

public final OWLPropertyAxiom IrreflexiveObjectProperty()
                                                 throws ParseException

Throws:

ParseException

TransitiveObjectProperty

public final OWLPropertyAxiom TransitiveObjectProperty()
                                                throws ParseException

Throws:

ParseException

DataPropertyAxiom

public final OWLPropertyAxiom DataPropertyAxiom()
                                         throws ParseException

Throws:

ParseException

SubDataPropertyOf

public final OWLPropertyAxiom SubDataPropertyOf()
                                         throws ParseException

Throws:

ParseException

EquivalentDataProperties

public final OWLPropertyAxiom EquivalentDataProperties()
                                                throws ParseException

Throws:

ParseException

DisjointDataProperties

public final OWLPropertyAxiom DisjointDataProperties()
                                              throws ParseException

Throws:

ParseException

DataPropertySet

public final java.util.Set<OWLDataPropertyExpression> DataPropertySet()
                                                               throws ParseException

Throws:

ParseException

DataPropertyDomain

public final OWLPropertyAxiom DataPropertyDomain()
                                          throws ParseException

Throws:

ParseException

DataPropertyRange

public final OWLPropertyAxiom DataPropertyRange()
                                         throws ParseException

Throws:

ParseException

FunctionalDataProperty

public final OWLPropertyAxiom FunctionalDataProperty()
                                              throws ParseException

Throws:

ParseException

IndividualAxiom

public final OWLIndividualAxiom IndividualAxiom()
                                         throws ParseException

Throws:

ParseException

IndividualSet

public final java.util.Set<OWLIndividual> IndividualSet()
                                                 throws ParseException

Throws:

ParseException

SameIndividuals

public final OWLIndividualAxiom SameIndividuals()
                                         throws ParseException

Throws:

ParseException

DifferentIndividuals

public final OWLIndividualAxiom DifferentIndividuals()
                                              throws ParseException

Throws:

ParseException

ClassAssertion

public final OWLIndividualAxiom ClassAssertion()
                                        throws ParseException

Throws:

ParseException

ObjectPropertyAssertion

public final OWLIndividualAxiom ObjectPropertyAssertion()
                                                 throws ParseException

Throws:

ParseException

NegativeObjectPropertyAssertion

public final OWLIndividualAxiom NegativeObjectPropertyAssertion()
                                                         throws ParseException

Throws:

ParseException

DataPropertyAssertion

public final OWLIndividualAxiom DataPropertyAssertion()
                                               throws ParseException

Throws:

ParseException

NegativeDataPropertyAssertion

public final OWLIndividualAxiom NegativeDataPropertyAssertion()
                                                       throws ParseException

Throws:

ParseException

IndividualURI

public final OWLIndividual IndividualURI()
                                  throws ParseException

Throws:

ParseException

ObjectPropertyURI

public final OWLObjectProperty ObjectPropertyURI()
                                          throws ParseException

Throws:

ParseException

Annotation

public final OWLAnnotation Annotation()
                               throws ParseException

Throws:

ParseException

AxiomAnnotationSet

public final void AxiomAnnotationSet()
                              throws ParseException

Throws:

ParseException

ImportsDeclaration

public final OWLImportsDeclaration ImportsDeclaration()
                                               throws ParseException

Throws:

ParseException

DocumentationAnnotation

public final void DocumentationAnnotation()
                                   throws ParseException

Throws:

ParseException

EntityAnnotation

public final OWLEntityAnnotationAxiom EntityAnnotation()
                                                throws ParseException

Throws:

ParseException

Declaration

public final OWLAxiom Declaration()
                           throws ParseException

Throws:

ParseException

Entity

public final OWLEntity Entity()
                       throws ParseException

Throws:

ParseException

Constant

public final OWLConstant Constant()
                           throws ParseException

Throws:

ParseException

TypedConstant

public final OWLTypedConstant TypedConstant()
                                     throws ParseException

Throws:

ParseException

UntypedConstant

public final OWLUntypedConstant UntypedConstant()
                                         throws ParseException

Throws:

ParseException

StringLiteral

public final java.lang.String StringLiteral()
                                     throws ParseException

Throws:

ParseException

LangTag

public final java.lang.String LangTag()
                               throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(OWLFunctionalSyntaxParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()