Package 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	Description
static final int	ALL	RegularExpression Id.
static final int	AND	RegularExpression Id.
static final int	CLOSEBRACE	RegularExpression Id.
static final int	CLOSEPAR	RegularExpression Id.
static final int	CLOSESQPAR	RegularExpression Id.
static final int	COLON	RegularExpression Id.
static final int	COMPOSE	RegularExpression Id.
static final int	DEFAULT	Lexical state.
static final int	DOT	RegularExpression Id.
static final int	DOUBLE	RegularExpression Id.
static final int	EOF	End of File.
static final int	EQUIVALENTTO	RegularExpression Id.
static final int	EXACT	RegularExpression Id.
static final int	ID	RegularExpression Id.
static final int	IN	RegularExpression Id.
static final int	INT	RegularExpression Id.
static final int	INVERSE	RegularExpression Id.
org.semanticweb.owlapi.dlsyntax.parser.Token	jj_nt	Next token.
static final int	MAX	RegularExpression Id.
static final int	MIN	RegularExpression Id.
static final int	NEQ	RegularExpression Id.
static final int	NOT	RegularExpression Id.
static final int	OPENBRACE	RegularExpression Id.
static final int	OPENPAR	RegularExpression Id.
static final int	OPENSQPAR	RegularExpression Id.
static final int	OR	RegularExpression Id.
static final int	SOME	RegularExpression Id.
static final 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 final String[]	tokenImage	Literal token values.
static final int	TRANSITIVEROLES	RegularExpression Id.

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

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

static final int EOF

End of File.

See Also:

• Constant Field Values

SUBCLASSOF

static final int SUBCLASSOF

RegularExpression Id.

See Also:

• Constant Field Values

EQUIVALENTTO

static final int EQUIVALENTTO

RegularExpression Id.

See Also:

• Constant Field Values

NEQ

static final int NEQ

RegularExpression Id.

See Also:

• Constant Field Values

COMPOSE

static final int COMPOSE

RegularExpression Id.

See Also:

• Constant Field Values

DOT

static final int DOT

RegularExpression Id.

See Also:

• Constant Field Values

INVERSE

static final int INVERSE

RegularExpression Id.

See Also:

• Constant Field Values

OPENPAR

static final int OPENPAR

RegularExpression Id.

See Also:

• Constant Field Values

CLOSEPAR

static final int CLOSEPAR

RegularExpression Id.

See Also:

• Constant Field Values

OPENSQPAR

static final int OPENSQPAR

RegularExpression Id.

See Also:

• Constant Field Values

CLOSESQPAR

static final int CLOSESQPAR

RegularExpression Id.

See Also:

• Constant Field Values

OPENBRACE

static final int OPENBRACE

RegularExpression Id.

See Also:

• Constant Field Values

CLOSEBRACE

static final int CLOSEBRACE

RegularExpression Id.

See Also:

• Constant Field Values

COLON

static final int COLON

RegularExpression Id.

See Also:

• Constant Field Values

AND

static final int AND

RegularExpression Id.

See Also:

• Constant Field Values

OR

static final int OR

RegularExpression Id.

See Also:

• Constant Field Values

NOT

static final int NOT

RegularExpression Id.

See Also:

• Constant Field Values

SOME

static final int SOME

RegularExpression Id.

See Also:

• Constant Field Values

ALL

static final int ALL

RegularExpression Id.

See Also:

• Constant Field Values

MIN

static final int MIN

RegularExpression Id.

See Also:

• Constant Field Values

MAX

static final int MAX

RegularExpression Id.

See Also:

• Constant Field Values

EXACT

static final int EXACT

RegularExpression Id.

See Also:

• Constant Field Values

IN

static final int IN

RegularExpression Id.

See Also:

• Constant Field Values

TRANSITIVEROLES

static final int TRANSITIVEROLES

RegularExpression Id.

See Also:

• Constant Field Values

INT

static final int INT

RegularExpression Id.

See Also:

• Constant Field Values

DOUBLE

static final int DOUBLE

RegularExpression Id.

See Also:

• Constant Field Values

ID

static final int ID

RegularExpression Id.

See Also:

• Constant Field Values

DEFAULT

static final int DEFAULT

Lexical state.

See Also:

• Constant Field Values

tokenImage

static final String[] tokenImage

Literal token values.

Constructor Details

DLSyntaxParser

public DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.Provider stream)

Constructor.

DLSyntaxParser

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

Constructor.

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

org.semanticweb.owlapi.dlsyntax.parser.TokenMgrException

DLSyntaxParser

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

Constructor with generated Token Manager.

Method Details

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 org.semanticweb.owlapi.dlsyntax.parser.ParseException

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseAxioms

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseAxiom

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseIndividualAxiom

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseDifferentIndividualsAxiom

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseObjectPropertyAssertion

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseDataPropertyAssertion

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseSameIndividual

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseClassAssertion

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseClassAxiom

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parsePropertyChain

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parsePropertyAxiom

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseClassDescription

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

Or

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

And

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

NonNaryBooleanDescription

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseObjectPropertyId

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseDataPropertyId

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseRestriction

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseSomeRestriction

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseDataSomeRestriction

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseAllRestriction

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseCardinalityRestriction

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseIndividualId

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseObjectComplementOf

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseObjectOneOf

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseDataOneOf

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

NamedClassOrNestedDescription

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseClassId

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

NestedClassDescription

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseLiteral

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

parseId

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

Throws:

org.semanticweb.owlapi.dlsyntax.parser.ParseException

ReInit

public void ReInit(String s)

ReInit

public void ReInit(org.semanticweb.owlapi.dlsyntax.parser.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 org.semanticweb.owlapi.dlsyntax.parser.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.