Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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

java.lang.Object
  extended by de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser
All Implemented Interfaces:
KRSS2ParserConstants
public class KRSS2Parser
extends java.lang.Object
implements KRSS2ParserConstants

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

KRSS2Parser

public KRSS2Parser(java.io.InputStream stream,
                   java.lang.String encoding)
Constructor with InputStream and supplied encoding

KRSS2Parser

public KRSS2Parser(java.io.Reader stream)
Constructor.

KRSS2Parser

public KRSS2Parser(KRSS2ParserTokenManager tm)
Constructor with generated Token Manager.

Method Detail

setOntology

public void setOntology(OWLOntology ontology,
                        OWLDataFactory dataFactory)

addAxiom

protected void addAxiom(OWLAxiom ax)
                 throws KRSS2OWLParserException
Throws:
KRSS2OWLParserException

getIRI

public IRI getIRI(java.lang.String s)
           throws java.net.URISyntaxException
Throws:
java.net.URISyntaxException

setNameResolution

public void setNameResolution(NameResolverStrategy nameResolution)

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(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

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

DomainAttribute

public final void DomainAttribute(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

ReflexiveAttribute

public final void ReflexiveAttribute(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

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 java.util.List<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 OWLClassExpression ConceptExpression()
                                           throws ParseException,
                                                  KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

ConceptName

public final OWLClassExpression ConceptName()
                                     throws ParseException,
                                            KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

ConceptSet

public final java.util.Set<OWLClassExpression> ConceptSet()
                                                   throws ParseException,
                                                          KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

And

public final OWLClassExpression And()
                             throws ParseException,
                                    KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

Or

public final OWLClassExpression Or()
                            throws ParseException,
                                   KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

Not

public final OWLClassExpression Not()
                             throws ParseException,
                                    KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

All

public final OWLClassExpression All()
                             throws ParseException,
                                    KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

Some

public final OWLClassExpression Some()
                              throws ParseException,
                                     KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

AtLeast

public final OWLClassExpression AtLeast()
                                 throws ParseException,
                                        KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

AtMost

public final OWLClassExpression AtMost()
                                throws ParseException,
                                       KRSS2OWLParserException
Throws:
ParseException
KRSS2OWLParserException

Exactly

public final OWLClassExpression 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

RoleExpression

public final 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 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 IRI Name()
               throws ParseException
Throws:
ParseException

ReInit

public void ReInit(java.io.InputStream stream)
Reinitialise.

ReInit

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

ReInit

public void ReInit(java.io.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.

Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD