org.coode.owlapi.manchesterowlsyntax
Class ManchesterOWLSyntaxEditorParser

java.lang.Object
  org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntaxEditorParser

public class ManchesterOWLSyntaxEditorParser
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Sep-2007

A parser for the Manchester OWL Syntax. All properties must be defined before they are used. For example, consider the restriction hasPart some Leg. The parser must know in advance whether or not hasPart is an object property or a data property so that Leg gets parsed correctly. In a tool, such as an editor, it is expected that hasPart will already exists as either a data property or an object property. If a complete ontology is being parsed, it is expected that hasPart will have been defined at the top of the file before it is used in any class expressions or property assertions (e.g. ObjectProperty: hasPart)

Field Summary

static java.lang.String	AND
static java.lang.String	ANNOTATION_PROPERTY
static java.lang.String	ANNOTATIONS
static java.lang.String	ANTI_SYMMETRIC
static java.lang.String	ASYMMETRIC
static java.lang.String	CHARACTERISTICS
static java.lang.String	CLASS
static java.lang.String	DATA_PROPERTY
static java.lang.String	DATATYPE
static java.lang.String	DIFFERENT_FROM
static java.lang.String	DIFFERENT_INDIVIDUALS
static java.lang.String	DISJOINT_CLASSES
static java.lang.String	DISJOINT_PROPERTIES
static java.lang.String	DISJOINT_UNION_OF
static java.lang.String	DISJOINT_WITH
static java.lang.String	DOMAIN
static java.lang.String	EQUIVALENT_CLASSES
static java.lang.String	EQUIVALENT_PROPERTIES
static java.lang.String	EQUIVALENT_TO
static java.lang.String	EXACTLY
static java.lang.String	FACTS
static java.lang.String	FUNCTIONAL
static java.lang.String	HAS_KEY
static java.lang.String	IMPORT
static java.lang.String	INDIVIDUAL
static java.lang.String	INDIVIDUALS
static java.lang.String	INSTANCES
static java.lang.String	INVERSE
static java.lang.String	INVERSE_FUNCTIONAL
static java.lang.String	INVERSE_OF
static java.lang.String	INVERSES
static java.lang.String	IRREFLEXIVE
static java.lang.String	MAX
static java.lang.String	MIN
static java.lang.String	NOT
static java.lang.String	OBJECT_PROPERTY
static java.lang.String	ONLY
static java.lang.String	ONLYSOME
static java.lang.String	ONTOLOGY
static java.lang.String	OR
static java.lang.String	PREFIX
static java.lang.String	RANGE
static java.lang.String	REFLEXIVE
static java.lang.String	RULE
static java.lang.String	SAME_AS
static java.lang.String	SAME_INDIVIDUAL
static java.lang.String	SELF
static java.lang.String	SOME
static java.lang.String	SUB_CLASS_OF
static java.lang.String	SUB_PROPERTY_CHAIN
static java.lang.String	SUB_PROPERTY_OF
static java.lang.String	SUPER_CLASS_OF
static java.lang.String	SUPER_PROPERTY_OF
static java.lang.String	SYMMETRIC
static java.lang.String	TRANSITIVE
static java.lang.String	TYPES
static java.lang.String	VALUE
static java.lang.String	VALUE_PARTITION

Constructor Summary

ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory, java.lang.String s)

Method Summary

protected java.lang.String	consumeToken()
protected void	consumeToken(java.lang.String expected)
protected ParserException	createException(boolean ontologyNameExpected)
protected ParserException	createException(boolean classNameExpected, boolean objectPropertyNameExpected, boolean dataPropertyNameExpected, boolean individualNameExpected)
protected ParserException	createException(boolean classNameExpected, boolean objectPropertyNameExpected, boolean dataPropertyNameExpected, boolean individualNameExpected, boolean datatypeNameExpected, boolean annotationPropertyNameExpected, java.lang.String... keywords)
protected ParserException	createException(java.lang.String... keywords)
java.lang.String	getBase()
OWLDataFactory	getDataFactory()
IRI	getIRI(java.lang.String name)
protected ManchesterOWLSyntaxTokenizer.Token	getLastToken()
java.lang.String	getLineCol()
OWLOntology	getOntology(java.lang.String name)
OWLAnnotationProperty	getOWLAnnotationProperty(java.lang.String name)
OWLClass	getOWLClass(java.lang.String name)
OWLDataProperty	getOWLDataProperty(java.lang.String name)
OWLDatatype	getOWLDatatype(java.lang.String name)
OWLEntityChecker	getOWLEntityChecker()
OWLIndividual	getOWLIndividual(java.lang.String name)
OWLObjectProperty	getOWLObjectProperty(java.lang.String name)
ManchesterOWLSyntaxTokenizer.Token	getToken()
int	getTokenCol()
protected ManchesterOWLSyntaxTokenizer	getTokenizer(java.lang.String s)
int	getTokenPos()
int	getTokenRow()
protected java.util.List<ManchesterOWLSyntaxTokenizer.Token>	getTokens()
protected java.util.List<java.lang.String>	getTokenSequence()
IRI	getVariableIRI(java.lang.String var)
boolean	isAnnotationPropertyName(java.lang.String name)
boolean	isClassName(java.lang.String name)
boolean	isDataPropertyName(java.lang.String name)
boolean	isDatatypeName(java.lang.String name)
boolean	isIndividualName(java.lang.String name)
boolean	isObjectPropertyName(java.lang.String name)
boolean	isOntologyName(java.lang.String name)
boolean	isSWRLBuiltin(java.lang.String name)
java.util.Map<OWLClassExpression,java.util.Set<OWLAnnotation>>	parseAnnotatedClassExpressionList()
java.util.Map<OWLDataProperty,java.util.Set<OWLAnnotation>>	parseAnnotatedDataPropertyList()
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAnnotation>>	parseAnnotatedObjectPropertyList()
java.util.Map<OWLPropertyExpression,java.util.Set<OWLAnnotation>>	parseAnnotatedPropertyList()
OWLAnnotationProperty	parseAnnotationProperty()
java.util.Set<OntologyAxiomPair>	parseAnnotationPropertyFrame()
java.util.Set<OWLAnnotationProperty>	parseAnnotationPropertyList()
java.util.Set<OntologyAxiomPair>	parseAnnotations(OWLAnnotationSubject subject)
OWLAxiom	parseAsymmetricPropertyAxiom()
OWLAxiom	parseAxiom()
OWLAxiom	parseAxiomWithClassExpressionStart()
OWLAxiom	parseAxiomWithDataPropertyStart()
OWLAxiom	parseAxiomWithObjectPropertyStart()
SWRLBuiltInAtom	parseBuiltInAtom()
SWRLAtom	parseClassAtom()
OWLClassAxiom	parseClassAxiom()
OWLAxiom	parseClassAxiomRemainder(OWLClassExpression startExpression)
OWLClassExpression	parseClassExpression() Parses an OWL class expression that is represented in Manchester OWL Syntax
java.util.Set<OWLClassExpression>	parseClassExpressionList(boolean allowAnnotations)
java.util.Set<OWLClassExpression>	parseClassExpressionList(java.lang.String expectedOpen, java.lang.String expectedClose)
java.util.Set<OntologyAxiomPair>	parseClassFrame()
java.util.Set<OntologyAxiomPair>	parseClassFrameEOF()
OWLLiteral	parseConstant()
OWLDataRange	parseDataIntersectionOf()
OWLDataProperty	parseDataProperty()
SWRLAtom	parseDataPropertyAtom()
java.util.Set<OntologyAxiomPair>	parseDataPropertyFrame()
java.util.Set<OWLDataProperty>	parseDataPropertyList()
OWLDataRange	parseDataRange()
java.util.Set<OWLDataRange>	parseDataRangeList()
OWLClassExpression	parseDataRestriction()
OWLDatatype	parseDatatype()
java.util.Set<OntologyAxiomPair>	parseDatatypeFrame()
OWLDataRange	parseDataUnionOf()
SWRLDifferentIndividualsAtom	parseDifferentFromAtom()
java.util.Set<OntologyAxiomPair>	parseDifferentIndividuals()
java.util.Set<OntologyAxiomPair>	parseDisjointClasses()
java.util.Set<OntologyAxiomPair>	parseDisjointProperties()
SWRLDArgument	parseDObject()
SWRLVariable	parseDVariable()
OWLFacet	parseFacet()
java.util.Set<OntologyAxiomPair>	parseFrames()
OWLAxiom	parseFunctionPropertyAxiom()
SWRLIndividualArgument	parseIIndividualObject()
OWLImportsDeclaration	parseImportsDeclaration(OWLOntology ont)
OWLIndividual	parseIndividual()
OWLIndividual	parseIndividual(boolean defined)
java.util.Set<OntologyAxiomPair>	parseIndividualFrame()
java.util.Set<OWLIndividual>	parseIndividualList()
int	parseInteger()
OWLClassExpression	parseIntersection()
OWLAxiom	parseInverseFunctionalPropertyAxiom()
SWRLIArgument	parseIObject()
IRI	parseIRI()
OWLAxiom	parseIrreflexivePropertyAxiom()
SWRLVariable	parseIVariable()
SWRLLiteralArgument	parseLiteralObject()
java.util.Set<IRI>	parseNameList()
java.util.Set<OntologyAxiomPair>	parseNaryEquivalentClasses()
java.util.Set<OntologyAxiomPair>	parseNaryEquivalentProperties()
OWLClassExpression	parseNonNaryClassExpression() Parses all class expressions except ObjectIntersectionOf and ObjectUnionOf
OWLClassExpression	parseObjectOneOf()
SWRLAtom	parseObjectPropertyAtom()
OWLObjectPropertyAxiom	parseObjectPropertyAxiom()
java.util.List<OWLObjectPropertyExpression>	parseObjectPropertyChain()
java.util.Set<OWLAxiom>	parseObjectPropertyCharacteristicList(OWLObjectPropertyExpression prop)
OWLObjectPropertyExpression	parseObjectPropertyExpression()
OWLObjectPropertyExpression	parseObjectPropertyExpression(boolean allowUndeclared)
java.util.Set<OntologyAxiomPair>	parseObjectPropertyFrame()
java.util.Set<OntologyAxiomPair>	parseObjectPropertyFrame(boolean eof)
java.util.Set<OWLObjectPropertyExpression>	parseObjectPropertyList()
OWLClassExpression	parseObjectRestriction()
void	parseOntology(OWLOntologyManager manager, OWLOntology ont)
ManchesterOWLSyntaxOntologyHeader	parseOntologyHeader(boolean toEOF)
java.util.Map<java.lang.String,IRI>	parsePrefixDeclaration()
OWLSubPropertyChainOfAxiom	parsePropertyChainSubPropertyAxiom()
OWLPropertyExpression	parsePropertyExpression()
java.util.Set<OWLPropertyExpression>	parsePropertyList()
OWLAxiom	parseReflexivePropertyAxiom()
OWLClassExpression	parseRestriction()
SWRLAtom	parseRuleAtom()
java.util.List<SWRLAtom>	parseRuleAtoms()
java.util.Set<OntologyAxiomPair>	parseRuleFrame()
SWRLSameIndividualAtom	parseSameAsAtom()
java.util.Set<OntologyAxiomPair>	parseSameIndividual()
OWLAxiom	parseSymmetricPropertyAxiom()
OWLAxiom	parseTransitivePropertyAxiom()
OWLClassExpression	parseUnion()
java.util.Set<OntologyAxiomPair>	parseValuePartitionFrame()
java.util.Set<OntologyAxiomPair>	parseValuePartitionValues(java.util.Set<OWLOntology> onts, OWLClass superclass)
IRI	parseVariable()
protected java.lang.String	peekToken()
protected void	reset()
void	setBase(java.lang.String base)
void	setDefaultOntology(OWLOntology defaultOntology)
void	setOWLEntityChecker(OWLEntityChecker owlEntityChecker)
void	setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)
protected void	throwOntologyNameOrURIExpectedException()

Methods inherited from class java.lang.Object

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

Field Detail

AND

public static final java.lang.String AND

OR

public static final java.lang.String OR

INVERSE

public static final java.lang.String INVERSE

SOME

public static final java.lang.String SOME

SELF

public static final java.lang.String SELF

ONLY

public static final java.lang.String ONLY

VALUE

public static final java.lang.String VALUE

MIN

public static final java.lang.String MIN

MAX

public static final java.lang.String MAX

EXACTLY

public static final java.lang.String EXACTLY

ONLYSOME

public static final java.lang.String ONLYSOME

NOT

public static final java.lang.String NOT

CLASS

public static final java.lang.String CLASS

DATATYPE

public static final java.lang.String DATATYPE

SUB_CLASS_OF

public static final java.lang.String SUB_CLASS_OF

SUPER_CLASS_OF

public static final java.lang.String SUPER_CLASS_OF

INSTANCES

public static final java.lang.String INSTANCES

See Also:

Constant Field Values

EQUIVALENT_TO

public static final java.lang.String EQUIVALENT_TO

EQUIVALENT_CLASSES

public static final java.lang.String EQUIVALENT_CLASSES

EQUIVALENT_PROPERTIES

public static final java.lang.String EQUIVALENT_PROPERTIES

DISJOINT_WITH

public static final java.lang.String DISJOINT_WITH

DISJOINT_UNION_OF

public static final java.lang.String DISJOINT_UNION_OF

HAS_KEY

public static final java.lang.String HAS_KEY

DISJOINT_CLASSES

public static final java.lang.String DISJOINT_CLASSES

DISJOINT_PROPERTIES

public static final java.lang.String DISJOINT_PROPERTIES

OBJECT_PROPERTY

public static final java.lang.String OBJECT_PROPERTY

DATA_PROPERTY

public static final java.lang.String DATA_PROPERTY

ANNOTATION_PROPERTY

public static final java.lang.String ANNOTATION_PROPERTY

SUB_PROPERTY_OF

public static final java.lang.String SUB_PROPERTY_OF

SUPER_PROPERTY_OF

public static final java.lang.String SUPER_PROPERTY_OF

DOMAIN

public static final java.lang.String DOMAIN

RANGE

public static final java.lang.String RANGE

INVERSES

public static final java.lang.String INVERSES

CHARACTERISTICS

public static final java.lang.String CHARACTERISTICS

INDIVIDUAL

public static final java.lang.String INDIVIDUAL

INDIVIDUALS

public static final java.lang.String INDIVIDUALS

ANNOTATIONS

public static final java.lang.String ANNOTATIONS

TYPES

public static final java.lang.String TYPES

FACTS

public static final java.lang.String FACTS

SAME_AS

public static final java.lang.String SAME_AS

SAME_INDIVIDUAL

public static final java.lang.String SAME_INDIVIDUAL

DIFFERENT_FROM

public static final java.lang.String DIFFERENT_FROM

DIFFERENT_INDIVIDUALS

public static final java.lang.String DIFFERENT_INDIVIDUALS

VALUE_PARTITION

public static final java.lang.String VALUE_PARTITION

See Also:

Constant Field Values

ONTOLOGY

public static final java.lang.String ONTOLOGY

PREFIX

public static final java.lang.String PREFIX

IMPORT

public static final java.lang.String IMPORT

SUB_PROPERTY_CHAIN

public static final java.lang.String SUB_PROPERTY_CHAIN

FUNCTIONAL

public static final java.lang.String FUNCTIONAL

INVERSE_FUNCTIONAL

public static final java.lang.String INVERSE_FUNCTIONAL

SYMMETRIC

public static final java.lang.String SYMMETRIC

ANTI_SYMMETRIC

public static final java.lang.String ANTI_SYMMETRIC

ASYMMETRIC

public static final java.lang.String ASYMMETRIC

TRANSITIVE

public static final java.lang.String TRANSITIVE

REFLEXIVE

public static final java.lang.String REFLEXIVE

IRREFLEXIVE

public static final java.lang.String IRREFLEXIVE

INVERSE_OF

public static final java.lang.String INVERSE_OF

RULE

public static final java.lang.String RULE

Constructor Detail

ManchesterOWLSyntaxEditorParser

public ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory,
                                       java.lang.String s)

Method Detail

getTokenizer

protected ManchesterOWLSyntaxTokenizer getTokenizer(java.lang.String s)

getDataFactory

public OWLDataFactory getDataFactory()

getTokens

protected java.util.List<ManchesterOWLSyntaxTokenizer.Token> getTokens()

reset

protected void reset()

getBase

public java.lang.String getBase()

setBase

public void setBase(java.lang.String base)

getOWLEntityChecker

public OWLEntityChecker getOWLEntityChecker()

setOWLEntityChecker

public void setOWLEntityChecker(OWLEntityChecker owlEntityChecker)

isOntologyName

public boolean isOntologyName(java.lang.String name)

isClassName

public boolean isClassName(java.lang.String name)

getOntology

public OWLOntology getOntology(java.lang.String name)

setOWLOntologyChecker

public void setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)

isObjectPropertyName

public boolean isObjectPropertyName(java.lang.String name)

isAnnotationPropertyName

public boolean isAnnotationPropertyName(java.lang.String name)

isDataPropertyName

public boolean isDataPropertyName(java.lang.String name)

isIndividualName

public boolean isIndividualName(java.lang.String name)

isDatatypeName

public boolean isDatatypeName(java.lang.String name)

isSWRLBuiltin

public boolean isSWRLBuiltin(java.lang.String name)

getOWLClass

public OWLClass getOWLClass(java.lang.String name)

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(java.lang.String name)

getOWLIndividual

public OWLIndividual getOWLIndividual(java.lang.String name)

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(java.lang.String name)

getOWLDatatype

public OWLDatatype getOWLDatatype(java.lang.String name)

getOWLAnnotationProperty

public OWLAnnotationProperty getOWLAnnotationProperty(java.lang.String name)

getLastToken

protected ManchesterOWLSyntaxTokenizer.Token getLastToken()

peekToken

protected java.lang.String peekToken()

consumeToken

protected java.lang.String consumeToken()

consumeToken

protected void consumeToken(java.lang.String expected)
                     throws ParserException

Throws:

ParserException

getToken

public ManchesterOWLSyntaxTokenizer.Token getToken()

getTokenPos

public int getTokenPos()

getTokenCol

public int getTokenCol()

getTokenRow

public int getTokenRow()

parseClassExpression

public OWLClassExpression parseClassExpression()
                                        throws ParserException

Parses an OWL class expression that is represented in Manchester OWL Syntax

Returns:

The parsed class expression

Throws:

ParserException - If a class expression could not be parsed.

parseIntersection

public OWLClassExpression parseIntersection()
                                     throws ParserException

Throws:

ParserException

parseUnion

public OWLClassExpression parseUnion()
                              throws ParserException

Throws:

ParserException

parseObjectPropertyExpression

public OWLObjectPropertyExpression parseObjectPropertyExpression(boolean allowUndeclared)
                                                          throws ParserException

Throws:

ParserException

parseObjectPropertyExpression

public OWLObjectPropertyExpression parseObjectPropertyExpression()
                                                          throws ParserException

Throws:

ParserException

parsePropertyExpression

public OWLPropertyExpression parsePropertyExpression()
                                              throws ParserException

Throws:

ParserException

parseRestriction

public OWLClassExpression parseRestriction()
                                    throws ParserException

Throws:

ParserException

parseNonNaryClassExpression

public OWLClassExpression parseNonNaryClassExpression()
                                               throws ParserException

Parses all class expressions except ObjectIntersectionOf and ObjectUnionOf

Returns:

The class expression which was parsed

Throws:

ParserException - if a non-nary class expression could not be parsed

parseObjectRestriction

public OWLClassExpression parseObjectRestriction()
                                          throws ParserException

Throws:

ParserException

parseDataRestriction

public OWLClassExpression parseDataRestriction()
                                        throws ParserException

Throws:

ParserException

parseFacet

public OWLFacet parseFacet()
                    throws ParserException

Throws:

ParserException

parseDatatype

public OWLDatatype parseDatatype()
                          throws ParserException

Throws:

ParserException

parseDataRange

public OWLDataRange parseDataRange()
                            throws ParserException

Throws:

ParserException

parseDataIntersectionOf

public OWLDataRange parseDataIntersectionOf()
                                     throws ParserException

Throws:

ParserException

parseDataUnionOf

public OWLDataRange parseDataUnionOf()
                              throws ParserException

Throws:

ParserException

parseDataRangeList

public java.util.Set<OWLDataRange> parseDataRangeList()
                                               throws ParserException

Throws:

ParserException

parseConstant

public OWLLiteral parseConstant()
                         throws ParserException

Throws:

ParserException

parseInteger

public int parseInteger()
                 throws ParserException

Throws:

ParserException

getLineCol

public java.lang.String getLineCol()

parseObjectOneOf

public OWLClassExpression parseObjectOneOf()
                                    throws ParserException

Throws:

ParserException

parseFrames

public java.util.Set<OntologyAxiomPair> parseFrames()
                                             throws ParserException

Throws:

ParserException

parseDatatypeFrame

public java.util.Set<OntologyAxiomPair> parseDatatypeFrame()
                                                    throws ParserException

Throws:

ParserException

parseNaryEquivalentClasses

public java.util.Set<OntologyAxiomPair> parseNaryEquivalentClasses()
                                                            throws ParserException

Throws:

ParserException

parseNaryEquivalentProperties

public java.util.Set<OntologyAxiomPair> parseNaryEquivalentProperties()
                                                               throws ParserException

Throws:

ParserException

parseAnnotations

public java.util.Set<OntologyAxiomPair> parseAnnotations(OWLAnnotationSubject subject)
                                                  throws ParserException

Throws:

ParserException

parseClassFrame

public java.util.Set<OntologyAxiomPair> parseClassFrame()
                                                 throws ParserException

Throws:

ParserException

parseClassFrameEOF

public java.util.Set<OntologyAxiomPair> parseClassFrameEOF()
                                                    throws ParserException

Throws:

ParserException

setDefaultOntology

public void setDefaultOntology(OWLOntology defaultOntology)

parseObjectPropertyFrame

public java.util.Set<OntologyAxiomPair> parseObjectPropertyFrame()
                                                          throws ParserException

Throws:

ParserException

parseObjectPropertyFrame

public java.util.Set<OntologyAxiomPair> parseObjectPropertyFrame(boolean eof)
                                                          throws ParserException

Throws:

ParserException

parseDataPropertyFrame

public java.util.Set<OntologyAxiomPair> parseDataPropertyFrame()
                                                        throws ParserException

Throws:

ParserException

parseAnnotationPropertyFrame

public java.util.Set<OntologyAxiomPair> parseAnnotationPropertyFrame()
                                                              throws ParserException

Throws:

ParserException

parseIndividualFrame

public java.util.Set<OntologyAxiomPair> parseIndividualFrame()
                                                      throws ParserException

Throws:

ParserException

parseValuePartitionFrame

public java.util.Set<OntologyAxiomPair> parseValuePartitionFrame()
                                                          throws ParserException

Throws:

ParserException

parseValuePartitionValues

public java.util.Set<OntologyAxiomPair> parseValuePartitionValues(java.util.Set<OWLOntology> onts,
                                                                  OWLClass superclass)
                                                           throws ParserException

Throws:

ParserException

parseRuleFrame

public java.util.Set<OntologyAxiomPair> parseRuleFrame()
                                                throws ParserException

Throws:

ParserException

parseRuleAtoms

public java.util.List<SWRLAtom> parseRuleAtoms()
                                        throws ParserException

Throws:

ParserException

parseRuleAtom

public SWRLAtom parseRuleAtom()
                       throws ParserException

Throws:

ParserException

parseDataPropertyAtom

public SWRLAtom parseDataPropertyAtom()
                               throws ParserException

Throws:

ParserException

parseObjectPropertyAtom

public SWRLAtom parseObjectPropertyAtom()
                                 throws ParserException

Throws:

ParserException

parseClassAtom

public SWRLAtom parseClassAtom()
                        throws ParserException

Throws:

ParserException

parseDifferentFromAtom

public SWRLDifferentIndividualsAtom parseDifferentFromAtom()
                                                    throws ParserException

Throws:

ParserException

parseSameAsAtom

public SWRLSameIndividualAtom parseSameAsAtom()
                                       throws ParserException

Throws:

ParserException

parseIObject

public SWRLIArgument parseIObject()
                           throws ParserException

Throws:

ParserException

getVariableIRI

public IRI getVariableIRI(java.lang.String var)

parseIVariable

public SWRLVariable parseIVariable()
                            throws ParserException

Throws:

ParserException

parseIIndividualObject

public SWRLIndividualArgument parseIIndividualObject()
                                              throws ParserException

Throws:

ParserException

parseVariable

public IRI parseVariable()
                  throws ParserException

Throws:

ParserException

parseDObject

public SWRLDArgument parseDObject()
                           throws ParserException

Throws:

ParserException

parseDVariable

public SWRLVariable parseDVariable()
                            throws ParserException

Throws:

ParserException

parseLiteralObject

public SWRLLiteralArgument parseLiteralObject()
                                       throws ParserException

Throws:

ParserException

parseBuiltInAtom

public SWRLBuiltInAtom parseBuiltInAtom()
                                 throws ParserException

Throws:

ParserException

parseDisjointClasses

public java.util.Set<OntologyAxiomPair> parseDisjointClasses()
                                                      throws ParserException

Throws:

ParserException

parseSameIndividual

public java.util.Set<OntologyAxiomPair> parseSameIndividual()
                                                     throws ParserException

Throws:

ParserException

parseDisjointProperties

public java.util.Set<OntologyAxiomPair> parseDisjointProperties()
                                                         throws ParserException

Throws:

ParserException

parseDifferentIndividuals

public java.util.Set<OntologyAxiomPair> parseDifferentIndividuals()
                                                           throws ParserException

Throws:

ParserException

parseObjectPropertyCharacteristicList

public java.util.Set<OWLAxiom> parseObjectPropertyCharacteristicList(OWLObjectPropertyExpression prop)
                                                              throws ParserException

Throws:

ParserException

parseAnnotatedClassExpressionList

public java.util.Map<OWLClassExpression,java.util.Set<OWLAnnotation>> parseAnnotatedClassExpressionList()
                                                                                                 throws ParserException

Throws:

ParserException

parseClassExpressionList

public java.util.Set<OWLClassExpression> parseClassExpressionList(boolean allowAnnotations)
                                                           throws ParserException

Throws:

ParserException

parseClassExpressionList

public java.util.Set<OWLClassExpression> parseClassExpressionList(java.lang.String expectedOpen,
                                                                  java.lang.String expectedClose)
                                                           throws ParserException

Throws:

ParserException

parseDataPropertyList

public java.util.Set<OWLDataProperty> parseDataPropertyList()
                                                     throws ParserException

Throws:

ParserException

parseAnnotatedDataPropertyList

public java.util.Map<OWLDataProperty,java.util.Set<OWLAnnotation>> parseAnnotatedDataPropertyList()
                                                                                           throws ParserException

Throws:

ParserException

parseAnnotationPropertyList

public java.util.Set<OWLAnnotationProperty> parseAnnotationPropertyList()
                                                                 throws ParserException

Throws:

ParserException

parseAnnotatedPropertyList

public java.util.Map<OWLPropertyExpression,java.util.Set<OWLAnnotation>> parseAnnotatedPropertyList()
                                                                                             throws ParserException

Throws:

ParserException

parsePropertyList

public java.util.Set<OWLPropertyExpression> parsePropertyList()
                                                       throws ParserException

Throws:

ParserException

parseObjectPropertyList

public java.util.Set<OWLObjectPropertyExpression> parseObjectPropertyList()
                                                                   throws ParserException

Throws:

ParserException

parseAnnotatedObjectPropertyList

public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLAnnotation>> parseAnnotatedObjectPropertyList()
                                                                                                         throws ParserException

Throws:

ParserException

parseIndividualList

public java.util.Set<OWLIndividual> parseIndividualList()
                                                 throws ParserException

Throws:

ParserException

parseObjectPropertyChain

public java.util.List<OWLObjectPropertyExpression> parseObjectPropertyChain()
                                                                     throws ParserException

Throws:

ParserException

parsePropertyChainSubPropertyAxiom

public OWLSubPropertyChainOfAxiom parsePropertyChainSubPropertyAxiom()
                                                              throws ParserException

Throws:

ParserException

parseClassAxiom

public OWLClassAxiom parseClassAxiom()
                              throws ParserException

Throws:

ParserException

parseObjectPropertyAxiom

public OWLObjectPropertyAxiom parseObjectPropertyAxiom()
                                                throws ParserException

Throws:

ParserException

parseIndividual

public OWLIndividual parseIndividual()
                              throws ParserException

Throws:

ParserException

parseIndividual

public OWLIndividual parseIndividual(boolean defined)
                              throws ParserException

Throws:

ParserException

parseDataProperty

public OWLDataProperty parseDataProperty()
                                  throws ParserException

Throws:

ParserException

parseAnnotationProperty

public OWLAnnotationProperty parseAnnotationProperty()
                                              throws ParserException

Throws:

ParserException

parsePrefixDeclaration

public java.util.Map<java.lang.String,IRI> parsePrefixDeclaration()
                                                           throws ParserException

Throws:

ParserException

parseImportsDeclaration

public OWLImportsDeclaration parseImportsDeclaration(OWLOntology ont)
                                              throws ParserException

Throws:

ParserException

parseIRI

public IRI parseIRI()
             throws ParserException

Throws:

ParserException

parseNameList

public java.util.Set<IRI> parseNameList()
                                 throws ParserException

Throws:

ParserException

parseOntology

public void parseOntology(OWLOntologyManager manager,
                          OWLOntology ont)
                   throws ParserException,
                          UnloadableImportException

Throws:

ParserException

UnloadableImportException

parseOntologyHeader

public ManchesterOWLSyntaxOntologyHeader parseOntologyHeader(boolean toEOF)
                                                      throws ParserException

Throws:

ParserException

createException

protected ParserException createException(boolean ontologyNameExpected)
                                   throws ParserException

Throws:

ParserException

throwOntologyNameOrURIExpectedException

protected void throwOntologyNameOrURIExpectedException()
                                                throws ParserException

Throws:

ParserException

createException

protected ParserException createException(java.lang.String... keywords)
                                   throws ParserException

Throws:

ParserException

createException

protected ParserException createException(boolean classNameExpected,
                                          boolean objectPropertyNameExpected,
                                          boolean dataPropertyNameExpected,
                                          boolean individualNameExpected,
                                          boolean datatypeNameExpected,
                                          boolean annotationPropertyNameExpected,
                                          java.lang.String... keywords)
                                   throws ParserException

Throws:

ParserException

createException

protected ParserException createException(boolean classNameExpected,
                                          boolean objectPropertyNameExpected,
                                          boolean dataPropertyNameExpected,
                                          boolean individualNameExpected)
                                   throws ParserException

Throws:

ParserException

getTokenSequence

protected java.util.List<java.lang.String> getTokenSequence()

getIRI

public IRI getIRI(java.lang.String name)

parseAxiom

public OWLAxiom parseAxiom()
                    throws ParserException

Throws:

ParserException

parseAxiomWithClassExpressionStart

public OWLAxiom parseAxiomWithClassExpressionStart()
                                            throws ParserException

Throws:

ParserException

parseClassAxiomRemainder

public OWLAxiom parseClassAxiomRemainder(OWLClassExpression startExpression)
                                  throws ParserException

Throws:

ParserException

parseAxiomWithObjectPropertyStart

public OWLAxiom parseAxiomWithObjectPropertyStart()
                                           throws ParserException

Throws:

ParserException

parseAxiomWithDataPropertyStart

public OWLAxiom parseAxiomWithDataPropertyStart()
                                         throws ParserException

Throws:

ParserException

parseInverseFunctionalPropertyAxiom

public OWLAxiom parseInverseFunctionalPropertyAxiom()
                                             throws ParserException

Throws:

ParserException

parseSymmetricPropertyAxiom

public OWLAxiom parseSymmetricPropertyAxiom()
                                     throws ParserException

Throws:

ParserException

parseAsymmetricPropertyAxiom

public OWLAxiom parseAsymmetricPropertyAxiom()
                                      throws ParserException

Throws:

ParserException

parseTransitivePropertyAxiom

public OWLAxiom parseTransitivePropertyAxiom()
                                      throws ParserException

Throws:

ParserException

parseReflexivePropertyAxiom

public OWLAxiom parseReflexivePropertyAxiom()
                                     throws ParserException

Throws:

ParserException

parseIrreflexivePropertyAxiom

public OWLAxiom parseIrreflexivePropertyAxiom()
                                       throws ParserException

Throws:

ParserException

parseFunctionPropertyAxiom

public OWLAxiom parseFunctionPropertyAxiom()
                                    throws ParserException

Throws:

ParserException