uk.ac.manchester.cs.owlapi.dlsyntax.parser

Class DLSyntaxParser

java.lang.Object

uk.ac.manchester.cs.owlapi.dlsyntax.parser.DLSyntaxParser

All Implemented Interfaces:

DLSyntaxParserConstants

public class DLSyntaxParser
extends Object
implements DLSyntaxParserConstants

The Class DLSyntaxParser.

Field Summary

Fields

Modifier and Type	Field and Description
Token	jj_nt Next token.
Token	token Current token.
DLSyntaxParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface uk.ac.manchester.cs.owlapi.dlsyntax.parser.DLSyntaxParserConstants

ALL, AND, CLOSEBRACE, CLOSEPAR, CLOSESQPAR, COLON, COMPOSE, DEFAULT, DOT, DOUBLE, EOF, EQUIVALENTTO, EXACT, ID, IN, INT, INVERSE, MAX, MIN, NEQ, NOT, OPENBRACE, OPENPAR, OPENSQPAR, OR, SOME, SUBCLASSOF, tokenImage, TRANSITIVEROLES

Constructor Summary

Constructors

Constructor and Description
DLSyntaxParser(DLSyntaxParserTokenManager tm) Constructor with generated Token Manager.
DLSyntaxParser(InputStream stream) Constructor with InputStream.
DLSyntaxParser(InputStream stream, String encoding) Constructor with InputStream and supplied encoding.
DLSyntaxParser(Reader stream) Constructor.

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLClassExpression	And() And.
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
ParseException	generateParseException() Generate ParseException.
org.semanticweb.owlapi.model.IRI	getIRI(String val) Gets the iri.
org.semanticweb.owlapi.model.IRI	getIRIFromId(String qname) Gets the iRI from id.
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
org.semanticweb.owlapi.model.OWLClassExpression	NamedClassOrNestedDescription() Named class or nested description.
org.semanticweb.owlapi.model.OWLClassExpression	NestedClassDescription() Nested class description.
org.semanticweb.owlapi.model.OWLClassExpression	NonNaryBooleanDescription() Non nary boolean description.
org.semanticweb.owlapi.model.OWLClassExpression	Or() Or.
org.semanticweb.owlapi.model.OWLClassExpression	parseAllRestriction() Parses the all restriction.
org.semanticweb.owlapi.model.OWLAxiom	parseAxiom() Parses the axiom.
Set<org.semanticweb.owlapi.model.OWLAxiom>	parseAxioms() Parses the axioms.
org.semanticweb.owlapi.model.OWLClassExpression	parseCardinalityRestriction() Parses the cardinality restriction.
org.semanticweb.owlapi.model.OWLAxiom	parseClassAssertion() Parses the class assertion.
org.semanticweb.owlapi.model.OWLAxiom	parseClassAxiom() Parses the class axiom.
org.semanticweb.owlapi.model.OWLClassExpression	parseClassDescription() Parses the class description.
org.semanticweb.owlapi.model.OWLClass	parseClassId() Parses the class id.
org.semanticweb.owlapi.model.OWLDataRange	parseDataOneOf() Parses the data one of.
org.semanticweb.owlapi.model.OWLAxiom	parseDataPropertyAssertion() Parses the data property assertion.
org.semanticweb.owlapi.model.OWLDataPropertyExpression	parseDataPropertyId() Parses the data property id.
org.semanticweb.owlapi.model.OWLClassExpression	parseDataSomeRestriction() Parses the data some restriction.
org.semanticweb.owlapi.model.OWLClassExpression	parseDescription() Parses the description.
org.semanticweb.owlapi.model.OWLAxiom	parseDifferentIndividualsAxiom() Parses the different individuals axiom.
org.semanticweb.owlapi.model.IRI	parseId() Parses the id.
org.semanticweb.owlapi.model.OWLAxiom	parseIndividualAxiom() Parses the individual axiom.
org.semanticweb.owlapi.model.OWLIndividual	parseIndividualId() Parses the individual id.
org.semanticweb.owlapi.model.OWLLiteral	parseLiteral() Parses the literal.
org.semanticweb.owlapi.model.OWLClassExpression	parseObjectComplementOf() Parses the object complement of.
org.semanticweb.owlapi.model.OWLClassExpression	parseObjectOneOf() Parses the object one of.
org.semanticweb.owlapi.model.OWLAxiom	parseObjectPropertyAssertion() Parses the object property assertion.
org.semanticweb.owlapi.model.OWLObjectPropertyExpression	parseObjectPropertyId() Parses the object property id.
org.semanticweb.owlapi.model.OWLAxiom	parsePropertyAxiom() Parses the property axiom.
org.semanticweb.owlapi.model.OWLAxiom	parsePropertyChain() Parses the property chain.
org.semanticweb.owlapi.model.OWLClassExpression	parseRestriction() Parses the restriction.
org.semanticweb.owlapi.model.OWLAxiom	parseSameIndividual() Parses the same individual.
org.semanticweb.owlapi.model.OWLClassExpression	parseSomeRestriction() Parses the some restriction.
void	ReInit(DLSyntaxParserTokenManager tm) Reinitialise.
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
void	setDefaultNamespace(String ns) Sets the default namespace.
void	setOWLDataFactory(org.semanticweb.owlapi.model.OWLDataFactory factory) Sets the oWL data factory.
void	setPrefixMapping(String prefix, String namespace) Sets the prefix mapping.

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public DLSyntaxParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

DLSyntaxParser

public DLSyntaxParser(InputStream stream)

Constructor with InputStream.

Parameters:

stream - the stream

DLSyntaxParser

public DLSyntaxParser(InputStream stream,
                      String encoding)

Constructor with InputStream and supplied encoding.

Parameters:

stream - the stream

encoding - the encoding

DLSyntaxParser

public DLSyntaxParser(Reader stream)

Constructor.

Parameters:

stream - the stream

DLSyntaxParser

public DLSyntaxParser(DLSyntaxParserTokenManager tm)

Constructor with generated Token Manager.

Parameters:

tm - the tm

Method Detail

setOWLDataFactory

public void setOWLDataFactory(org.semanticweb.owlapi.model.OWLDataFactory factory)

Sets the oWL data factory.

Parameters:

factory - the new oWL data factory

setPrefixMapping

public void setPrefixMapping(String prefix,
                             String namespace)

Sets the prefix mapping.

Parameters:

prefix - the prefix

namespace - the namespace

setDefaultNamespace

public void setDefaultNamespace(String ns)

Sets the default namespace.

Parameters:

ns - the new default namespace

getIRI

public org.semanticweb.owlapi.model.IRI getIRI(String val)

Gets the iri.

Parameters:

val - the val

Returns:

the iri

getIRIFromId

public org.semanticweb.owlapi.model.IRI getIRIFromId(String qname)

Gets the iRI from id.

Parameters:

qname - the qname

Returns:

the iRI from id

parseDescription

public final org.semanticweb.owlapi.model.OWLClassExpression parseDescription()
                                                                       throws ParseException

Parses the description.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseAxioms

public final Set<org.semanticweb.owlapi.model.OWLAxiom> parseAxioms()
                                                             throws ParseException

Parses the axioms.

Returns:

the sets the

Throws:

ParseException - the parse exception

parseAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseAxiom()
                                                       throws ParseException

Parses the axiom.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseIndividualAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseIndividualAxiom()
                                                                 throws ParseException

Parses the individual axiom.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseDifferentIndividualsAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseDifferentIndividualsAxiom()
                                                                           throws ParseException

Parses the different individuals axiom.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseObjectPropertyAssertion

public final org.semanticweb.owlapi.model.OWLAxiom parseObjectPropertyAssertion()
                                                                         throws ParseException

Parses the object property assertion.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseDataPropertyAssertion

public final org.semanticweb.owlapi.model.OWLAxiom parseDataPropertyAssertion()
                                                                       throws ParseException

Parses the data property assertion.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseSameIndividual

public final org.semanticweb.owlapi.model.OWLAxiom parseSameIndividual()
                                                                throws ParseException

Parses the same individual.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseClassAssertion

public final org.semanticweb.owlapi.model.OWLAxiom parseClassAssertion()
                                                                throws ParseException

Parses the class assertion.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseClassAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseClassAxiom()
                                                            throws ParseException

Parses the class axiom.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parsePropertyChain

public final org.semanticweb.owlapi.model.OWLAxiom parsePropertyChain()
                                                               throws ParseException

Parses the property chain.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parsePropertyAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parsePropertyAxiom()
                                                               throws ParseException

Parses the property axiom.

Returns:

the oWL axiom

Throws:

ParseException - the parse exception

parseClassDescription

public final org.semanticweb.owlapi.model.OWLClassExpression parseClassDescription()
                                                                            throws ParseException

Parses the class description.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

Or

public final org.semanticweb.owlapi.model.OWLClassExpression Or()
                                                         throws ParseException

Or.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

And

public final org.semanticweb.owlapi.model.OWLClassExpression And()
                                                          throws ParseException

And.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

NonNaryBooleanDescription

public final org.semanticweb.owlapi.model.OWLClassExpression NonNaryBooleanDescription()
                                                                                throws ParseException

Non nary boolean description.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseObjectPropertyId

public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression parseObjectPropertyId()
                                                                                     throws ParseException

Parses the object property id.

Returns:

the oWL object property expression

Throws:

ParseException - the parse exception

parseDataPropertyId

public final org.semanticweb.owlapi.model.OWLDataPropertyExpression parseDataPropertyId()
                                                                                 throws ParseException

Parses the data property id.

Returns:

the oWL data property expression

Throws:

ParseException - the parse exception

parseRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseRestriction()
                                                                       throws ParseException

Parses the restriction.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseSomeRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseSomeRestriction()
                                                                           throws ParseException

Parses the some restriction.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseDataSomeRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseDataSomeRestriction()
                                                                               throws ParseException

Parses the data some restriction.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseAllRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseAllRestriction()
                                                                          throws ParseException

Parses the all restriction.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseCardinalityRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseCardinalityRestriction()
                                                                                  throws ParseException

Parses the cardinality restriction.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseIndividualId

public final org.semanticweb.owlapi.model.OWLIndividual parseIndividualId()
                                                                   throws ParseException

Parses the individual id.

Returns:

the oWL individual

Throws:

ParseException - the parse exception

parseObjectComplementOf

public final org.semanticweb.owlapi.model.OWLClassExpression parseObjectComplementOf()
                                                                              throws ParseException

Parses the object complement of.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseObjectOneOf

public final org.semanticweb.owlapi.model.OWLClassExpression parseObjectOneOf()
                                                                       throws ParseException

Parses the object one of.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseDataOneOf

public final org.semanticweb.owlapi.model.OWLDataRange parseDataOneOf()
                                                               throws ParseException

Parses the data one of.

Returns:

the oWL data range

Throws:

ParseException - the parse exception

NamedClassOrNestedDescription

public final org.semanticweb.owlapi.model.OWLClassExpression NamedClassOrNestedDescription()
                                                                                    throws ParseException

Named class or nested description.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseClassId

public final org.semanticweb.owlapi.model.OWLClass parseClassId()
                                                         throws ParseException

Parses the class id.

Returns:

the oWL class

Throws:

ParseException - the parse exception

NestedClassDescription

public final org.semanticweb.owlapi.model.OWLClassExpression NestedClassDescription()
                                                                             throws ParseException

Nested class description.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

parseLiteral

public final org.semanticweb.owlapi.model.OWLLiteral parseLiteral()
                                                           throws ParseException

Parses the literal.

Returns:

the oWL literal

Throws:

ParseException - the parse exception

parseId

public final org.semanticweb.owlapi.model.IRI parseId()
                                               throws ParseException

Parses the id.

Returns:

the iri

Throws:

ParseException - the parse exception

ReInit

public void ReInit(InputStream stream)

Reinitialise.

Parameters:

stream - the stream

ReInit

public void ReInit(InputStream stream,
                   String encoding)

Reinitialise.

Parameters:

stream - the stream

encoding - the encoding

ReInit

public void ReInit(Reader stream)

Reinitialise.

Parameters:

stream - the stream

ReInit

public void ReInit(DLSyntaxParserTokenManager tm)

Reinitialise.

Parameters:

tm - the tm

getNextToken

public final Token getNextToken()

Get the next Token.

Returns:

the next token

getToken

public final Token getToken(int index)

Get the specific Token.

Parameters:

index - the index

Returns:

the token

generateParseException

public ParseException generateParseException()

Generate ParseException.

Returns:

the parses the exception

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.