/* Generated By:JavaCC: Do not edit this line. JenaOWLFParser.java */
/* 
 * (c) Copyright 2009  Andy Seaborne
 * All rights reserved.
 */

package lang.owlfunctionalsyntax ;

public class JenaOWLFParser implements JenaOWLFParserConstants {

  final public void nonNegativeInteger() throws ParseException {
    jj_consume_token(DIGITS);
  }

  final public void quotedString() throws ParseException {
    jj_consume_token(STRING_LITERAL2);
  }

  final public void languageTag() throws ParseException {
    jj_consume_token(LANGTAG);
  }

  final public void nodeID() throws ParseException {
    jj_consume_token(BLANK_NODE_LABEL);
  }

  final public void fullIRI() throws ParseException {
    jj_consume_token(IRIref);
  }

  final public void prefixName() throws ParseException {
    jj_consume_token(PNAME_NS);
  }

  final public void abbreviatedIRI() throws ParseException {
    jj_consume_token(PNAME_LN);
  }

  final public void IRI() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
      fullIRI();
      break;
    case PNAME_LN:
      abbreviatedIRI();
      break;
    default:
      jj_la1[0] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void ontologyDocument() throws ParseException {
    label_1:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 28:
        break;
      default:
        jj_la1[1] = jj_gen;
        break label_1;
      }
      prefixDeclaration();
    }
    Ontology();
    jj_consume_token(0);
  }

  final public void prefixDeclaration() throws ParseException {
    jj_consume_token(28);
    jj_consume_token(29);
    prefixName();
    jj_consume_token(30);
    fullIRI();
    jj_consume_token(31);
  }

  final public void Ontology() throws ParseException {
    jj_consume_token(32);
    jj_consume_token(29);
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
      ontologyIRI();
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
        versionIRI();
        break;
      default:
        jj_la1[2] = jj_gen;
      }
      break;
    default:
      jj_la1[3] = jj_gen;
    }
    directlyImportsDocuments();
    ontologyAnnotations();
    axioms();
    jj_consume_token(31);
  }

  final public void ontologyIRI() throws ParseException {
    IRI();
  }

  final public void versionIRI() throws ParseException {
    IRI();
  }

  final public void directlyImportsDocuments() throws ParseException {
    label_2:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 33:
        break;
      default:
        jj_la1[4] = jj_gen;
        break label_2;
      }
      jj_consume_token(33);
      jj_consume_token(29);
      IRI();
      jj_consume_token(31);
    }
  }

  final public void ontologyAnnotations() throws ParseException {
    label_3:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 41:
        break;
      default:
        jj_la1[5] = jj_gen;
        break label_3;
      }
      Annotation();
    }
  }

  final public void axioms() throws ParseException {
    label_4:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 34:
      case 42:
      case 43:
      case 44:
      case 45:
      case 70:
      case 71:
      case 72:
      case 73:
      case 74:
      case 76:
      case 77:
      case 78:
      case 79:
      case 80:
      case 81:
      case 82:
      case 83:
      case 84:
      case 85:
      case 86:
      case 87:
      case 88:
      case 89:
      case 90:
      case 91:
      case 92:
      case 93:
      case 94:
      case 95:
      case 96:
      case 97:
      case 98:
      case 99:
      case 100:
      case 101:
      case 102:
        break;
      default:
        jj_la1[6] = jj_gen;
        break label_4;
      }
      Axiom();
    }
  }

  final public void Declaration() throws ParseException {
    jj_consume_token(34);
    jj_consume_token(29);
    axiomAnnotations();
    Entity();
    jj_consume_token(31);
  }

  final public void Entity() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 35:
      jj_consume_token(35);
      jj_consume_token(29);
      Class();
      jj_consume_token(31);
      break;
    case 36:
      jj_consume_token(36);
      jj_consume_token(29);
      Datatype();
      jj_consume_token(31);
      break;
    case 37:
      jj_consume_token(37);
      jj_consume_token(29);
      ObjectProperty();
      jj_consume_token(31);
      break;
    case 38:
      jj_consume_token(38);
      jj_consume_token(29);
      DataProperty();
      jj_consume_token(31);
      break;
    case 39:
      jj_consume_token(39);
      jj_consume_token(29);
      AnnotationProperty();
      jj_consume_token(31);
      break;
    case 40:
      jj_consume_token(40);
      jj_consume_token(29);
      NamedIndividual();
      jj_consume_token(31);
      break;
    default:
      jj_la1[7] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void AnnotationSubject() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
      IRI();
      break;
    case BLANK_NODE_LABEL:
      AnonymousIndividual();
      break;
    default:
      jj_la1[8] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void AnnotationValue() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case BLANK_NODE_LABEL:
      AnonymousIndividual();
      break;
    case IRIref:
    case PNAME_LN:
      IRI();
      break;
    case STRING_LITERAL2:
      Literal();
      break;
    default:
      jj_la1[9] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void axiomAnnotations() throws ParseException {
    label_5:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 41:
        break;
      default:
        jj_la1[10] = jj_gen;
        break label_5;
      }
      Annotation();
    }
  }

  final public void Annotation() throws ParseException {
    jj_consume_token(41);
    jj_consume_token(29);
    annotationAnnotations();
    AnnotationProperty();
    AnnotationValue();
    jj_consume_token(31);
  }

  final public void annotationAnnotations() throws ParseException {
    label_6:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 41:
        break;
      default:
        jj_la1[11] = jj_gen;
        break label_6;
      }
      Annotation();
    }
  }

  final public void AnnotationAxiom() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 42:
      AnnotationAssertion();
      break;
    case 43:
      SubAnnotationPropertyOf();
      break;
    case 44:
      AnnotationPropertyDomain();
      break;
    case 45:
      AnnotationPropertyRange();
      break;
    default:
      jj_la1[12] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void AnnotationAssertion() throws ParseException {
    jj_consume_token(42);
    jj_consume_token(29);
    axiomAnnotations();
    AnnotationProperty();
    AnnotationSubject();
    AnnotationValue();
    jj_consume_token(31);
  }

  final public void SubAnnotationPropertyOf() throws ParseException {
    jj_consume_token(43);
    jj_consume_token(29);
    axiomAnnotations();
    subAnnotationProperty();
    superAnnotationProperty();
    jj_consume_token(31);
  }

  final public void subAnnotationProperty() throws ParseException {
    AnnotationProperty();
  }

  final public void superAnnotationProperty() throws ParseException {
    AnnotationProperty();
  }

  final public void AnnotationPropertyDomain() throws ParseException {
    jj_consume_token(44);
    jj_consume_token(29);
    axiomAnnotations();
    AnnotationProperty();
    IRI();
    jj_consume_token(31);
  }

  final public void AnnotationPropertyRange() throws ParseException {
    jj_consume_token(45);
    jj_consume_token(29);
    axiomAnnotations();
    AnnotationProperty();
    IRI();
    jj_consume_token(31);
  }

  final public void Class() throws ParseException {
    IRI();
  }

  final public void Datatype() throws ParseException {
    IRI();
  }

  final public void ObjectProperty() throws ParseException {
    IRI();
  }

  final public void DataProperty() throws ParseException {
    IRI();
  }

  final public void AnnotationProperty() throws ParseException {
    IRI();
  }

  final public void Individual() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
      NamedIndividual();
      break;
    case BLANK_NODE_LABEL:
      AnonymousIndividual();
      break;
    default:
      jj_la1[13] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void NamedIndividual() throws ParseException {
    IRI();
  }

  final public void AnonymousIndividual() throws ParseException {
    nodeID();
  }

  final public void Literal() throws ParseException {
    lexicalForm();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case LANGTAG:
    case 46:
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 46:
        jj_consume_token(46);
        Datatype();
        break;
      case LANGTAG:
        languageTag();
        break;
      default:
        jj_la1[14] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
      break;
    default:
      jj_la1[15] = jj_gen;
    }
  }

// void typedLiteral(): { }
// {
//     lexicalForm() "^^" Datatype()
// }
  final public void lexicalForm() throws ParseException {
    quotedString();
  }

// void stringLiteralNoLanguage(): { }
// {
//     quotedString()
// }
// 
// void stringLiteralWithLanguage(): { }
// {
//     quotedString() languageTag()
// }
  final public void ObjectPropertyExpression() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
      ObjectProperty();
      break;
    case 47:
      InverseObjectProperty();
      break;
    default:
      jj_la1[16] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void InverseObjectProperty() throws ParseException {
    jj_consume_token(47);
    jj_consume_token(29);
    ObjectProperty();
    jj_consume_token(31);
  }

  final public void DataPropertyExpression() throws ParseException {
    DataProperty();
  }

  final public void DataRange() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
      Datatype();
      break;
    case 48:
      DataIntersectionOf();
      break;
    case 49:
      DataUnionOf();
      break;
    case 50:
      DataComplementOf();
      break;
    case 51:
      DataOneOf();
      break;
    case 52:
      DatatypeRestriction();
      break;
    default:
      jj_la1[17] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void DataIntersectionOf() throws ParseException {
    jj_consume_token(48);
    jj_consume_token(29);
    DataRange();
    DataRange();
    label_7:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 48:
      case 49:
      case 50:
      case 51:
      case 52:
        break;
      default:
        jj_la1[18] = jj_gen;
        break label_7;
      }
      DataRange();
    }
    jj_consume_token(31);
  }

  final public void DataUnionOf() throws ParseException {
    jj_consume_token(49);
    jj_consume_token(29);
    DataRange();
    DataRange();
    label_8:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 48:
      case 49:
      case 50:
      case 51:
      case 52:
        break;
      default:
        jj_la1[19] = jj_gen;
        break label_8;
      }
      DataRange();
    }
    jj_consume_token(31);
  }

  final public void DataComplementOf() throws ParseException {
    jj_consume_token(50);
    jj_consume_token(29);
    DataRange();
    jj_consume_token(31);
  }

  final public void DataOneOf() throws ParseException {
    jj_consume_token(51);
    jj_consume_token(29);
    Literal();
    label_9:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case STRING_LITERAL2:
        break;
      default:
        jj_la1[20] = jj_gen;
        break label_9;
      }
      Literal();
    }
    jj_consume_token(31);
  }

  final public void DatatypeRestriction() throws ParseException {
    jj_consume_token(52);
    jj_consume_token(29);
    Datatype();
    constrainingFacet();
    restrictionValue();
    label_10:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
        break;
      default:
        jj_la1[21] = jj_gen;
        break label_10;
      }
      constrainingFacet();
      restrictionValue();
    }
    jj_consume_token(31);
  }

  final public void constrainingFacet() throws ParseException {
    IRI();
  }

  final public void restrictionValue() throws ParseException {
    Literal();
  }

  final public void ClassExpression() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
      Class();
      break;
    case 53:
      ObjectIntersectionOf();
      break;
    case 54:
      ObjectUnionOf();
      break;
    case 55:
      ObjectComplementOf();
      break;
    case 56:
      ObjectOneOf();
      break;
    case 57:
      ObjectSomeValuesFrom();
      break;
    case 58:
      ObjectAllValuesFrom();
      break;
    case 59:
      ObjectHasValue();
      break;
    case 60:
      ObjectHasSelf();
      break;
    case 61:
      ObjectMinCardinality();
      break;
    case 62:
      ObjectMaxCardinality();
      break;
    case 63:
      ObjectExactCardinality();
      break;
    case 64:
      DataSomeValuesFrom();
      break;
    case 65:
      DataAllValuesFrom();
      break;
    case 66:
      DataHasValue();
      break;
    case 67:
      DataMinCardinality();
      break;
    case 68:
      DataMaxCardinality();
      break;
    case 69:
      DataExactCardinality();
      break;
    default:
      jj_la1[22] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void ObjectIntersectionOf() throws ParseException {
    jj_consume_token(53);
    jj_consume_token(29);
    ClassExpression();
    ClassExpression();
    label_11:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 53:
      case 54:
      case 55:
      case 56:
      case 57:
      case 58:
      case 59:
      case 60:
      case 61:
      case 62:
      case 63:
      case 64:
      case 65:
      case 66:
      case 67:
      case 68:
      case 69:
        break;
      default:
        jj_la1[23] = jj_gen;
        break label_11;
      }
      ClassExpression();
    }
    jj_consume_token(31);
  }

  final public void ObjectUnionOf() throws ParseException {
    jj_consume_token(54);
    jj_consume_token(29);
    ClassExpression();
    ClassExpression();
    label_12:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 53:
      case 54:
      case 55:
      case 56:
      case 57:
      case 58:
      case 59:
      case 60:
      case 61:
      case 62:
      case 63:
      case 64:
      case 65:
      case 66:
      case 67:
      case 68:
      case 69:
        break;
      default:
        jj_la1[24] = jj_gen;
        break label_12;
      }
      ClassExpression();
    }
    jj_consume_token(31);
  }

  final public void ObjectComplementOf() throws ParseException {
    jj_consume_token(55);
    jj_consume_token(29);
    ClassExpression();
    jj_consume_token(31);
  }

  final public void ObjectOneOf() throws ParseException {
    jj_consume_token(56);
    jj_consume_token(29);
    Individual();
    label_13:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case BLANK_NODE_LABEL:
        break;
      default:
        jj_la1[25] = jj_gen;
        break label_13;
      }
      Individual();
    }
    jj_consume_token(31);
  }

  final public void ObjectSomeValuesFrom() throws ParseException {
    jj_consume_token(57);
    jj_consume_token(29);
    ObjectPropertyExpression();
    ClassExpression();
    jj_consume_token(31);
  }

  final public void ObjectAllValuesFrom() throws ParseException {
    jj_consume_token(58);
    jj_consume_token(29);
    ObjectPropertyExpression();
    ClassExpression();
    jj_consume_token(31);
  }

  final public void ObjectHasValue() throws ParseException {
    jj_consume_token(59);
    jj_consume_token(29);
    ObjectPropertyExpression();
    Individual();
    jj_consume_token(31);
  }

  final public void ObjectHasSelf() throws ParseException {
    jj_consume_token(60);
    jj_consume_token(29);
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void ObjectMinCardinality() throws ParseException {
    jj_consume_token(61);
    jj_consume_token(29);
    nonNegativeInteger();
    ObjectPropertyExpression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 53:
    case 54:
    case 55:
    case 56:
    case 57:
    case 58:
    case 59:
    case 60:
    case 61:
    case 62:
    case 63:
    case 64:
    case 65:
    case 66:
    case 67:
    case 68:
    case 69:
      ClassExpression();
      break;
    default:
      jj_la1[26] = jj_gen;
    }
    jj_consume_token(31);
  }

  final public void ObjectMaxCardinality() throws ParseException {
    jj_consume_token(62);
    jj_consume_token(29);
    nonNegativeInteger();
    ObjectPropertyExpression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 53:
    case 54:
    case 55:
    case 56:
    case 57:
    case 58:
    case 59:
    case 60:
    case 61:
    case 62:
    case 63:
    case 64:
    case 65:
    case 66:
    case 67:
    case 68:
    case 69:
      ClassExpression();
      break;
    default:
      jj_la1[27] = jj_gen;
    }
    jj_consume_token(31);
  }

  final public void ObjectExactCardinality() throws ParseException {
    jj_consume_token(63);
    jj_consume_token(29);
    nonNegativeInteger();
    ObjectPropertyExpression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 53:
    case 54:
    case 55:
    case 56:
    case 57:
    case 58:
    case 59:
    case 60:
    case 61:
    case 62:
    case 63:
    case 64:
    case 65:
    case 66:
    case 67:
    case 68:
    case 69:
      ClassExpression();
      break;
    default:
      jj_la1[28] = jj_gen;
    }
    jj_consume_token(31);
  }

  final public void DataSomeValuesFrom() throws ParseException {
    jj_consume_token(64);
    jj_consume_token(29);
    DataPropertyExpression();
    label_14:
    while (true) {
      if (jj_2_1(2)) {
      } else {
        break label_14;
      }
      DataPropertyExpression();
    }
    DataRange();
    jj_consume_token(31);
  }

  final public void DataAllValuesFrom() throws ParseException {
    jj_consume_token(65);
    jj_consume_token(29);
    DataPropertyExpression();
    label_15:
    while (true) {
      if (jj_2_2(2)) {
      } else {
        break label_15;
      }
      DataPropertyExpression();
    }
    DataRange();
    jj_consume_token(31);
  }

  final public void DataHasValue() throws ParseException {
    jj_consume_token(66);
    jj_consume_token(29);
    DataPropertyExpression();
    Literal();
    jj_consume_token(31);
  }

  final public void DataMinCardinality() throws ParseException {
    jj_consume_token(67);
    jj_consume_token(29);
    nonNegativeInteger();
    DataPropertyExpression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 48:
    case 49:
    case 50:
    case 51:
    case 52:
      DataRange();
      break;
    default:
      jj_la1[29] = jj_gen;
    }
    jj_consume_token(31);
  }

  final public void DataMaxCardinality() throws ParseException {
    jj_consume_token(68);
    jj_consume_token(29);
    nonNegativeInteger();
    DataPropertyExpression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 48:
    case 49:
    case 50:
    case 51:
    case 52:
      DataRange();
      break;
    default:
      jj_la1[30] = jj_gen;
    }
    jj_consume_token(31);
  }

  final public void DataExactCardinality() throws ParseException {
    jj_consume_token(69);
    jj_consume_token(29);
    nonNegativeInteger();
    DataPropertyExpression();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 48:
    case 49:
    case 50:
    case 51:
    case 52:
      DataRange();
      break;
    default:
      jj_la1[31] = jj_gen;
    }
    jj_consume_token(31);
  }

  final public void Axiom() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 34:
      Declaration();
      break;
    case 70:
    case 71:
    case 72:
    case 73:
      ClassAxiom();
      break;
    case 74:
    case 76:
    case 77:
    case 78:
    case 79:
    case 80:
    case 81:
    case 82:
    case 83:
    case 84:
    case 85:
    case 86:
    case 87:
      ObjectPropertyAxiom();
      break;
    case 88:
    case 89:
    case 90:
    case 91:
    case 92:
    case 93:
      DataPropertyAxiom();
      break;
    case 94:
      DatatypeDefinition();
      break;
    case 95:
      HasKey();
      break;
    case 96:
    case 97:
    case 98:
    case 99:
    case 100:
    case 101:
    case 102:
      Assertion();
      break;
    case 42:
    case 43:
    case 44:
    case 45:
      AnnotationAxiom();
      break;
    default:
      jj_la1[32] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void ClassAxiom() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 70:
      SubClassOf();
      break;
    case 71:
      EquivalentClasses();
      break;
    case 72:
      DisjointClasses();
      break;
    case 73:
      DisjointUnion();
      break;
    default:
      jj_la1[33] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void SubClassOf() throws ParseException {
    jj_consume_token(70);
    jj_consume_token(29);
    axiomAnnotations();
    subClassExpression();
    superClassExpression();
    jj_consume_token(31);
  }

  final public void subClassExpression() throws ParseException {
    ClassExpression();
  }

  final public void superClassExpression() throws ParseException {
    ClassExpression();
  }

  final public void EquivalentClasses() throws ParseException {
    jj_consume_token(71);
    jj_consume_token(29);
    axiomAnnotations();
    ClassExpression();
    ClassExpression();
    label_16:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 53:
      case 54:
      case 55:
      case 56:
      case 57:
      case 58:
      case 59:
      case 60:
      case 61:
      case 62:
      case 63:
      case 64:
      case 65:
      case 66:
      case 67:
      case 68:
      case 69:
        break;
      default:
        jj_la1[34] = jj_gen;
        break label_16;
      }
      ClassExpression();
    }
    jj_consume_token(31);
  }

  final public void DisjointClasses() throws ParseException {
    jj_consume_token(72);
    jj_consume_token(29);
    axiomAnnotations();
    ClassExpression();
    ClassExpression();
    label_17:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 53:
      case 54:
      case 55:
      case 56:
      case 57:
      case 58:
      case 59:
      case 60:
      case 61:
      case 62:
      case 63:
      case 64:
      case 65:
      case 66:
      case 67:
      case 68:
      case 69:
        break;
      default:
        jj_la1[35] = jj_gen;
        break label_17;
      }
      ClassExpression();
    }
    jj_consume_token(31);
  }

  final public void DisjointUnion() throws ParseException {
    jj_consume_token(73);
    jj_consume_token(29);
    axiomAnnotations();
    Class();
    disjointClassExpressions();
    jj_consume_token(31);
  }

  final public void disjointClassExpressions() throws ParseException {
    ClassExpression();
    ClassExpression();
    label_18:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 53:
      case 54:
      case 55:
      case 56:
      case 57:
      case 58:
      case 59:
      case 60:
      case 61:
      case 62:
      case 63:
      case 64:
      case 65:
      case 66:
      case 67:
      case 68:
      case 69:
        break;
      default:
        jj_la1[36] = jj_gen;
        break label_18;
      }
      ClassExpression();
    }
  }

  final public void ObjectPropertyAxiom() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 74:
      SubObjectPropertyOf();
      break;
    case 76:
      EquivalentObjectProperties();
      break;
    case 77:
      DisjointObjectProperties();
      break;
    case 80:
      InverseObjectProperties();
      break;
    case 78:
      ObjectPropertyDomain();
      break;
    case 79:
      ObjectPropertyRange();
      break;
    case 81:
      FunctionalObjectProperty();
      break;
    case 82:
      InverseFunctionalObjectProperty();
      break;
    case 83:
      ReflexiveObjectProperty();
      break;
    case 84:
      IrreflexiveObjectProperty();
      break;
    case 85:
      SymmetricObjectProperty();
      break;
    case 86:
      AsymmetricObjectProperty();
      break;
    case 87:
      TransitiveObjectProperty();
      break;
    default:
      jj_la1[37] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void SubObjectPropertyOf() throws ParseException {
    jj_consume_token(74);
    jj_consume_token(29);
    axiomAnnotations();
    subObjectPropertyExpression();
    superObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void subObjectPropertyExpression() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IRIref:
    case PNAME_LN:
    case 47:
      ObjectPropertyExpression();
      break;
    case 75:
      propertyExpressionChain();
      break;
    default:
      jj_la1[38] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void propertyExpressionChain() throws ParseException {
    jj_consume_token(75);
    jj_consume_token(29);
    ObjectPropertyExpression();
    ObjectPropertyExpression();
    label_19:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 47:
        break;
      default:
        jj_la1[39] = jj_gen;
        break label_19;
      }
      ObjectPropertyExpression();
    }
    jj_consume_token(31);
  }

  final public void superObjectPropertyExpression() throws ParseException {
    ObjectPropertyExpression();
  }

  final public void EquivalentObjectProperties() throws ParseException {
    jj_consume_token(76);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    ObjectPropertyExpression();
    label_20:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 47:
        break;
      default:
        jj_la1[40] = jj_gen;
        break label_20;
      }
      ObjectPropertyExpression();
    }
    jj_consume_token(31);
  }

  final public void DisjointObjectProperties() throws ParseException {
    jj_consume_token(77);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    ObjectPropertyExpression();
    label_21:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 47:
        break;
      default:
        jj_la1[41] = jj_gen;
        break label_21;
      }
      ObjectPropertyExpression();
    }
    jj_consume_token(31);
  }

  final public void ObjectPropertyDomain() throws ParseException {
    jj_consume_token(78);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    ClassExpression();
    jj_consume_token(31);
  }

  final public void ObjectPropertyRange() throws ParseException {
    jj_consume_token(79);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    ClassExpression();
    jj_consume_token(31);
  }

  final public void InverseObjectProperties() throws ParseException {
    jj_consume_token(80);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void FunctionalObjectProperty() throws ParseException {
    jj_consume_token(81);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void InverseFunctionalObjectProperty() throws ParseException {
    jj_consume_token(82);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void ReflexiveObjectProperty() throws ParseException {
    jj_consume_token(83);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void IrreflexiveObjectProperty() throws ParseException {
    jj_consume_token(84);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void SymmetricObjectProperty() throws ParseException {
    jj_consume_token(85);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void AsymmetricObjectProperty() throws ParseException {
    jj_consume_token(86);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void TransitiveObjectProperty() throws ParseException {
    jj_consume_token(87);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    jj_consume_token(31);
  }

  final public void DataPropertyAxiom() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 88:
      SubDataPropertyOf();
      break;
    case 89:
      EquivalentDataProperties();
      break;
    case 90:
      DisjointDataProperties();
      break;
    case 91:
      DataPropertyDomain();
      break;
    case 92:
      DataPropertyRange();
      break;
    case 93:
      FunctionalDataProperty();
      break;
    default:
      jj_la1[42] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void SubDataPropertyOf() throws ParseException {
    jj_consume_token(88);
    jj_consume_token(29);
    axiomAnnotations();
    subDataPropertyExpression();
    superDataPropertyExpression();
    jj_consume_token(31);
  }

  final public void subDataPropertyExpression() throws ParseException {
    DataPropertyExpression();
  }

  final public void superDataPropertyExpression() throws ParseException {
    DataPropertyExpression();
  }

  final public void EquivalentDataProperties() throws ParseException {
    jj_consume_token(89);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    DataPropertyExpression();
    label_22:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
        break;
      default:
        jj_la1[43] = jj_gen;
        break label_22;
      }
      DataPropertyExpression();
    }
    jj_consume_token(31);
  }

  final public void DisjointDataProperties() throws ParseException {
    jj_consume_token(90);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    DataPropertyExpression();
    label_23:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
        break;
      default:
        jj_la1[44] = jj_gen;
        break label_23;
      }
      DataPropertyExpression();
    }
    jj_consume_token(31);
  }

  final public void DataPropertyDomain() throws ParseException {
    jj_consume_token(91);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    ClassExpression();
    jj_consume_token(31);
  }

  final public void DataPropertyRange() throws ParseException {
    jj_consume_token(92);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    DataRange();
    jj_consume_token(31);
  }

  final public void FunctionalDataProperty() throws ParseException {
    jj_consume_token(93);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    jj_consume_token(31);
  }

  final public void DatatypeDefinition() throws ParseException {
    jj_consume_token(94);
    jj_consume_token(29);
    axiomAnnotations();
    Datatype();
    DataRange();
    jj_consume_token(31);
  }

  final public void HasKey() throws ParseException {
    jj_consume_token(95);
    jj_consume_token(29);
    axiomAnnotations();
    ClassExpression();
    jj_consume_token(29);
    label_24:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case 47:
        break;
      default:
        jj_la1[45] = jj_gen;
        break label_24;
      }
      ObjectPropertyExpression();
    }
    jj_consume_token(31);
    jj_consume_token(29);
    label_25:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
        break;
      default:
        jj_la1[46] = jj_gen;
        break label_25;
      }
      DataPropertyExpression();
    }
    jj_consume_token(31);
    jj_consume_token(31);
  }

  final public void Assertion() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 96:
      SameIndividual();
      break;
    case 97:
      DifferentIndividuals();
      break;
    case 98:
      ClassAssertion();
      break;
    case 99:
      ObjectPropertyAssertion();
      break;
    case 100:
      NegativeObjectPropertyAssertion();
      break;
    case 101:
      DataPropertyAssertion();
      break;
    case 102:
      NegativeDataPropertyAssertion();
      break;
    default:
      jj_la1[47] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }

  final public void sourceIndividual() throws ParseException {
    Individual();
  }

  final public void targetIndividual() throws ParseException {
    Individual();
  }

  final public void targetValue() throws ParseException {
    Literal();
  }

  final public void SameIndividual() throws ParseException {
    jj_consume_token(96);
    jj_consume_token(29);
    axiomAnnotations();
    Individual();
    Individual();
    label_26:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case BLANK_NODE_LABEL:
        break;
      default:
        jj_la1[48] = jj_gen;
        break label_26;
      }
      Individual();
    }
    jj_consume_token(31);
  }

  final public void DifferentIndividuals() throws ParseException {
    jj_consume_token(97);
    jj_consume_token(29);
    axiomAnnotations();
    Individual();
    Individual();
    label_27:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case IRIref:
      case PNAME_LN:
      case BLANK_NODE_LABEL:
        break;
      default:
        jj_la1[49] = jj_gen;
        break label_27;
      }
      Individual();
    }
    jj_consume_token(31);
  }

  final public void ClassAssertion() throws ParseException {
    jj_consume_token(98);
    jj_consume_token(29);
    axiomAnnotations();
    ClassExpression();
    Individual();
    jj_consume_token(31);
  }

  final public void ObjectPropertyAssertion() throws ParseException {
    jj_consume_token(99);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    sourceIndividual();
    targetIndividual();
    jj_consume_token(31);
  }

  final public void NegativeObjectPropertyAssertion() throws ParseException {
    jj_consume_token(100);
    jj_consume_token(29);
    axiomAnnotations();
    ObjectPropertyExpression();
    sourceIndividual();
    targetIndividual();
    jj_consume_token(31);
  }

  final public void DataPropertyAssertion() throws ParseException {
    jj_consume_token(101);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    sourceIndividual();
    targetValue();
    jj_consume_token(31);
  }

  final public void NegativeDataPropertyAssertion() throws ParseException {
    jj_consume_token(102);
    jj_consume_token(29);
    axiomAnnotations();
    DataPropertyExpression();
    sourceIndividual();
    targetValue();
    jj_consume_token(31);
  }

  private boolean jj_2_1(int xla) {
    jj_la = xla; jj_lastpos = jj_scanpos = token;
    try { return !jj_3_1(); }
    catch(LookaheadSuccess ls) { return true; }
    finally { jj_save(0, xla); }
  }

  private boolean jj_2_2(int xla) {
    jj_la = xla; jj_lastpos = jj_scanpos = token;
    try { return !jj_3_2(); }
    catch(LookaheadSuccess ls) { return true; }
    finally { jj_save(1, xla); }
  }

  private boolean jj_3R_28() {
    if (jj_3R_29()) return true;
    return false;
  }

  private boolean jj_3R_29() {
    if (jj_3R_30()) return true;
    return false;
  }

  private boolean jj_3R_30() {
    Token xsp;
    xsp = jj_scanpos;
    if (jj_scan_token(15)) {
    jj_scanpos = xsp;
    if (jj_scan_token(17)) return true;
    }
    return false;
  }

  private boolean jj_3_1() {
    if (jj_3R_28()) return true;
    return false;
  }

  private boolean jj_3_2() {
    if (jj_3R_28()) return true;
    return false;
  }

  /** Generated Token Manager. */
  public JenaOWLFParserTokenManager token_source;
  JavaCharStream jj_input_stream;
  /** Current token. */
  public Token token;
  /** Next token. */
  public Token jj_nt;
  private int jj_ntk;
  private Token jj_scanpos, jj_lastpos;
  private int jj_la;
  private int jj_gen;
  final private int[] jj_la1 = new int[50];
  static private int[] jj_la1_0;
  static private int[] jj_la1_1;
  static private int[] jj_la1_2;
  static private int[] jj_la1_3;
  static {
      jj_la1_init_0();
      jj_la1_init_1();
      jj_la1_init_2();
      jj_la1_init_3();
   }
   private static void jj_la1_init_0() {
      jj_la1_0 = new int[] {0x28000,0x10000000,0x28000,0x28000,0x0,0x0,0x0,0x0,0x68000,0x68400,0x0,0x0,0x0,0x68000,0x1000,0x1000,0x28000,0x28000,0x28000,0x28000,0x400,0x28000,0x28000,0x28000,0x28000,0x68000,0x28000,0x28000,0x28000,0x28000,0x28000,0x28000,0x0,0x0,0x28000,0x28000,0x28000,0x0,0x28000,0x28000,0x28000,0x28000,0x0,0x28000,0x28000,0x28000,0x28000,0x0,0x68000,0x68000,};
   }
   private static void jj_la1_init_1() {
      jj_la1_1 = new int[] {0x0,0x0,0x0,0x0,0x2,0x200,0x3c04,0x1f8,0x0,0x0,0x200,0x200,0x3c00,0x0,0x4000,0x4000,0x8000,0x1f0000,0x1f0000,0x1f0000,0x0,0x0,0xffe00000,0xffe00000,0xffe00000,0x0,0xffe00000,0xffe00000,0xffe00000,0x1f0000,0x1f0000,0x1f0000,0x3c04,0x0,0xffe00000,0xffe00000,0xffe00000,0x0,0x8000,0x8000,0x8000,0x8000,0x0,0x0,0x0,0x8000,0x0,0x0,0x0,0x0,};
   }
   private static void jj_la1_init_2() {
      jj_la1_2 = new int[] {0x0,0x0,0x0,0x0,0x0,0x0,0xfffff7c0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x3f,0x3f,0x3f,0x0,0x3f,0x3f,0x3f,0x0,0x0,0x0,0xfffff7c0,0x3c0,0x3f,0x3f,0x3f,0xfff400,0x800,0x0,0x0,0x0,0x3f000000,0x0,0x0,0x0,0x0,0x0,0x0,0x0,};
   }
   private static void jj_la1_init_3() {
      jj_la1_3 = new int[] {0x0,0x0,0x0,0x0,0x0,0x0,0x7f,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x7f,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x7f,0x0,0x0,};
   }
  final private JJCalls[] jj_2_rtns = new JJCalls[2];
  private boolean jj_rescan = false;
  private int jj_gc = 0;

  /** Constructor with InputStream. */
  public JenaOWLFParser(java.io.InputStream stream) {
     this(stream, null);
  }
  /** Constructor with InputStream and supplied encoding */
  public JenaOWLFParser(java.io.InputStream stream, String encoding) {
    try { jj_input_stream = new JavaCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
    token_source = new JenaOWLFParserTokenManager(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 50; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Reinitialise. */
  public void ReInit(java.io.InputStream stream) {
     ReInit(stream, null);
  }
  /** Reinitialise. */
  public void ReInit(java.io.InputStream stream, String encoding) {
    try { jj_input_stream.ReInit(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
    token_source.ReInit(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 50; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Constructor. */
  public JenaOWLFParser(java.io.Reader stream) {
    jj_input_stream = new JavaCharStream(stream, 1, 1);
    token_source = new JenaOWLFParserTokenManager(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 50; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Reinitialise. */
  public void ReInit(java.io.Reader stream) {
    jj_input_stream.ReInit(stream, 1, 1);
    token_source.ReInit(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 50; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Constructor with generated Token Manager. */
  public JenaOWLFParser(JenaOWLFParserTokenManager tm) {
    token_source = tm;
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 50; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Reinitialise. */
  public void ReInit(JenaOWLFParserTokenManager tm) {
    token_source = tm;
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 50; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  private Token jj_consume_token(int kind) throws ParseException {
    Token oldToken;
    if ((oldToken = token).next != null) token = token.next;
    else token = token.next = token_source.getNextToken();
    jj_ntk = -1;
    if (token.kind == kind) {
      jj_gen++;
      if (++jj_gc > 100) {
        jj_gc = 0;
        for (int i = 0; i < jj_2_rtns.length; i++) {
          JJCalls c = jj_2_rtns[i];
          while (c != null) {
            if (c.gen < jj_gen) c.first = null;
            c = c.next;
          }
        }
      }
      return token;
    }
    token = oldToken;
    jj_kind = kind;
    throw generateParseException();
  }

  static private final class LookaheadSuccess extends java.lang.Error { }
  @SuppressWarnings("synthetic-access")
final private LookaheadSuccess jj_ls = new LookaheadSuccess();
  private boolean jj_scan_token(int kind) {
    if (jj_scanpos == jj_lastpos) {
      jj_la--;
      if (jj_scanpos.next == null) {
        jj_lastpos = jj_scanpos = jj_scanpos.next = token_source.getNextToken();
      } else {
        jj_lastpos = jj_scanpos = jj_scanpos.next;
      }
    } else {
      jj_scanpos = jj_scanpos.next;
    }
    if (jj_rescan) {
      int i = 0; Token tok = token;
      while (tok != null && tok != jj_scanpos) { i++; tok = tok.next; }
      if (tok != null) jj_add_error_token(kind, i);
    }
    if (jj_scanpos.kind != kind) return true;
    if (jj_la == 0 && jj_scanpos == jj_lastpos) throw jj_ls;
    return false;
  }


/** Get the next Token. */
  final public Token getNextToken() {
    if (token.next != null) token = token.next;
    else token = token.next = token_source.getNextToken();
    jj_ntk = -1;
    jj_gen++;
    return token;
  }

/** Get the specific Token. */
  final public Token getToken(int index) {
    Token t = token;
    for (int i = 0; i < index; i++) {
      if (t.next != null) t = t.next;
      else t = t.next = token_source.getNextToken();
    }
    return t;
  }

  private int jj_ntk() {
    if ((jj_nt=token.next) == null)
      return (jj_ntk = (token.next=token_source.getNextToken()).kind);
    else
      return (jj_ntk = jj_nt.kind);
  }

  private java.util.List<int[]> jj_expentries = new java.util.ArrayList<int[]>();
  private int[] jj_expentry;
  private int jj_kind = -1;
  private int[] jj_lasttokens = new int[100];
  private int jj_endpos;

  private void jj_add_error_token(int kind, int pos) {
    if (pos >= 100) return;
    if (pos == jj_endpos + 1) {
      jj_lasttokens[jj_endpos++] = kind;
    } else if (jj_endpos != 0) {
      jj_expentry = new int[jj_endpos];
      for (int i = 0; i < jj_endpos; i++) {
        jj_expentry[i] = jj_lasttokens[i];
      }
      jj_entries_loop: for (java.util.Iterator<int[]> it = jj_expentries.iterator(); it.hasNext();) {
        int[] oldentry = (it.next());
        if (oldentry.length == jj_expentry.length) {
          for (int i = 0; i < jj_expentry.length; i++) {
            if (oldentry[i] != jj_expentry[i]) {
              continue jj_entries_loop;
            }
          }
          jj_expentries.add(jj_expentry);
          break jj_entries_loop;
        }
      }
      if (pos != 0) jj_lasttokens[(jj_endpos = pos) - 1] = kind;
    }
  }

  /** Generate ParseException. */
  public ParseException generateParseException() {
    jj_expentries.clear();
    boolean[] la1tokens = new boolean[103];
    if (jj_kind >= 0) {
      la1tokens[jj_kind] = true;
      jj_kind = -1;
    }
    for (int i = 0; i < 50; i++) {
      if (jj_la1[i] == jj_gen) {
        for (int j = 0; j < 32; j++) {
          if ((jj_la1_0[i] & (1<<j)) != 0) {
            la1tokens[j] = true;
          }
          if ((jj_la1_1[i] & (1<<j)) != 0) {
            la1tokens[32+j] = true;
          }
          if ((jj_la1_2[i] & (1<<j)) != 0) {
            la1tokens[64+j] = true;
          }
          if ((jj_la1_3[i] & (1<<j)) != 0) {
            la1tokens[96+j] = true;
          }
        }
      }
    }
    for (int i = 0; i < 103; i++) {
      if (la1tokens[i]) {
        jj_expentry = new int[1];
        jj_expentry[0] = i;
        jj_expentries.add(jj_expentry);
      }
    }
    jj_endpos = 0;
    jj_rescan_token();
    jj_add_error_token(0, 0);
    int[][] exptokseq = new int[jj_expentries.size()][];
    for (int i = 0; i < jj_expentries.size(); i++) {
      exptokseq[i] = jj_expentries.get(i);
    }
    return new ParseException(token, exptokseq, tokenImage);
  }

  /** Enable tracing. */
  final public void enable_tracing() {
  }

  /** Disable tracing. */
  final public void disable_tracing() {
  }

  private void jj_rescan_token() {
    jj_rescan = true;
    for (int i = 0; i < 2; i++) {
    try {
      JJCalls p = jj_2_rtns[i];
      do {
        if (p.gen > jj_gen) {
          jj_la = p.arg; jj_lastpos = jj_scanpos = p.first;
          switch (i) {
            case 0: jj_3_1(); break;
            case 1: jj_3_2(); break;
          }
        }
        p = p.next;
      } while (p != null);
      } catch(LookaheadSuccess ls) { }
    }
    jj_rescan = false;
  }

  private void jj_save(int index, int xla) {
    JJCalls p = jj_2_rtns[index];
    while (p.gen > jj_gen) {
      if (p.next == null) { p = p.next = new JJCalls(); break; }
      p = p.next;
    }
    p.gen = jj_gen + xla - jj_la; p.first = token; p.arg = xla;
  }

  static final class JJCalls {
    int gen;
    Token first;
    int arg;
    JJCalls next;
  }

    // Reserved prefixes
    //rdf: 	 <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
    //rdfs: 	<http://www.w3.org/2000/01/rdf-schema#>
    //xsd: 	<http://www.w3.org/2001/XMLSchema#>
    //owl: 	<http://www.w3.org/2002/07/owl#>

}