org.semanticweb.owlapi.dlsyntax.parser

Class DLSyntaxParser

java.lang.Object

org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParser

public class DLSyntaxParser
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	ALL RegularExpression Id.
static int	AND RegularExpression Id.
static int	CLOSEBRACE RegularExpression Id.
static int	CLOSEPAR RegularExpression Id.
static int	CLOSESQPAR RegularExpression Id.
static int	COLON RegularExpression Id.
static int	COMPOSE RegularExpression Id.
static int	DEFAULT Lexical state.
static int	DOT RegularExpression Id.
static int	DOUBLE RegularExpression Id.
static int	EOF End of File.
static int	EQUIVALENTTO RegularExpression Id.
static int	EXACT RegularExpression Id.
static int	ID RegularExpression Id.
static int	IN RegularExpression Id.
static int	INT RegularExpression Id.
static int	INVERSE RegularExpression Id.
org.semanticweb.owlapi.dlsyntax.parser.Token	jj_nt Next token.
static int	MAX RegularExpression Id.
static int	MIN RegularExpression Id.
static int	NEQ RegularExpression Id.
static int	NOT RegularExpression Id.
static int	OPENBRACE RegularExpression Id.
static int	OPENPAR RegularExpression Id.
static int	OPENSQPAR RegularExpression Id.
static int	OR RegularExpression Id.
static int	SOME RegularExpression Id.
static int	SUBCLASSOF RegularExpression Id.
org.semanticweb.owlapi.dlsyntax.parser.Token	token Current token.
org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager	token_source Generated Token Manager.
static String[]	tokenImage Literal token values.
static int	TRANSITIVEROLES RegularExpression Id.

Constructor Summary

Constructors

Constructor and Description
DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm) Constructor with generated Token Manager.
DLSyntaxParser(Provider stream) Constructor.
DLSyntaxParser(String dsl) Constructor.

Method Summary

Modifier and Type	Method and Description
OWLClassExpression	And()
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
ParseException	generateParseException() Generate ParseException.
IRI	getIRI(String val)
IRI	getIRIFromId(String qname)
org.semanticweb.owlapi.dlsyntax.parser.Token	getNextToken() Get the next Token.
org.semanticweb.owlapi.dlsyntax.parser.Token	getToken(int index) Get the specific Token.
OWLClassExpression	NamedClassOrNestedDescription()
OWLClassExpression	NestedClassDescription()
OWLClassExpression	NonNaryBooleanDescription()
OWLClassExpression	Or()
OWLClassExpression	parseAllRestriction()
OWLAxiom	parseAxiom()
Set<OWLAxiom>	parseAxioms()
OWLClassExpression	parseCardinalityRestriction()
OWLAxiom	parseClassAssertion()
OWLAxiom	parseClassAxiom()
OWLClassExpression	parseClassDescription()
OWLClass	parseClassId()
OWLDataRange	parseDataOneOf()
OWLAxiom	parseDataPropertyAssertion()
OWLDataPropertyExpression	parseDataPropertyId()
OWLClassExpression	parseDataSomeRestriction()
OWLClassExpression	parseDescription()
OWLAxiom	parseDifferentIndividualsAxiom()
IRI	parseId()
OWLAxiom	parseIndividualAxiom()
OWLIndividual	parseIndividualId()
OWLLiteral	parseLiteral()
OWLClassExpression	parseObjectComplementOf()
OWLClassExpression	parseObjectOneOf()
OWLAxiom	parseObjectPropertyAssertion()
OWLObjectPropertyExpression	parseObjectPropertyId()
OWLAxiom	parsePropertyAxiom()
OWLAxiom	parsePropertyChain()
OWLClassExpression	parseRestriction()
OWLAxiom	parseSameIndividual()
OWLClassExpression	parseSomeRestriction()
void	ReInit(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm) Reinitialise.
void	ReInit(Provider stream) Reinitialise.
void	ReInit(String s)
void	setDefaultNamespace(String ns)
void	setOWLDataFactory(OWLDataFactory factory)
void	setPrefixMapping(String prefix, String namespace)
boolean	trace_enabled() Trace enabled.

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager token_source

Generated Token Manager.

token

public org.semanticweb.owlapi.dlsyntax.parser.Token token

Current token.

jj_nt

public org.semanticweb.owlapi.dlsyntax.parser.Token jj_nt

Next token.

EOF

public static final int EOF

End of File.

See Also:

Constant Field Values

SUBCLASSOF

public static final int SUBCLASSOF

RegularExpression Id.

See Also:

Constant Field Values

EQUIVALENTTO

public static final int EQUIVALENTTO

RegularExpression Id.

See Also:

Constant Field Values

NEQ

public static final int NEQ

RegularExpression Id.

See Also:

Constant Field Values

COMPOSE

public static final int COMPOSE

RegularExpression Id.

See Also:

Constant Field Values

DOT

public static final int DOT

RegularExpression Id.

See Also:

Constant Field Values

INVERSE

public static final int INVERSE

RegularExpression Id.

See Also:

Constant Field Values

OPENPAR

public static final int OPENPAR

RegularExpression Id.

See Also:

Constant Field Values

CLOSEPAR

public static final int CLOSEPAR

RegularExpression Id.

See Also:

Constant Field Values

OPENSQPAR

public static final int OPENSQPAR

RegularExpression Id.

See Also:

Constant Field Values

CLOSESQPAR

public static final int CLOSESQPAR

RegularExpression Id.

See Also:

Constant Field Values

OPENBRACE

public static final int OPENBRACE

RegularExpression Id.

See Also:

Constant Field Values

CLOSEBRACE

public static final int CLOSEBRACE

RegularExpression Id.

See Also:

Constant Field Values

COLON

public static final int COLON

RegularExpression Id.

See Also:

Constant Field Values

AND

public static final int AND

RegularExpression Id.

See Also:

Constant Field Values

OR

public static final int OR

RegularExpression Id.

See Also:

Constant Field Values

NOT

public static final int NOT

RegularExpression Id.

See Also:

Constant Field Values

SOME

public static final int SOME

RegularExpression Id.

See Also:

Constant Field Values

ALL

public static final int ALL

RegularExpression Id.

See Also:

Constant Field Values

MIN

public static final int MIN

RegularExpression Id.

See Also:

Constant Field Values

MAX

public static final int MAX

RegularExpression Id.

See Also:

Constant Field Values

EXACT

public static final int EXACT

RegularExpression Id.

See Also:

Constant Field Values

IN

public static final int IN

RegularExpression Id.

See Also:

Constant Field Values

TRANSITIVEROLES

public static final int TRANSITIVEROLES

RegularExpression Id.

See Also:

Constant Field Values

INT

public static final int INT

RegularExpression Id.

See Also:

Constant Field Values

DOUBLE

public static final int DOUBLE

RegularExpression Id.

See Also:

Constant Field Values

ID

public static final int ID

RegularExpression Id.

See Also:

Constant Field Values

DEFAULT

public static final int DEFAULT

Lexical state.

See Also:

Constant Field Values

tokenImage

public static final String[] tokenImage

Literal token values.

Constructor Detail

DLSyntaxParser

public DLSyntaxParser(Provider stream)

Constructor.

DLSyntaxParser

public DLSyntaxParser(String dsl)
               throws ParseException,
                      org.semanticweb.owlapi.dlsyntax.parser.TokenMgrException

Constructor.

Throws:

ParseException

org.semanticweb.owlapi.dlsyntax.parser.TokenMgrException

DLSyntaxParser

public DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setOWLDataFactory

public void setOWLDataFactory(OWLDataFactory factory)

setPrefixMapping

public void setPrefixMapping(String prefix,
                             String namespace)

setDefaultNamespace

public void setDefaultNamespace(String ns)

getIRI

public IRI getIRI(String val)

getIRIFromId

public IRI getIRIFromId(String qname)

parseDescription

public final OWLClassExpression parseDescription()
                                          throws ParseException

Throws:

ParseException

parseAxioms

public final Set<OWLAxiom> parseAxioms()
                                throws ParseException

Throws:

ParseException

parseAxiom

public final OWLAxiom parseAxiom()
                          throws ParseException

Throws:

ParseException

parseIndividualAxiom

public final OWLAxiom parseIndividualAxiom()
                                    throws ParseException

Throws:

ParseException

parseDifferentIndividualsAxiom

public final OWLAxiom parseDifferentIndividualsAxiom()
                                              throws ParseException

Throws:

ParseException

parseObjectPropertyAssertion

public final OWLAxiom parseObjectPropertyAssertion()
                                            throws ParseException

Throws:

ParseException

parseDataPropertyAssertion

public final OWLAxiom parseDataPropertyAssertion()
                                          throws ParseException

Throws:

ParseException

parseSameIndividual

public final OWLAxiom parseSameIndividual()
                                   throws ParseException

Throws:

ParseException

parseClassAssertion

public final OWLAxiom parseClassAssertion()
                                   throws ParseException

Throws:

ParseException

parseClassAxiom

public final OWLAxiom parseClassAxiom()
                               throws ParseException

Throws:

ParseException

parsePropertyChain

public final OWLAxiom parsePropertyChain()
                                  throws ParseException

Throws:

ParseException

parsePropertyAxiom

public final OWLAxiom parsePropertyAxiom()
                                  throws ParseException

Throws:

ParseException

parseClassDescription

public final OWLClassExpression parseClassDescription()
                                               throws ParseException

Throws:

ParseException

Or

public final OWLClassExpression Or()
                            throws ParseException

Throws:

ParseException

And

public final OWLClassExpression And()
                             throws ParseException

Throws:

ParseException

NonNaryBooleanDescription

public final OWLClassExpression NonNaryBooleanDescription()
                                                   throws ParseException

Throws:

ParseException

parseObjectPropertyId

public final OWLObjectPropertyExpression parseObjectPropertyId()
                                                        throws ParseException

Throws:

ParseException

parseDataPropertyId

public final OWLDataPropertyExpression parseDataPropertyId()
                                                    throws ParseException

Throws:

ParseException

parseRestriction

public final OWLClassExpression parseRestriction()
                                          throws ParseException

Throws:

ParseException

parseSomeRestriction

public final OWLClassExpression parseSomeRestriction()
                                              throws ParseException

Throws:

ParseException

parseDataSomeRestriction

public final OWLClassExpression parseDataSomeRestriction()
                                                  throws ParseException

Throws:

ParseException

parseAllRestriction

public final OWLClassExpression parseAllRestriction()
                                             throws ParseException

Throws:

ParseException

parseCardinalityRestriction

public final OWLClassExpression parseCardinalityRestriction()
                                                     throws ParseException

Throws:

ParseException

parseIndividualId

public final OWLIndividual parseIndividualId()
                                      throws ParseException

Throws:

ParseException

parseObjectComplementOf

public final OWLClassExpression parseObjectComplementOf()
                                                 throws ParseException

Throws:

ParseException

parseObjectOneOf

public final OWLClassExpression parseObjectOneOf()
                                          throws ParseException

Throws:

ParseException

parseDataOneOf

public final OWLDataRange parseDataOneOf()
                                  throws ParseException

Throws:

ParseException

NamedClassOrNestedDescription

public final OWLClassExpression NamedClassOrNestedDescription()
                                                       throws ParseException

Throws:

ParseException

parseClassId

public final OWLClass parseClassId()
                            throws ParseException

Throws:

ParseException

NestedClassDescription

public final OWLClassExpression NestedClassDescription()
                                                throws ParseException

Throws:

ParseException

parseLiteral

public final OWLLiteral parseLiteral()
                              throws ParseException

Throws:

ParseException

parseId

public final IRI parseId()
                  throws ParseException

Throws:

ParseException

ReInit

public void ReInit(String s)

ReInit

public void ReInit(Provider stream)

Reinitialise.

ReInit

public void ReInit(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm)

Reinitialise.

getNextToken

public final org.semanticweb.owlapi.dlsyntax.parser.Token getNextToken()

Get the next Token.

getToken

public final org.semanticweb.owlapi.dlsyntax.parser.Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

trace_enabled

public final boolean trace_enabled()

Trace enabled.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.