de.uulm.ecs.ai.owlapi.krssparser

Class KRSS2Parser

java.lang.Object

de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser

All Implemented Interfaces:

KRSS2ParserConstants

public class KRSS2Parser
extends Object
implements KRSS2ParserConstants

The Class KRSS2Parser.

Field Summary

Fields

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

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

ALL, AND, ATLEAST, ATMOST, BOTTOM, CLOSEPAR, COMMENT_START, COMPOSE, DEFAULT, DEFINECONCEPT, DEFINEINDIVIDUAL, DEFINEPRIMITIVECONCEPT, DEFINEPRIMITIVEROLE, DEFINEROLE, DISJOINT, DISJOINTROLES, DISTINCT, DOMAIN_ATTRIBUTE, DPOINT, ENDABOX, ENDTBOX, ENUM, EOF, EQUAL, EQUIVALENT, ERROR, EXACTLY, IMPLIES, IMPLIESROLE, IN_COMMENT, IN_IRI, INSTANCE, INT, INV, INVERSE, INVERSE_ATTRIBUTE, IRI_END, IRI_START, LEFT_IDENTITY_ATTRIBUTE, NAME, NCCHAR_FULL, NCCHAR1, NIL, NOT, ONEOF, OPENPAR, OR, PARENT, PARENTS, RANGE, RANGE_ATTRIBUTE, REFLEXIVE_ATTRIBUTE, RELATED, RIGHT_IDENTITY_ATTRIBUTE, ROLE_INCLUSION, ROLESEQUIVALENT, SOME, SUBROLE, SYMMETRIC_ATTRIBUTE, tokenImage, TOP, TRANSITIVE, TRANSITIVE_ATTRIBUTE, TRUE

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	ABoxStatement() A box statement.
protected void	addAxiom(OWLAxiom ax) Adds the axiom.
OWLClassExpression	All() All.
OWLClassExpression	And() And.
OWLClassExpression	AtLeast() At least.
OWLClassExpression	AtMost() At most.
void	ComplexRoleInclusion() Complex role inclusion.
OWLClassExpression	ConceptExpression() Concept expression.
OWLClassExpression	ConceptName() Concept name.
Set<OWLClassExpression>	ConceptSet() Concept set.
void	DefineConcept() Define concept.
void	DefinePrimitiveConcept() Define primitive concept.
void	DefinePrimitiveRole() Define primitive role.
void	DefineRole() Define role.
void	disable_tracing() Disable tracing.
void	Disjoint() Disjoint.
void	DisjointRoles() Disjoint roles.
void	Distinct() Distinct.
void	DomainAttribute(OWLObjectProperty subProp) Domain attribute.
void	enable_tracing() Enable tracing.
void	Equal() Equal.
void	Equivalent() Equivalent.
OWLClassExpression	Exactly() Exactly.
ParseException	generateParseException() Generate ParseException.
IRI	getIRI(String s) Gets the iri.
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
void	Implies() Implies.
void	ImpliesRole() Implies role.
OWLIndividual	IndividualName() Individual name.
void	Instance() Instance.
int	Integer() Integer.
void	InverseProperty(OWLObjectProperty subProp) Inverse property.
void	Inverses() Inverses.
void	LeftIdentity(OWLObjectProperty r) Left identity.
IRI	Name() Name.
OWLClassExpression	Not() Not.
OWLClassExpression	Or() Or.
void	Parent(OWLObjectProperty subProp) Parent.
void	Parents(OWLObjectProperty subProp) Parents.
void	parse() Parses the.
boolean	parseBoolean() Parses the boolean.
List<OWLObjectPropertyExpression>	propertyChain() Property chain.
void	Range() Range.
void	RangeAttribute(OWLObjectProperty subProp) Range attribute.
void	ReflexiveAttribute(OWLObjectProperty property) Reflexive attribute.
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(KRSS2ParserTokenManager tm) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
void	Related() Related.
void	RightIdentity(OWLObjectProperty r) Right identity.
OWLObjectPropertyExpression	RoleExpression() Role expression.
OWLObjectProperty	RoleName() Role name.
Set<OWLObjectProperty>	RoleNameSet() Role name set.
void	RolesEquivalent() Roles equivalent.
void	setNameResolution(NameResolverStrategy nameResolution) Sets the name resolution.
void	setOntology(OWLOntology ontology, OWLDataFactory dataFactory) Sets the ontology.
OWLClassExpression	Some() Some.
void	SymmetricAttribute(OWLObjectProperty property) Symmetric attribute.
void	TBoxStatement() T box statement.
void	Transitive() Transitive.
void	TransitiveAttribute(OWLObjectProperty property) Transitive attribute.

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public KRSS2ParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

KRSS2Parser

public KRSS2Parser(InputStream stream)

Constructor with InputStream.

Parameters:

stream - the stream

KRSS2Parser

public KRSS2Parser(InputStream stream,
           String encoding)

Constructor with InputStream and supplied encoding.

Parameters:

stream - the stream

encoding - the encoding

KRSS2Parser

public KRSS2Parser(Reader stream)

Constructor.

Parameters:

stream - the stream

KRSS2Parser

public KRSS2Parser(KRSS2ParserTokenManager tm)

Constructor with generated Token Manager.

Parameters:

tm - the tm

Method Detail

setOntology

public void setOntology(OWLOntology ontology,
               OWLDataFactory dataFactory)

Sets the ontology.

Parameters:

ontology - the ontology

dataFactory - the data factory

addAxiom

protected void addAxiom(OWLAxiom ax)
                 throws KRSS2OWLParserException

Adds the axiom.

Parameters:

ax - the ax

Throws:

KRSS2OWLParserException - the kRS s2 owl parser exception

getIRI

public IRI getIRI(String s)
           throws URISyntaxException

Gets the iri.

Parameters:

s - the s

Returns:

the iri

Throws:

URISyntaxException - the uRI syntax exception

setNameResolution

public void setNameResolution(NameResolverStrategy nameResolution)

Sets the name resolution.

Parameters:

nameResolution - the new name resolution

parse

public final void parse()
                 throws ParseException,
                        KRSS2OWLParserException

Parses the.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

TBoxStatement

public final void TBoxStatement()
                         throws ParseException,
                                KRSS2OWLParserException

T box statement.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

DefinePrimitiveConcept

public final void DefinePrimitiveConcept()
                                  throws ParseException,
                                         KRSS2OWLParserException

Define primitive concept.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

DefineConcept

public final void DefineConcept()
                         throws ParseException,
                                KRSS2OWLParserException

Define concept.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Disjoint

public final void Disjoint()
                    throws ParseException,
                           KRSS2OWLParserException

Disjoint.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Equivalent

public final void Equivalent()
                      throws ParseException,
                             KRSS2OWLParserException

Equivalent.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Implies

public final void Implies()
                   throws ParseException,
                          KRSS2OWLParserException

Implies.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

DefineRole

public final void DefineRole()
                      throws ParseException,
                             KRSS2OWLParserException

Define role.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

DefinePrimitiveRole

public final void DefinePrimitiveRole()
                               throws ParseException,
                                      KRSS2OWLParserException

Define primitive role.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

RightIdentity

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

Right identity.

Parameters:

r - the r

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

LeftIdentity

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

Left identity.

Parameters:

r - the r

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

InverseProperty

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

Inverse property.

Parameters:

subProp - the sub prop

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

DomainAttribute

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

Domain attribute.

Parameters:

subProp - the sub prop

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

RangeAttribute

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

Range attribute.

Parameters:

subProp - the sub prop

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

TransitiveAttribute

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

Transitive attribute.

Parameters:

property - the property

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

SymmetricAttribute

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

Symmetric attribute.

Parameters:

property - the property

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ReflexiveAttribute

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

Reflexive attribute.

Parameters:

property - the property

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Parents

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

Parents.

Parameters:

subProp - the sub prop

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Parent

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

Parent.

Parameters:

subProp - the sub prop

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

DisjointRoles

public final void DisjointRoles()
                         throws ParseException,
                                KRSS2OWLParserException

Disjoint roles.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ImpliesRole

public final void ImpliesRole()
                       throws ParseException,
                              KRSS2OWLParserException

Implies role.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Inverses

public final void Inverses()
                    throws ParseException,
                           KRSS2OWLParserException

Inverses.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

RolesEquivalent

public final void RolesEquivalent()
                           throws ParseException,
                                  KRSS2OWLParserException

Roles equivalent.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ComplexRoleInclusion

public final void ComplexRoleInclusion()
                                throws ParseException,
                                       KRSS2OWLParserException

Complex role inclusion.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

propertyChain

public final List<OWLObjectPropertyExpression> propertyChain()
                                                      throws ParseException,
                                                             KRSS2OWLParserException

Property chain.

Returns:

the list

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Transitive

public final void Transitive()
                      throws ParseException,
                             KRSS2OWLParserException

Transitive.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Range

public final void Range()
                 throws ParseException,
                        KRSS2OWLParserException

Range.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ConceptExpression

public final OWLClassExpression ConceptExpression()
                                           throws ParseException,
                                                  KRSS2OWLParserException

Concept expression.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ConceptName

public final OWLClassExpression ConceptName()
                                     throws ParseException,
                                            KRSS2OWLParserException

Concept name.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ConceptSet

public final Set<OWLClassExpression> ConceptSet()
                                         throws ParseException,
                                                KRSS2OWLParserException

Concept set.

Returns:

the sets the

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

And

public final OWLClassExpression And()
                             throws ParseException,
                                    KRSS2OWLParserException

And.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Or

public final OWLClassExpression Or()
                            throws ParseException,
                                   KRSS2OWLParserException

Or.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Not

public final OWLClassExpression Not()
                             throws ParseException,
                                    KRSS2OWLParserException

Not.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

All

public final OWLClassExpression All()
                             throws ParseException,
                                    KRSS2OWLParserException

All.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Some

public final OWLClassExpression Some()
                              throws ParseException,
                                     KRSS2OWLParserException

Some.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

AtLeast

public final OWLClassExpression AtLeast()
                                 throws ParseException,
                                        KRSS2OWLParserException

At least.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

AtMost

public final OWLClassExpression AtMost()
                                throws ParseException,
                                       KRSS2OWLParserException

At most.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Exactly

public final OWLClassExpression Exactly()
                                 throws ParseException,
                                        KRSS2OWLParserException

Exactly.

Returns:

the oWL class expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

RoleName

public final OWLObjectProperty RoleName()
                                 throws ParseException,
                                        KRSS2OWLParserException

Role name.

Returns:

the oWL object property

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

RoleNameSet

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

Role name set.

Returns:

the sets the

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

RoleExpression

public final OWLObjectPropertyExpression RoleExpression()
                                                 throws ParseException,
                                                        KRSS2OWLParserException

Role expression.

Returns:

the oWL object property expression

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

ABoxStatement

public final void ABoxStatement()
                         throws ParseException,
                                KRSS2OWLParserException

A box statement.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Instance

public final void Instance()
                    throws ParseException,
                           KRSS2OWLParserException

Instance.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Related

public final void Related()
                   throws ParseException,
                          KRSS2OWLParserException

Related.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Equal

public final void Equal()
                 throws ParseException,
                        KRSS2OWLParserException

Equal.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Distinct

public final void Distinct()
                    throws ParseException,
                           KRSS2OWLParserException

Distinct.

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

IndividualName

public final OWLIndividual IndividualName()
                                   throws ParseException,
                                          KRSS2OWLParserException

Individual name.

Returns:

the oWL individual

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

Integer

public final int Integer()
                  throws ParseException,
                         KRSS2OWLParserException

Integer.

Returns:

the int

Throws:

ParseException - the parse exception

KRSS2OWLParserException - the kRS s2 owl parser exception

parseBoolean

public final boolean parseBoolean()
                           throws ParseException

Parses the boolean.

Returns:

true, if successful

Throws:

ParseException - the parse exception

Name

public final IRI Name()
               throws ParseException

Name.

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(KRSS2ParserTokenManager 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.