de.uulm.ecs.ai.owl.krssparser
Class KRSS2Parser

java.lang.Object
  de.uulm.ecs.ai.owl.krssparser.KRSS2Parser

All Implemented Interfaces:

KRSS2ParserConstants

public class KRSS2Parser
extends java.lang.Object
implements KRSS2ParserConstants

Field Summary

Token	jj_nt
boolean	lookingAhead
Token	token
KRSS2ParserTokenManager	token_source

Fields inherited from interface de.uulm.ecs.ai.owl.krssparser.KRSS2ParserConstants

ALL, AND, ATLEAST, ATMOST, BOTTOM, CLOSEPAR, COMPLEX, COMPOSE, DEFAULT, DEFINECONCEPT, DEFINEPRIMITIVECONCEPT, DEFINEPRIMITIVEROLE, DISTINCT, DOMAIN_ATTRIBUTE, DPOINT, ENDABOX, ENDTBOX, ENUM, EOF, EQUAL, EXACTLY, IMPLIES, IN_URI, INSTANCE, INT, INVERSE_ATTRIBUTE, LEFT_IDENTITY_ATTRIBUTE, NAME, NCCHAR_FULL, NCCHAR1, NIL, NOT, OPENPAR, OR, PARENT, PARENTS, PRIMITIVECONCEPT, RANGE, RANGE_ATTRIBUTE, REFLEXIVE, RELATED, RIGHT_IDENTITY_ATTRIBUTE, ROLE_INCLUSION, SOME, SUBROLE, SYMMETRIC_ATTRIBUTE, tokenImage, TOP, TRANSITIVE, TRANSITIVE_ATTRIBUTE, TRUE, URI_END, URI_START

Constructor Summary

KRSS2Parser(java.io.InputStream stream)

KRSS2Parser(java.io.InputStream stream, java.lang.String encoding)

KRSS2Parser(KRSS2ParserTokenManager tm)

KRSS2Parser(java.io.Reader stream)

Method Summary

void	ABoxStatement()
OWLDescription	All()
OWLDescription	And()
OWLDescription	AtLeast()
OWLDescription	AtMost()
void	ComplexRoleInclusion()
OWLDescription	ConceptExpression()
OWLDescription	ConceptName()
java.util.Set<OWLDescription>	ConceptSet()
void	DefineConcept()
void	DefinePrimitiveConcept()
void	DefinePrimitiveRole()
void	disable_tracing()
void	Distinct()
void	Domain(OWLObjectProperty subProp)
void	enable_tracing()
void	Equal()
OWLDescription	Exactly()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
java.net.URI	getURI(java.lang.String s)
void	Implies()
OWLIndividual	IndividualName()
void	Instance()
int	Integer()
void	InverseProperty(OWLObjectProperty subProp)
void	LeftIdentity(OWLObjectProperty r)
java.net.URI	Name()
OWLDescription	Not()
OWLDescription	Or()
void	Parent(OWLObjectProperty subProp)
void	Parents(OWLObjectProperty subProp)
void	parse()
boolean	parseBoolean()
void	Range()
void	RangeAttribute(OWLObjectProperty subProp)
void	ReInit(java.io.InputStream stream)
void	ReInit(java.io.InputStream stream, java.lang.String encoding)
void	ReInit(KRSS2ParserTokenManager tm)
void	ReInit(java.io.Reader stream)
void	Related()
void	RightIdentity(OWLObjectProperty r)
OWLObjectProperty	RoleName()
java.util.Set<OWLObjectProperty>	RoleNameSet()
void	setIgnoreAnnotationsAndDeclarations(boolean b)
void	setIgnoreOntologyBaseURI(boolean b)
void	setOntology(OWLOntology ontology, OWLDataFactory dataFactory)
OWLDescription	Some()
void	SymmetricAttribute(OWLObjectProperty property)
void	TBoxStatement()
void	Transitive()
void	TransitiveAttribute(OWLObjectProperty property)

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public KRSS2ParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead

Constructor Detail

KRSS2Parser

public KRSS2Parser(java.io.InputStream stream)

KRSS2Parser

public KRSS2Parser(java.io.InputStream stream,
                   java.lang.String encoding)

KRSS2Parser

public KRSS2Parser(java.io.Reader stream)

KRSS2Parser

public KRSS2Parser(KRSS2ParserTokenManager tm)

Method Detail

setOntology

public void setOntology(OWLOntology ontology,
                        OWLDataFactory dataFactory)

getURI

public java.net.URI getURI(java.lang.String s)
                    throws java.net.URISyntaxException

Throws:

java.net.URISyntaxException

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(boolean b)

setIgnoreOntologyBaseURI

public void setIgnoreOntologyBaseURI(boolean b)

parse

public final void parse()
                 throws ParseException,
                        KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

TBoxStatement

public final void TBoxStatement()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DefinePrimitiveConcept

public final void DefinePrimitiveConcept()
                                  throws ParseException,
                                         KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DefineConcept

public final void DefineConcept()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DefinePrimitiveRole

public final void DefinePrimitiveRole()
                               throws ParseException,
                                      KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RightIdentity

public final void RightIdentity(OWLObjectProperty r)
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

LeftIdentity

public final void LeftIdentity(OWLObjectProperty r)
                        throws ParseException,
                               KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

InverseProperty

public final void InverseProperty(OWLObjectProperty subProp)
                           throws ParseException,
                                  KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Domain

public final void Domain(OWLObjectProperty subProp)
                  throws ParseException,
                         KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RangeAttribute

public final void RangeAttribute(OWLObjectProperty subProp)
                          throws ParseException,
                                 KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

TransitiveAttribute

public final void TransitiveAttribute(OWLObjectProperty property)
                               throws ParseException,
                                      KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

SymmetricAttribute

public final void SymmetricAttribute(OWLObjectProperty property)
                              throws ParseException,
                                     KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Parents

public final void Parents(OWLObjectProperty subProp)
                   throws ParseException,
                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Parent

public final void Parent(OWLObjectProperty subProp)
                  throws ParseException,
                         KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ComplexRoleInclusion

public final void ComplexRoleInclusion()
                                throws ParseException,
                                       KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Implies

public final void Implies()
                   throws ParseException,
                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Transitive

public final void Transitive()
                      throws ParseException,
                             KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Range

public final void Range()
                 throws ParseException,
                        KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ConceptExpression

public final OWLDescription ConceptExpression()
                                       throws ParseException,
                                              KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ConceptName

public final OWLDescription ConceptName()
                                 throws ParseException,
                                        KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ConceptSet

public final java.util.Set<OWLDescription> ConceptSet()
                                               throws ParseException,
                                                      KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

And

public final OWLDescription And()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Or

public final OWLDescription Or()
                        throws ParseException,
                               KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Not

public final OWLDescription Not()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

All

public final OWLDescription All()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Some

public final OWLDescription Some()
                          throws ParseException,
                                 KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

AtLeast

public final OWLDescription AtLeast()
                             throws ParseException,
                                    KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

AtMost

public final OWLDescription AtMost()
                            throws ParseException,
                                   KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Exactly

public final OWLDescription Exactly()
                             throws ParseException,
                                    KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RoleName

public final OWLObjectProperty RoleName()
                                 throws ParseException,
                                        KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RoleNameSet

public final java.util.Set<OWLObjectProperty> RoleNameSet()
                                                   throws ParseException,
                                                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ABoxStatement

public final void ABoxStatement()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Instance

public final void Instance()
                    throws ParseException,
                           KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Related

public final void Related()
                   throws ParseException,
                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Equal

public final void Equal()
                 throws ParseException,
                        KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Distinct

public final void Distinct()
                    throws ParseException,
                           KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

IndividualName

public final OWLIndividual IndividualName()
                                   throws ParseException,
                                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Integer

public final int Integer()
                  throws ParseException,
                         KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

parseBoolean

public final boolean parseBoolean()
                           throws ParseException

Throws:

ParseException

Name

public final java.net.URI Name()
                        throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(KRSS2ParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()