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

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()
protected void	addAxiom(org.semanticweb.owlapi.model.OWLAxiom ax)
org.semanticweb.owlapi.model.OWLClassExpression	All()
org.semanticweb.owlapi.model.OWLClassExpression	And()
org.semanticweb.owlapi.model.OWLClassExpression	AtLeast()
org.semanticweb.owlapi.model.OWLClassExpression	AtMost()
void	ComplexRoleInclusion()
org.semanticweb.owlapi.model.OWLClassExpression	ConceptExpression()
org.semanticweb.owlapi.model.OWLClassExpression	ConceptName()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	ConceptSet()
void	DefineConcept()
void	DefinePrimitiveConcept()
void	DefinePrimitiveRole()
void	DefineRole()
void	disable_tracing() Disable tracing.
void	Disjoint()
void	DisjointRoles()
void	Distinct()
void	DomainAttribute(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
void	enable_tracing() Enable tracing.
void	Equal()
void	Equivalent()
org.semanticweb.owlapi.model.OWLClassExpression	Exactly()
ParseException	generateParseException() Generate ParseException.
org.semanticweb.owlapi.model.IRI	getIRI(String s)
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
void	Implies()
void	ImpliesRole()
org.semanticweb.owlapi.model.OWLIndividual	IndividualName()
void	Instance()
int	Integer()
void	InverseProperty(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
void	Inverses()
void	LeftIdentity(org.semanticweb.owlapi.model.OWLObjectProperty r)
org.semanticweb.owlapi.model.IRI	Name()
org.semanticweb.owlapi.model.OWLClassExpression	Not()
org.semanticweb.owlapi.model.OWLClassExpression	Or()
void	Parent(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
void	Parents(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
void	parse()
boolean	parseBoolean()
List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	propertyChain()
void	Range()
void	RangeAttribute(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
void	ReflexiveAttribute(org.semanticweb.owlapi.model.OWLObjectProperty property)
void	ReInit(InputStream stream) Reinitialise.
void	ReInit(InputStream stream, String encoding) Reinitialise.
void	ReInit(KRSS2ParserTokenManager tm) Reinitialise.
void	ReInit(Reader stream) Reinitialise.
void	Related()
void	RightIdentity(org.semanticweb.owlapi.model.OWLObjectProperty r)
org.semanticweb.owlapi.model.OWLObjectPropertyExpression	RoleExpression()
org.semanticweb.owlapi.model.OWLObjectProperty	RoleName()
Set<org.semanticweb.owlapi.model.OWLObjectProperty>	RoleNameSet()
void	RolesEquivalent()
void	setNameResolution(NameResolverStrategy nameResolution)
void	setOntology(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLDataFactory dataFactory)
org.semanticweb.owlapi.model.OWLClassExpression	Some()
void	SymmetricAttribute(org.semanticweb.owlapi.model.OWLObjectProperty property)
void	TBoxStatement()
void	Transitive()
void	TransitiveAttribute(org.semanticweb.owlapi.model.OWLObjectProperty property)

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.

KRSS2Parser

public KRSS2Parser(InputStream stream,
           String encoding)

Constructor with InputStream and supplied encoding

KRSS2Parser

public KRSS2Parser(Reader stream)

Constructor.

KRSS2Parser

public KRSS2Parser(KRSS2ParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setOntology

public void setOntology(org.semanticweb.owlapi.model.OWLOntology ontology,
               org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

addAxiom

protected void addAxiom(org.semanticweb.owlapi.model.OWLAxiom ax)
                 throws KRSS2OWLParserException

Throws:

KRSS2OWLParserException

getIRI

public org.semanticweb.owlapi.model.IRI getIRI(String s)
                                        throws URISyntaxException

Throws:

URISyntaxException

setNameResolution

public void setNameResolution(NameResolverStrategy nameResolution)

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

Disjoint

public final void Disjoint()
                    throws ParseException,
                           KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Equivalent

public final void Equivalent()
                      throws ParseException,
                             KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Implies

public final void Implies()
                   throws ParseException,
                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DefineRole

public final void DefineRole()
                      throws ParseException,
                             KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DefinePrimitiveRole

public final void DefinePrimitiveRole()
                               throws ParseException,
                                      KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RightIdentity

public final void RightIdentity(org.semanticweb.owlapi.model.OWLObjectProperty r)
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

LeftIdentity

public final void LeftIdentity(org.semanticweb.owlapi.model.OWLObjectProperty r)
                        throws ParseException,
                               KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

InverseProperty

public final void InverseProperty(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
                           throws ParseException,
                                  KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DomainAttribute

public final void DomainAttribute(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
                           throws ParseException,
                                  KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RangeAttribute

public final void RangeAttribute(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
                          throws ParseException,
                                 KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

TransitiveAttribute

public final void TransitiveAttribute(org.semanticweb.owlapi.model.OWLObjectProperty property)
                               throws ParseException,
                                      KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

SymmetricAttribute

public final void SymmetricAttribute(org.semanticweb.owlapi.model.OWLObjectProperty property)
                              throws ParseException,
                                     KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ReflexiveAttribute

public final void ReflexiveAttribute(org.semanticweb.owlapi.model.OWLObjectProperty property)
                              throws ParseException,
                                     KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Parents

public final void Parents(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
                   throws ParseException,
                          KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Parent

public final void Parent(org.semanticweb.owlapi.model.OWLObjectProperty subProp)
                  throws ParseException,
                         KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

DisjointRoles

public final void DisjointRoles()
                         throws ParseException,
                                KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ImpliesRole

public final void ImpliesRole()
                       throws ParseException,
                              KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Inverses

public final void Inverses()
                    throws ParseException,
                           KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RolesEquivalent

public final void RolesEquivalent()
                           throws ParseException,
                                  KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ComplexRoleInclusion

public final void ComplexRoleInclusion()
                                throws ParseException,
                                       KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

propertyChain

public final List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyChain()
                                                                                   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 org.semanticweb.owlapi.model.OWLClassExpression ConceptExpression()
                                                                        throws ParseException,
                                                                               KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ConceptName

public final org.semanticweb.owlapi.model.OWLClassExpression ConceptName()
                                                                  throws ParseException,
                                                                         KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

ConceptSet

public final Set<org.semanticweb.owlapi.model.OWLClassExpression> ConceptSet()
                                                                      throws ParseException,
                                                                             KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

And

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

Throws:

ParseException

KRSS2OWLParserException

Or

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

Throws:

ParseException

KRSS2OWLParserException

Not

public final org.semanticweb.owlapi.model.OWLClassExpression Not()
                                                          throws ParseException,
                                                                 KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

All

public final org.semanticweb.owlapi.model.OWLClassExpression All()
                                                          throws ParseException,
                                                                 KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Some

public final org.semanticweb.owlapi.model.OWLClassExpression Some()
                                                           throws ParseException,
                                                                  KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

AtLeast

public final org.semanticweb.owlapi.model.OWLClassExpression AtLeast()
                                                              throws ParseException,
                                                                     KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

AtMost

public final org.semanticweb.owlapi.model.OWLClassExpression AtMost()
                                                             throws ParseException,
                                                                    KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

Exactly

public final org.semanticweb.owlapi.model.OWLClassExpression Exactly()
                                                              throws ParseException,
                                                                     KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RoleName

public final org.semanticweb.owlapi.model.OWLObjectProperty RoleName()
                                                              throws ParseException,
                                                                     KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RoleNameSet

public final Set<org.semanticweb.owlapi.model.OWLObjectProperty> RoleNameSet()
                                                                      throws ParseException,
                                                                             KRSS2OWLParserException

Throws:

ParseException

KRSS2OWLParserException

RoleExpression

public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression RoleExpression()
                                                                              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 org.semanticweb.owlapi.model.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 org.semanticweb.owlapi.model.IRI Name()
                                            throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
          String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(KRSS2ParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.