ManchesterOWLSyntaxEditorParser (parsers 3.4.1 API)

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

```
public class ManchesterOWLSyntaxEditorParser
extends 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)

Property Summary

Properties
Type Property and Description

OWLAnnotationProperty parseAnnotation

OWLDataProperty parseData

Properties
Type	Property and Description
`OWLAnnotationProperty`	`parseAnnotation`
`OWLDataProperty`	`parseData`

Field Summary

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

Constructor Summary

Constructors
Constructor and Description
`ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory, String s)`
`ManchesterOWLSyntaxEditorParser(OWLOntologyLoaderConfiguration configuration, OWLDataFactory dataFactory, String s)`

Method Summary

Methods
Modifier and Type	Method and Description
`protected String`	`consumeToken()`
`protected void`	`consumeToken(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, String... keywords)`
`protected ParserException`	`createException(String... keywords)`
`String`	`getBase()`
`OWLDataFactory`	`getDataFactory()`
`IRI`	`getIRI(String name)`
`protected ManchesterOWLSyntaxTokenizer.Token`	`getLastToken()`
`String`	`getLineCol()`
`OWLOntology`	`getOntology(String name)`
`OWLAnnotationProperty`	`getOWLAnnotationProperty(String name)`
`OWLClass`	`getOWLClass(String name)`
`OWLDataProperty`	`getOWLDataProperty(String name)`
`OWLDatatype`	`getOWLDatatype(String name)`
`OWLEntityChecker`	`getOWLEntityChecker()`
`OWLIndividual`	`getOWLIndividual(String name)`
`OWLObjectProperty`	`getOWLObjectProperty(String name)`
`ManchesterOWLSyntaxTokenizer.Token`	`getToken()`
`int`	`getTokenCol()`
`protected ManchesterOWLSyntaxTokenizer`	`getTokenizer(String s)`
`int`	`getTokenPos()`
`int`	`getTokenRow()`
`protected List<ManchesterOWLSyntaxTokenizer.Token>`	`getTokens()`
`protected List<String>`	`getTokenSequence()`
`IRI`	`getVariableIRI(String var)`
`void`	`initialiseClassFrameSections()`
`void`	`initialiseIndividualFrameSections()`
`boolean`	`isAllowEmptyFrameSections()`
`boolean`	`isAnnotationPropertyName(String name)`
`boolean`	`isClassName(String name)`
`boolean`	`isDataPropertyName(String name)`
`boolean`	`isDatatypeName(String name)`
`boolean`	`isIndividualName(String name)`
`boolean`	`isObjectPropertyName(String name)`
`boolean`	`isOntologyName(String name)`
`boolean`	`isSWRLBuiltin(String name)`
`Map<OWLClassExpression,Set<Set<OWLAnnotation>>>`	`parseAnnotatedClassExpressionList()`
`Map<OWLDataProperty,Set<OWLAnnotation>>`	`parseAnnotatedDataPropertyList()`
`Map<OWLObjectPropertyExpression,Set<OWLAnnotation>>`	`parseAnnotatedObjectPropertyList()`
`Map<OWLPropertyExpression<?,?>,Set<OWLAnnotation>>`	`parseAnnotatedPropertyList()`
`OWLAnnotationProperty`	`parseAnnotationProperty()`
`Set<OntologyAxiomPair>`	`parseAnnotationPropertyFrame()`
`Set<OWLAnnotationProperty>`	`parseAnnotationPropertyList()`
`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
`Set<OWLClassExpression>`	`parseClassExpressionList(boolean allowAnnotations)`
`Set<OWLClassExpression>`	`parseClassExpressionList(String expectedOpen, String expectedClose)`
`Set<OntologyAxiomPair>`	`parseClassFrame()`
`Set<OntologyAxiomPair>`	`parseClassFrameEOF()`
`OWLLiteral`	`parseConstant()` Deprecated. Use `parseLiteral()` instead
`OWLDataRange`	`parseDataIntersectionOf()`
`OWLDataProperty`	`parseDataProperty()`
`SWRLAtom`	`parseDataPropertyAtom()`
`OWLDataPropertyExpression`	`parseDataPropertyExpression()`
`OWLDataPropertyExpression`	`parseDataPropertyExpression(boolean allowUndeclared)`
`Set<OntologyAxiomPair>`	`parseDataPropertyFrame()`
`Set<OWLDataProperty>`	`parseDataPropertyList()`
`OWLDataRange`	`parseDataRange()`
`SWRLAtom`	`parseDataRangeAtom()`
`Set<OWLDataRange>`	`parseDataRangeList()`
`OWLClassExpression`	`parseDataRestriction()`
`OWLDatatype`	`parseDatatype()`
`Set<OntologyAxiomPair>`	`parseDatatypeFrame()`
`OWLDataRange`	`parseDataUnionOf()`
`SWRLDifferentIndividualsAtom`	`parseDifferentFromAtom()`
`Set<OntologyAxiomPair>`	`parseDifferentIndividuals()`
`Set<OntologyAxiomPair>`	`parseDisjointClasses()`
`Set<OntologyAxiomPair>`	`parseDisjointProperties()`
`SWRLDArgument`	`parseDObject()`
`SWRLVariable`	`parseDVariable()`
`OWLFacet`	`parseFacet()`
`Set<OntologyAxiomPair>`	`parseFrames()`
`OWLAxiom`	`parseFunctionPropertyAxiom()`
`SWRLIndividualArgument`	`parseIIndividualObject()`
`OWLImportsDeclaration`	`parseImportsDeclaration(OWLOntology ont)`
`OWLIndividual`	`parseIndividual()`
`OWLIndividual`	`parseIndividual(boolean defined)`
`Set<OntologyAxiomPair>`	`parseIndividualFrame()`
`Set<OWLIndividual>`	`parseIndividualList()`
`int`	`parseInteger()`
`OWLClassExpression`	`parseIntersection()`
`OWLAxiom`	`parseInverseFunctionalPropertyAxiom()`
`SWRLIArgument`	`parseIObject()`
`IRI`	`parseIRI()`
`OWLAxiom`	`parseIrreflexivePropertyAxiom()`
`SWRLVariable`	`parseIVariable()`
`OWLLiteral`	`parseLiteral()`
`SWRLLiteralArgument`	`parseLiteralObject()`
`Set<IRI>`	`parseNameList()`
`Set<OntologyAxiomPair>`	`parseNaryEquivalentClasses()`
`Set<OntologyAxiomPair>`	`parseNaryEquivalentProperties()`
`OWLClassExpression`	`parseNonNaryClassExpression()` Parses all class expressions except ObjectIntersectionOf and ObjectUnionOf
`OWLClassExpression`	`parseObjectOneOf()`
`SWRLAtom`	`parseObjectPropertyAtom()`
`OWLObjectPropertyAxiom`	`parseObjectPropertyAxiom()`
`List<OWLObjectPropertyExpression>`	`parseObjectPropertyChain()`
`Set<OWLAxiom>`	`parseObjectPropertyCharacteristicList(OWLObjectPropertyExpression prop)`
`OWLObjectPropertyExpression`	`parseObjectPropertyExpression()`
`OWLObjectPropertyExpression`	`parseObjectPropertyExpression(boolean allowUndeclared)`
`Set<OntologyAxiomPair>`	`parseObjectPropertyFrame()`
`Set<OntologyAxiomPair>`	`parseObjectPropertyFrame(boolean eof)`
`Set<OWLObjectPropertyExpression>`	`parseObjectPropertyList()`
`OWLClassExpression`	`parseObjectRestriction()`
`ManchesterOWLSyntaxOntologyFormat`	`parseOntology(OWLOntology ont)`
`ManchesterOWLSyntaxOntologyFormat`	`parseOntology(OWLOntologyManager manager, OWLOntology ont)` Deprecated.
`ManchesterOWLSyntaxOntologyHeader`	`parseOntologyHeader(boolean toEOF)`
`Map<String,IRI>`	`parsePrefixDeclaration()`
`OWLSubPropertyChainOfAxiom`	`parsePropertyChainSubPropertyAxiom()`
`OWLPropertyExpression<?,?>`	`parsePropertyExpression()`
`Set<OWLPropertyExpression<?,?>>`	`parsePropertyList()`
`OWLAxiom`	`parseReflexivePropertyAxiom()`
`OWLClassExpression`	`parseRestriction()`
`SWRLAtom`	`parseRuleAtom()`
`List<SWRLAtom>`	`parseRuleAtoms()`
`Set<OntologyAxiomPair>`	`parseRuleFrame()`
`SWRLSameIndividualAtom`	`parseSameAsAtom()`
`Set<OntologyAxiomPair>`	`parseSameIndividual()`
`OWLAxiom`	`parseSymmetricPropertyAxiom()`
`OWLAxiom`	`parseTransitivePropertyAxiom()`
`OWLClassExpression`	`parseUnion()`
`Set<OntologyAxiomPair>`	`parseValuePartitionFrame()`
`Set<OntologyAxiomPair>`	`parseValuePartitionValues(Set<OWLOntology> onts, OWLClass superclass)`
`IRI`	`parseVariable()`
`protected String`	`peekToken()`
`protected void`	`reset()`
`void`	`setAllowEmptyFrameSections(boolean allowEmptyFrameSections)`
`void`	`setBase(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

Property Detail
- parseData
  
  Throws:
  
  ParserException
- parseAnnotation
  
  Throws:
  
  ParserException

Field Detail

dataFactory
```
protected OWLDataFactory dataFactory
```

AND
```
public static final String AND
```

OR
```
public static final String OR
```

INVERSE
```
public static final String INVERSE
```

SOME
```
public static final String SOME
```

SELF
```
public static final String SELF
```

ONLY
```
public static final String ONLY
```

VALUE
```
public static final String VALUE
```

MIN
```
public static final String MIN
```

MAX
```
public static final String MAX
```

EXACTLY
```
public static final String EXACTLY
```

ONLYSOME
```
public static final String ONLYSOME
```

NOT
```
public static final String NOT
```

CLASS
```
public static final String CLASS
```

DATATYPE
```
public static final String DATATYPE
```

SUB_CLASS_OF

public static final String SUB_CLASS_OF

SUPER_CLASS_OF

public static final String SUPER_CLASS_OF

INSTANCES
```
public static final String INSTANCES
```
See Also:
Constant Field Values

EQUIVALENT_TO

public static final String EQUIVALENT_TO

EQUIVALENT_CLASSES

public static final String EQUIVALENT_CLASSES

EQUIVALENT_PROPERTIES

public static final String EQUIVALENT_PROPERTIES

DISJOINT_WITH

public static final String DISJOINT_WITH

DISJOINT_UNION_OF

public static final String DISJOINT_UNION_OF

HAS_KEY
```
public static final String HAS_KEY
```

DISJOINT_CLASSES

public static final String DISJOINT_CLASSES

DISJOINT_PROPERTIES

public static final String DISJOINT_PROPERTIES

OBJECT_PROPERTY

public static final String OBJECT_PROPERTY

DATA_PROPERTY

public static final String DATA_PROPERTY

ANNOTATION_PROPERTY

public static final String ANNOTATION_PROPERTY

SUB_PROPERTY_OF

public static final String SUB_PROPERTY_OF

SUPER_PROPERTY_OF

public static final String SUPER_PROPERTY_OF

DOMAIN
```
public static final String DOMAIN
```

RANGE
```
public static final String RANGE
```

INVERSES
```
public static final String INVERSES
```

CHARACTERISTICS

public static final String CHARACTERISTICS

INDIVIDUAL
```
public static final String INDIVIDUAL
```

INDIVIDUALS
```
public static final String INDIVIDUALS
```

ANNOTATIONS
```
public static final String ANNOTATIONS
```

TYPES
```
public static final String TYPES
```

TYPE
```
public static final String TYPE
```

FACTS
```
public static final String FACTS
```

SAME_AS
```
public static final String SAME_AS
```

SAME_INDIVIDUAL

public static final String SAME_INDIVIDUAL

DIFFERENT_FROM

public static final String DIFFERENT_FROM

DIFFERENT_INDIVIDUALS

public static final String DIFFERENT_INDIVIDUALS

VALUE_PARTITION

public static final String VALUE_PARTITION

See Also:: Constant Field Values

ONTOLOGY
```
public static final String ONTOLOGY
```

PREFIX
```
public static final String PREFIX
```

IMPORT
```
public static final String IMPORT
```

SUB_PROPERTY_CHAIN

public static final String SUB_PROPERTY_CHAIN

FUNCTIONAL
```
public static final String FUNCTIONAL
```

INVERSE_FUNCTIONAL

public static final String INVERSE_FUNCTIONAL

SYMMETRIC
```
public static final String SYMMETRIC
```

ANTI_SYMMETRIC

public static final String ANTI_SYMMETRIC

ASYMMETRIC
```
public static final String ASYMMETRIC
```

TRANSITIVE
```
public static final String TRANSITIVE
```

REFLEXIVE
```
public static final String REFLEXIVE
```

IRREFLEXIVE
```
public static final String IRREFLEXIVE
```

INVERSE_OF
```
public static final String INVERSE_OF
```

RULE
```
public static final String RULE
```

Constructor Detail

ManchesterOWLSyntaxEditorParser

public ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory,
                               String s)

ManchesterOWLSyntaxEditorParser

public ManchesterOWLSyntaxEditorParser(OWLOntologyLoaderConfiguration configuration,
                               OWLDataFactory dataFactory,
                               String s)

Method Detail

isAllowEmptyFrameSections

public boolean isAllowEmptyFrameSections()

setAllowEmptyFrameSections

public void setAllowEmptyFrameSections(boolean allowEmptyFrameSections)

getTokenizer

protected ManchesterOWLSyntaxTokenizer getTokenizer(String s)

getDataFactory

public OWLDataFactory getDataFactory()

initialiseClassFrameSections

public void initialiseClassFrameSections()

initialiseIndividualFrameSections

public void initialiseIndividualFrameSections()

getTokens

protected List<ManchesterOWLSyntaxTokenizer.Token> getTokens()

reset
```
protected void reset()
```

getBase
```
public String getBase()
```

setBase
```
public void setBase(String base)
```

getOWLEntityChecker

public OWLEntityChecker getOWLEntityChecker()

setOWLEntityChecker

public void setOWLEntityChecker(OWLEntityChecker owlEntityChecker)

isOntologyName

public boolean isOntologyName(String name)

isClassName

public boolean isClassName(String name)

getOntology

public OWLOntology getOntology(String name)

setOWLOntologyChecker

public void setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)

isObjectPropertyName

public boolean isObjectPropertyName(String name)

isAnnotationPropertyName

public boolean isAnnotationPropertyName(String name)

isDataPropertyName

public boolean isDataPropertyName(String name)

isIndividualName

public boolean isIndividualName(String name)

isDatatypeName

public boolean isDatatypeName(String name)

isSWRLBuiltin

public boolean isSWRLBuiltin(String name)

getOWLClass

public OWLClass getOWLClass(String name)

getOWLObjectProperty

public OWLObjectProperty getOWLObjectProperty(String name)

getOWLIndividual

public OWLIndividual getOWLIndividual(String name)

getOWLDataProperty

public OWLDataProperty getOWLDataProperty(String name)

getOWLDatatype

public OWLDatatype getOWLDatatype(String name)

getOWLAnnotationProperty

public OWLAnnotationProperty getOWLAnnotationProperty(String name)

getLastToken

protected ManchesterOWLSyntaxTokenizer.Token getLastToken()

peekToken
```
protected String peekToken()
```

consumeToken
```
protected String consumeToken()
```

consumeToken

protected void consumeToken(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 Set<OWLDataRange> parseDataRangeList()
                                     throws ParserException

Throws:: ParserException

parseLiteral

public OWLLiteral parseLiteral()
                        throws ParserException

Throws:: ParserException

parseConstant

@Deprecated
public OWLLiteral parseConstant()
                         throws ParserException

Deprecated. Use parseLiteral() instead

Throws:: ParserException

parseInteger

public int parseInteger()
                 throws ParserException

Throws:: ParserException

getLineCol
```
public String getLineCol()
```

parseObjectOneOf

public OWLClassExpression parseObjectOneOf()
                                    throws ParserException

Throws:: ParserException

parseFrames

public Set<OntologyAxiomPair> parseFrames()
                                   throws ParserException

Throws:: ParserException

parseDatatypeFrame

public Set<OntologyAxiomPair> parseDatatypeFrame()
                                          throws ParserException

Throws:: ParserException

parseNaryEquivalentClasses

public Set<OntologyAxiomPair> parseNaryEquivalentClasses()
                                                  throws ParserException

Throws:: ParserException

parseNaryEquivalentProperties

public Set<OntologyAxiomPair> parseNaryEquivalentProperties()
                                                     throws ParserException

Throws:: ParserException

parseAnnotations

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

Throws:: ParserException

parseClassFrame

public Set<OntologyAxiomPair> parseClassFrame()
                                       throws ParserException

Throws:: ParserException

parseClassFrameEOF

public Set<OntologyAxiomPair> parseClassFrameEOF()
                                          throws ParserException

Throws:: ParserException

setDefaultOntology

public void setDefaultOntology(OWLOntology defaultOntology)

parseObjectPropertyFrame

public Set<OntologyAxiomPair> parseObjectPropertyFrame()
                                                throws ParserException

Throws:: ParserException

parseObjectPropertyFrame

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

Throws:: ParserException

parseDataPropertyFrame

public Set<OntologyAxiomPair> parseDataPropertyFrame()
                                              throws ParserException

Throws:: ParserException

parseAnnotationPropertyFrame

public Set<OntologyAxiomPair> parseAnnotationPropertyFrame()
                                                    throws ParserException

Throws:: ParserException

parseIndividualFrame

public Set<OntologyAxiomPair> parseIndividualFrame()
                                            throws ParserException

Throws:: ParserException

parseValuePartitionFrame

public Set<OntologyAxiomPair> parseValuePartitionFrame()
                                                throws ParserException

Throws:: ParserException

parseValuePartitionValues

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

Throws:: ParserException

parseRuleFrame

public Set<OntologyAxiomPair> parseRuleFrame()
                                      throws ParserException

Throws:: ParserException

parseRuleAtoms

public List<SWRLAtom> parseRuleAtoms()
                              throws ParserException

Throws:: ParserException

parseRuleAtom

public SWRLAtom parseRuleAtom()
                       throws ParserException

Throws:: ParserException

parseDataPropertyAtom

public SWRLAtom parseDataPropertyAtom()
                               throws ParserException

Throws:: ParserException

parseDataRangeAtom

public SWRLAtom parseDataRangeAtom()
                            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(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 Set<OntologyAxiomPair> parseDisjointClasses()
                                            throws ParserException

Throws:: ParserException

parseSameIndividual

public Set<OntologyAxiomPair> parseSameIndividual()
                                           throws ParserException

Throws:: ParserException

parseDisjointProperties

public Set<OntologyAxiomPair> parseDisjointProperties()
                                               throws ParserException

Throws:: ParserException

parseDifferentIndividuals

public Set<OntologyAxiomPair> parseDifferentIndividuals()
                                                 throws ParserException

Throws:: ParserException

parseObjectPropertyCharacteristicList

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

Throws:: ParserException

parseAnnotatedClassExpressionList

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

Throws:: ParserException

parseClassExpressionList

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

Throws:: ParserException

parseClassExpressionList

public Set<OWLClassExpression> parseClassExpressionList(String expectedOpen,
                                               String expectedClose)
                                                 throws ParserException

Throws:: ParserException

parseDataPropertyList

public Set<OWLDataProperty> parseDataPropertyList()
                                           throws ParserException

Throws:: ParserException

parseAnnotatedDataPropertyList

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

Throws:: ParserException

parseAnnotationPropertyList

public Set<OWLAnnotationProperty> parseAnnotationPropertyList()
                                                       throws ParserException

Throws:: ParserException

parseAnnotatedPropertyList

public Map<OWLPropertyExpression<?,?>,Set<OWLAnnotation>> parseAnnotatedPropertyList()
                                                                              throws ParserException

Throws:: ParserException

parsePropertyList

public Set<OWLPropertyExpression<?,?>> parsePropertyList()
                                                  throws ParserException

Throws:: ParserException

parseObjectPropertyList

public Set<OWLObjectPropertyExpression> parseObjectPropertyList()
                                                         throws ParserException

Throws:: ParserException

parseAnnotatedObjectPropertyList

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

Throws:: ParserException

parseIndividualList

public Set<OWLIndividual> parseIndividualList()
                                       throws ParserException

Throws:: ParserException

parseObjectPropertyChain

public 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 Map<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 Set<IRI> parseNameList()
                       throws ParserException

Throws:: ParserException

parseOntology

@Deprecated
public ManchesterOWLSyntaxOntologyFormat parseOntology(OWLOntologyManager manager,
                                                         OWLOntology ont)
                                                throws ParserException,
                                                       UnloadableImportException

Deprecated.

Throws:: ParserException; UnloadableImportException

parseOntology

public ManchesterOWLSyntaxOntologyFormat parseOntology(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(String... keywords)
                                   throws ParserException

Throws:: ParserException

createException

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

Throws:: ParserException

createException

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

Throws:: ParserException

getTokenSequence

protected List<String> getTokenSequence()

getIRI
```
public IRI getIRI(String name)
```

parseAxiom

public OWLAxiom parseAxiom()
                    throws ParserException

Throws:: ParserException

parseAxiomWithDataPropertyStart

public OWLAxiom parseAxiomWithDataPropertyStart()
                                         throws ParserException

Throws:: ParserException

parseDataPropertyExpression

public OWLDataPropertyExpression parseDataPropertyExpression()
                                                      throws ParserException

Throws:: ParserException

parseDataPropertyExpression

public OWLDataPropertyExpression parseDataPropertyExpression(boolean allowUndeclared)
                                                      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

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

Class ManchesterOWLSyntaxEditorParser

Property Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Property Detail

parseData

parseAnnotation

Field Detail

dataFactory

AND

OR

INVERSE

SOME

SELF

ONLY

VALUE

MIN

MAX

EXACTLY

ONLYSOME

NOT

CLASS

DATATYPE

SUB_CLASS_OF

SUPER_CLASS_OF

INSTANCES

EQUIVALENT_TO

EQUIVALENT_CLASSES

EQUIVALENT_PROPERTIES

DISJOINT_WITH

DISJOINT_UNION_OF

HAS_KEY

DISJOINT_CLASSES

DISJOINT_PROPERTIES

OBJECT_PROPERTY

DATA_PROPERTY

ANNOTATION_PROPERTY

SUB_PROPERTY_OF

SUPER_PROPERTY_OF

DOMAIN

RANGE

INVERSES

CHARACTERISTICS

INDIVIDUAL

INDIVIDUALS

ANNOTATIONS

TYPES

TYPE

FACTS

SAME_AS

SAME_INDIVIDUAL

DIFFERENT_FROM

DIFFERENT_INDIVIDUALS

VALUE_PARTITION

ONTOLOGY

PREFIX

IMPORT

SUB_PROPERTY_CHAIN

FUNCTIONAL

INVERSE_FUNCTIONAL

SYMMETRIC

ANTI_SYMMETRIC

ASYMMETRIC

TRANSITIVE

REFLEXIVE

IRREFLEXIVE

INVERSE_OF

RULE

Constructor Detail

ManchesterOWLSyntaxEditorParser

ManchesterOWLSyntaxEditorParser

Method Detail

isAllowEmptyFrameSections

setAllowEmptyFrameSections

getTokenizer

getDataFactory

initialiseClassFrameSections

initialiseIndividualFrameSections