/* -*-Java-*- */

/* 
 * Copyright (C) 2006,2010  Anders Nilsson <anders.nilsson@control.lth.se>
 *
 * This file is part of OntologyCompiler.
 *
 * OntologyCompiler is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.

 * OntologyCompiler is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 
 * You should have received a copy of the GNU General Public License
 * along with OntologyCompiler.  If not, see <http://www.gnu.org/licenses/>.
 */

options {
    MULTI                       = true;
    VISITOR                     = true;
    NODE_DEFAULT_VOID           = true;
    NODE_SCOPE_HOOK             = false;
    NODE_PREFIX                 = "";
    JAVA_UNICODE_ESCAPE         = true;
    STATIC                      = false;
    // DEBUG_PARSER                = true;
// 	DEBUG_LOOKAHEAD             = true;
  	 // DEBUG_TOKEN_MANAGER         = true;
} // options


PARSER_BEGIN(OwlParser)
package AST;
public class OwlParser {
}
PARSER_END(OwlParser)


//--------------------------------------------------------------------//
//                           LEXICAL TOKENS                           //
//--------------------------------------------------------------------//

<DEFAULT, BOUNDS> SKIP : /* WHITE SPACE */
{
    " "
    |
    "\t"
    |
    "\n"
    |
    "\r"
    |
    "\f"
}// WHITE SPACE


// <DEFAULT,BOUNDS> SPECIAL_TOKEN : /* COMMENTS */
// {
//     <SLASH_SLASH_COMMENT :  "//" (~["\n","\r"])* >
// }

SPECIAL_TOKEN : /* COMMENTS */
{
//     <SLASH_STAR_COMMENT  :  "/*" (~["*"])* "*" ("*" | (~["*","/"] (~["*"])* "*"))* "/"  >
< "<!--" ( ~["-"] | ( "-" ~["-"] ) )* "-->">
	| < "<rdfs:comment" ( ~["<"] | ( "<" ~["/"] ) )* "</rdfs:comment>" >
	| < "<!DOCTYPE" ( ~["]"] )* "]>" > 
//     <XML_COMMENT  :  "<!--" (~["-","-",">"])* "-->"  >
}// COMMENTS


// <BOUNDS> TOKEN: {
//     < BEGINCOMMENT : "<!--"     >
//   | < ENDCOMMENT   : "-->"     >
// }

<DEFAULT, BOUNDS> TOKEN : /* RESERVED WORDS AND LITERALS */
{
    < ABBREVIATEDIRI          : "abbreviatedIRI" >
  | < ANNOTATION              : "Annotation" >
  | < ANNOTATIONPROPERTY      : "AnnotationProperty" >
  | < CARDINALITY             : "cardinality" >
  | < CLASS                   : "Class" >
  | < CLASSASSERTION          : "ClassAssertion" >
  | < DATAPROPERTY            : "DataProperty" >
  | < DATAPROPERTYDOMAIN      : "DataPropertyDomain" >
  | < DATAPROPERTYRANGE       : "DataPropertyRange" >
  | < DATATYPE                : "Datatype" >
  | < DATATYPEIRI             : "datatypeIRI" >
  | < DECLARATION             : "Declaration" >
  | < IRI                     : "IRI" >
  | < LITERAL                 : "Literal" >
  | < NAME                    : "name" >
  | < NAMEDINDIVIDUAL         : "NamedIndividual" >
  | < OBJECTEXACTCARDINALITY  : "ObjectExactCardinality" >
  | < OBJECTMINCARDINALITY    : "ObjectMinCardinality" >
  | < OBJECTSOMEVALUESFROM    : "ObjectSomeValuesFrom" >
  | < OBJECTPROPERTY          : "ObjectProperty" >
  | < OBJECTPROPERTYASSERTION : "ObjectPropertyAssertion" >
  | < OBJECTPROPERTYDOMAIN    : "ObjectPropertyDomain" >
  | < ONTOLOGY                : "Ontology" >
  | < ONTOLOGYIRI             : "ontologyIRI" >
  | < PREFIX                  : "Prefix" >
  | < SUBCLASSOF              : "SubClassOf" >
		 

// Compatibility with older ontology format (RDF) below.
  | < LIST_FIRST              : "list:first" >
  | < LIST_REST               : "list:rest" >
  | < EXPR_KIFCONDITION       : "expr:KIF-Condition" >
  | < EXPR_EXPRESSIONDATA     : "expr:expressionData" >
  | < EXPRESSION_CONDITION     : "Expression:Condition" >
  | < EXPRESSION_LOGICLANGUAGE : "Expression:LogicLanguage" >
  | < EXPRESSION_REFURI        : "Expression:refURI" >
  | < OBJECTLIST_LIST          : "ObjectList:List" >
  | < OWL_ALLVALUESFROM     : "owl:allValuesFrom" >
  | < OWL_ALLDIFFERENT      : "owl:AllDifferent" >
  | < OWL_CARDINALITY        : "owl:cardinality" >
  | < OWL_CLASS             : "owl:Class" >
  | < OWL_DATARANGE         : "owl:DataRange" >
  | < OWL_DATATYPEPROPERTY  : "owl:DatatypeProperty" >
  | < OWL_DISJOINTWITH      : "owl:disjointWith" >
  | < OWL_DISTINCTMEMBERS      : "owl:distinctMembers" >
  | < OWL_EQUIVALENTCLASS   : "owl:equivalentClass" >
  | < OWL_EQUIVALENTPROPERTY : "owl:equivalentProperty" >
  | < OWL_FUNCTIONALPROPERTY : "owl:FunctionalProperty" >
  | < OWL_HASVALUE             : "owl:hasValue" >
  | < OWL_IMPORTS            : "owl:imports" >
  | < OWL_INTERSECTIONOF     : "owl:intersectionOf" >
  | < OWL_INVERSEOF         : "owl:inverseOf" >
  | < OWL_MAXCARDINALITY     : "owl:maxCardinality" >
  | < OWL_MINCARDINALITY     : "owl:minCardinality" >
  | < OWL_NAMEDINDIVIDUAL   : "owl:NamedIndividual" >
  | < OWL_OBJECTPROPERTY    : "owl:ObjectProperty" >
  | < OWL_ONPROPERTY        : "owl:onProperty" >
  | < OWL_ONCLASS           : "owl:onClass" >
  | < OWL_ONDATATYPE        : "owl:onDatatype" >
  | < OWL_ONEOF             : "owl:oneOf" >
  | < OWL_ONTOLOGY          : "owl:Ontology" >
  | < OWL_QUALIFIEDCARDINALITY          : "owl:qualifiedCardinality" >
  | < OWL_RESTRICTION       : "owl:Restriction" >
  | < OWL_SOMEVALUESFROM    : "owl:someValuesFrom" >
  | < OWL_TRANSITIVEPROPERTY : "owl:TransitiveProperty" >
  | < OWL_UNIONOF           : "owl:unionOf" >
  | < OWL_VERSIONINFO       : "owl:versionInfo" >
  | < OWL_WITHRESTRICTIONS  : "owl:withRestrictions" >
  | < P1_ANYORDER           : "p1:Any-Order" >
  | < P1_COMPONENTS         : "p1:components" >
  | < P1_COMPOSEDOF         : "p1:composedOf" >
  | < P1_CONTROLCONSTRUCTBAG : "p1:ControlConstructBag" >
  | < P1_CONTROLCONSTRUCTLIST : "p1:ControlConstructList" >
  | < P1_ELSE               : "p1:else" >
  | < P1_HASINPUT           : "p1:hasInput" >
  | < P1_HASOUTPUT          : "p1:hasOutput" >
  | < P1_IFCONDITION        : "p1:ifCondition" >
  | < P1_IFTHENELSE         : "p1:If-Then-Else" >
  | < P1_INPUT              : "p1:Input" >
  | < P1_OUTPUT             : "p1:Output" >
  | < P1_PARAMETERTYPE      : "p1:parameterType" >
  | < P1_PERFORM            : "p1:Perform" >
  | < P1_PROCESS            : "p1:process" >
  | < P1_REPEATUNTIL        : "p1:Repeat-Until" >
  | < P1_SEQUENCE           : "p1:Sequence" >
  | < P1_THEN               : "p1:then" >
  | < P1_UNTILCONDITION     : "p1:untilCondition" >
  | < P1_UNTILPROCESS       : "p1:untilProcess" >
  | < PROCESS_PARTICIPANT     : "Process:Participant" >
  | < PROCESS_PERFORM         : "Process:Perform" >
  | < RDF_RDF               : "rdf:RDF"      >
  | < RDF_ABOUT             : "rdf:about" >
  | < RDF_DATATYPE          : "rdf:datatype" >
  | < RDF_DESCRIPTION       : "rdf:Description" >
  | < RDF_ID                : "rdf:ID" >
  | < RDF_FIRST             : "rdf:first" >
  | < RDF_PROPERTY          : "rdf:Property" >
  | < RDF_REST              : "rdf:rest" >
  | < RDF_PARSETYPE         : "rdf:parseType" >
  | < RDF_RESOURCE          : "rdf:resource" >
  | < RDF_TYPE              : "rdf:type" >
  | < RDFS_COMMENT          : "rdfs:comment" >
  | < RDFS_DATATYPE         : "rdfs:Datatype" >
  | < RDFS_DOMAIN           : "rdfs:domain" >
  | < RDFS_LABEL            : "rdfs:label" >
  | < RDFS_RANGE            : "rdfs:range" >
  | < RDFS_SEEALSO          : "rdfs:seeAlso" >
  | < RDFS_SUBCLASSOF       : "rdfs:subClassOf" >
  | < RDFS_SUBPROPERTYOF    : "rdfs:subPropertyOf" >
  | < VERSION               : "version" >
  | < XML                   : "xml"          >
  | < XML_BASE              : "xml:base" >
  | < XMLNS                 : "xmlns" >	 
  | < XMLNS_XML                 : "xmlns:xml" >	 
  | < XMLNS_XX                 : "xmlns:" >	 
  | < XSD_MININCLUSIVE      : "xsd:minInclusive" >	 
//   | < XMLNS_DAML            : "xmlns:daml" >	 
//   | < XMLNS_DC              : "xmlns:dc" >	 
//   | < XMLNS_EXPR              : "xmlns:expr" >	 
//   | < XMLNS_LIST              : "xmlns:list" >	 
//   | < XMLNS_P1              : "xmlns:p1" >	 
//   | < XMLNS_OWL             : "xmlns:owl" >	 
//   | < XMLNS_OWLS             : "xmlns:owl-s" >	 
//   | < XMLNS_PROTEGE         : "xmlns:protege" >	 
//   | < XMLNS_RDF             : "xmlns:rdf" >	 
//   | < XMLNS_RDFS            : "xmlns:rdfs" >	 
//   | < XMLNS_SWRL            : "xmlns:swrl" >	 
//   | < XMLNS_SWRLB           : "xmlns:swrlb" >	 
//   | < XMLNS_XSD             : "xmlns:xsd" >	 
//   | < XMLNS_XSP             : "xmlns:xsp" >	 

}// RESERVED WORDS AND LITERALS
<DEFAULT, BOUNDS> TOKEN : /* LITERALS */
{
    < INTEGER_LITERAL:
        <DECIMAL_LITERAL> (["l","L"])?
        |
        <HEX_LITERAL> (["l","L"])?
        |
        <OCTAL_LITERAL> (["l","L"])?
    >
    |
    < #DECIMAL_LITERAL: ["1"-"9"] (["0"-"9"])* >
    |
    < #HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F"])+ >
    |
    < #OCTAL_LITERAL: "0" (["0"-"7"])* >
    |
    < FLOAT_LITERAL:
        (["0"-"9"])+ "." (["0"-"9"])* (<EXPONENT>)? (["f","F","d","D"])?
        |
        "." (["0"-"9"])+ (<EXPONENT>)? (["f","F","d","D"])?
        |
        (["0"-"9"])+ <EXPONENT> (["f","F","d","D"])?
        |
        (["0"-"9"])+ (<EXPONENT>)? ["f","F","d","D"]
    >
    |
    < #EXPONENT: ["e","E"] (["+","-"])? (["0"-"9"])+ >
    |
    < CHARACTER_LITERAL:
        "'"
        (   (~["'","\\","\n","\r"])
            |
            ("\\"
                (   ["n","t","b","r","f","\\","'","\""]
                    |
                    ["0"-"7"] ( ["0"-"7"] )?
                    |
                    ["0"-"3"] ["0"-"7"] ["0"-"7"]
                )
            )
        )
        "'"
    >
    |
    < STRING_LITERAL:
        "\""
        (   (~["\"","\\","\n","\r"])
            |
            ("\\"
                (    ["n","t","b","r","f","\\","'","\""]
                     |
                     ["0"-"7"] ( ["0"-"7"] )?
                     |
                     ["0"-"3"] ["0"-"7"] ["0"-"7"]
                )
            )
        )*
        "\""
    >
}// LITERALS

<DEFAULT, BOUNDS> TOKEN : /* IDENTIFIERS */
{
    < IDENTIFIER: <LETTER> (<LETTER>|<DIGIT>|"-")* >
    |
    < #LETTER:
        [
        "\u0024",
        "\u0041"-"\u005a",
        "\u005f",
        "\u0061"-"\u007a",
        "\u00c0"-"\u00d6",
        "\u00d8"-"\u00f6",
        "\u00f8"-"\u00ff",
        "\u0100"-"\u1fff",
        "\u3040"-"\u318f",
        "\u3300"-"\u337f",
        "\u3400"-"\u3d2d",
        "\u4e00"-"\u9fff",
        "\uf900"-"\ufaff",
		"+",
		"-",
		",",
		"[",
		"]",
		".",
		"&",
		"@",
		";"
        ]
    >
    |
    < #DIGIT:
        [
        "\u0030"-"\u0039",
        "\u0660"-"\u0669",
        "\u06f0"-"\u06f9",
        "\u0966"-"\u096f",
        "\u09e6"-"\u09ef",
        "\u0a66"-"\u0a6f",
        "\u0ae6"-"\u0aef",
        "\u0b66"-"\u0b6f",
        "\u0be7"-"\u0bef",
        "\u0c66"-"\u0c6f",
        "\u0ce6"-"\u0cef",
        "\u0d66"-"\u0d6f",
        "\u0e50"-"\u0e59",
        "\u0ed0"-"\u0ed9",
        "\u1040"-"\u1049"
        ]
    >
}// IDENTIFIERS

<DEFAULT,BOUNDS> TOKEN : /* SEPARATORS */
{
//       < LPAREN               : "("    >
//     | < RPAREN               : ")"    >
     < LBRACE               : "{"    >
    | < RBRACE               : "}"    >
//     | < LBRACKET             : "["    >
//     | < RBRACKET             : "]"    >
    // | < SEMICOLON            : ";"    >
    | < QUOTE                : "\""    >
//     | < COMMA                : ","    >
//     | < DOT                  : "."    >
}// SEPARATORS


<DEFAULT,BOUNDS> TOKEN : /* OPERATORS */
{
       < ASSIGN               : "="    >
     | < START_ENDTAG        : "</"    >
     | < START_TAG           : "<"    >
//     | < GT                   : ">"    >
//     | < LT                   : "<"    >
//     | < BANG                 : "!"    >
//     | < TILDE                : "~"    >
//     | < HOOK                 : "?"    >
     | < COLON                : ":"    >
//     | < EQ                   : "=="   >
//     | < LE                   : "<="   >
//     | < GE                   : ">="   >
//     | < NE                   : "!="   >
//     | < SC_OR                : "||"   >
//     | < SC_AND               : "&&"   >
//     | < INCR                 : "++"   >
//     | < DECR                 : "--"   >
//      | < PLUS                 : "+"    >
//      | < MINUS                : "-"    >
//     | < STAR                 : "*"    >
     | < SLASH                : "/"    >
//     | < BIT_AND              : "&"    >
//     | < BIT_OR               : "|"    >
//     | < XOR                  : "^"    >
//     | < REM                  : "%"    >
//     | < LSHIFT               : "<<"   >
//     | < RSIGNEDSHIFT         : ">>"   >
//     | < RUNSIGNEDSHIFT       : ">>>"  >
//     | < PLUSASSIGN           : "+="   >
//     | < MINUSASSIGN          : "-="   >
//     | < STARASSIGN           : "*="   >
//     | < SLASHASSIGN          : "/="   >
//     | < ANDASSIGN            : "&="   >
//     | < ORASSIGN             : "|="   >
//     | < XORASSIGN            : "^="   >
//     | < REMASSIGN            : "%="   >
//     | < LSHIFTASSIGN         : "<<="  >
//     | < RSIGNEDSHIFTASSIGN   : ">>="  >
//     | < RUNSIGNEDSHIFTASSIGN : ">>>=" >
}// OPERATORS


// <DEFAULT,BOUNDS> TOKEN : /* TEXT */
// {
//     < TEXT : <LETTER> (~["<",">"])*    >
// }// TEXT


//--------------------------------------------------------------------//
//                      THE OWL LANGUAGE GRAMMAR                     //
//--------------------------------------------------------------------//

Start Start() #Start : {}
{
    Specification()
  { return jjtThis; }
}

void Specification() #Specification : {}
{
    XmlHeader()
		"<" (RdfDeclaration() 
			 | OntologyDeclaration())
}

void XmlHeader() #XmlHeader : {}
{
    "<?" <XML> AttributeList() "?>"
}

void OntologyDeclaration() #Ontology : {}
{
    <ONTOLOGY> AttributeList() ">"
	ElementList()
    "</" <ONTOLOGY> ">"
}

void RdfDeclaration() #RdfDeclaration : {}
{
    <RDF_RDF> AttributeList() ">"
	ElementList()
    "</" <RDF_RDF> ">"
}

void ElementList() #List : {}
{
    (Element())*    
}

void Element() : {}
{
    ( "<" ( JElement()
		| OntologyElement()
	    | OwlElement()
	    | RdfElement()
	    | P1Element()
	    | ProcessElement()
	    | DiscardedElement()
	    | XsdElement()
	    ))
	| SimpleElement()
}

void DiscardedElement() #DiscardedElement : {}
{
	Identifier() AttributeList() 
	(">" ElementList() "</" <IDENTIFIER> ">" | ElementList() "/>")
}

void Identifier() #Identifier : {Token t;}
{
	t = <IDENTIFIER>
	{jjtThis.setIDENTIFIER(t.image);}
}

void SimpleElement() : {}
{
    IntElement()
	| FloatElement()
	| StringElement()
}

void IntElement() #IntElement : { Token t; }
{
    t = <INTEGER_LITERAL>
	{jjtThis.setLITERAL(t.image);}
}

void FloatElement() #FloatElement : { Token t; }
{
    t = <FLOAT_LITERAL>
	{jjtThis.setLITERAL(t.image);}
}

void StringElement() #StringElement : { Token t;String s; }
{
	t = <IDENTIFIER>
	{
		s = t.image;
		if (getToken(1).kind != START_TAG ) {
		s += getData();
	}
	}
        {jjtThis.setLITERAL(s);}
}

JAVACODE
String getData() {
	StringBuffer s = new StringBuffer();
//     jjtThis.someData = true;
    while ((getToken(1)).kind != START_TAG && (getToken(1)).kind != START_ENDTAG) {
		Token t = getNextToken();
		if (t.specialToken != null) {
			Token tmp_t = t.specialToken;
			while (tmp_t.specialToken != null) {
				tmp_t = tmp_t.specialToken;
			}
			while (tmp_t != null) {
				s.append(tmp_t.image);
				tmp_t = tmp_t.next;
			}
		}
		s.append(t.image);
	}
	return s.toString().trim();
}

// void StringElement() #StringElement : { Token t; }
// {
//     t = <IDENTIFIER> | t = <COMMA> | t = <MINUS> | t = <DOT> | t = <PLUS> | t = <SLASH>
// 		| t = <COLON>
// 	{jjtThis.setIDENTIFIER(t.image);}
// }

void JElement(): {}
{
	ListFirst()
	| ListRest()
	| ExprKIFCondition()
	| ExprExpressionData()
	| ExpressionCondition()
	| ExpressionLogicLanguage()
	| ExpressionRefURI()
	| ObjectListList()
}

void ListFirst() #ListFirst : {}
{
    <LIST_FIRST> AttributeList() 
	(">" ElementList() "</" <LIST_FIRST> ">" | ElementList() "/>")
}

void ListRest() #ListRest : {}
{
    <LIST_REST> AttributeList() 
	(">" ElementList() "</" <LIST_REST> ">" | ElementList() "/>")
}


void ExprKIFCondition() #ExprKIFCondition : {}
{
    <EXPR_KIFCONDITION> AttributeList() 
	(">" ElementList() "</" <EXPR_KIFCONDITION> ">" | ElementList() "/>")
}


void ExprExpressionData() #ExprExpressionData : {}
{
    <EXPR_EXPRESSIONDATA> AttributeList() 
	(">" ElementList() "</" <EXPR_EXPRESSIONDATA> ">" | ElementList() "/>")
}

void ExpressionCondition() #ExpressionCondition : {}
{
    <EXPRESSION_CONDITION> AttributeList() 
	(">" ElementList() "</" <EXPRESSION_CONDITION> ">" | ElementList() "/>")
}

void ExpressionLogicLanguage() #ExpressionLogicLanguage : {}
{
    <EXPRESSION_LOGICLANGUAGE> AttributeList() 
	(">" ElementList() "</" <EXPRESSION_LOGICLANGUAGE> ">" | ElementList() "/>")
}

void ExpressionRefURI() #ExpressionRefURI : {}
{
    <EXPRESSION_REFURI> AttributeList() 
	(">" ElementList() "</" <EXPRESSION_REFURI> ">" | ElementList() "/>")
}

void ObjectListList() #ObjectListList : {}
{
    <OBJECTLIST_LIST> AttributeList() 
	(">" ElementList() "</" <OBJECTLIST_LIST> ">" | ElementList() "/>")
}

void OntologyElement() : {}
{
	Annotation()
		| AnnotationProperty()
		| Clazz()
		| ClassAssertion()
		| DataProperty()
		| DataPropertyDomain()
		| DataPropertyRange()
		| Datatype()
		| Declaration()
		| Literal()
		| NamedIndividual()
		| ObjectExactCardinality()
		| ObjectMinCardinality()
		| ObjectSomeValuesFrom()
		| ObjectProperty()
		| ObjectPropertyAssertion()
		| ObjectPropertyDomain()
		| Ontology()
		| Prefix()
		| SubClassOf()
}

void Annotation() #Annotation : {}
{
    <ANNOTATION> AttributeList() 
	(">" ElementList() "</" <ANNOTATION> ">" | ElementList() "/>")
}

void AnnotationProperty() #AnnotationProperty : {}
{
    <ANNOTATIONPROPERTY> AttributeList() 
	(">" ElementList() "</" <ANNOTATIONPROPERTY> ">" | ElementList() "/>")
}

void Clazz() #Clazz : {}
{
    <CLASS> AttributeList() 
	(">" ElementList() "</" <CLASS> ">" | ElementList() "/>")
}

void ClassAssertion() #ClassAssertion : {}
{
    <CLASSASSERTION> AttributeList() 
	(">" ElementList() "</" <CLASSASSERTION> ">" | ElementList() "/>")
}

void DataProperty() #DataProperty : {}
{
    <DATAPROPERTY> AttributeList() 
	(">" ElementList() "</" <DATAPROPERTY> ">" | ElementList() "/>")
}

void DataPropertyDomain() #DataPropertyDomain : {}
{
    <DATAPROPERTYDOMAIN> AttributeList() 
	(">" ElementList() "</" <DATAPROPERTYDOMAIN> ">" | ElementList() "/>")
}

void DataPropertyRange() #DataPropertyRange : {}
{
    <DATAPROPERTYRANGE> AttributeList() 
	(">" ElementList() "</" <DATAPROPERTYRANGE> ">" | ElementList() "/>")
}

void Datatype() #Datatype : {}
{
    <DATATYPE> AttributeList() 
	(">" ElementList() "</" <DATATYPE> ">" | ElementList() "/>")
}

void Declaration() #Declaration : {}
{
    <DECLARATION> AttributeList() 
	(">" ElementList() "</" <DECLARATION> ">" | ElementList() "/>")
}

void Literal() #Literal : {}
{
    <LITERAL> AttributeList() 
	(">" ElementList() "</" <LITERAL> ">" | ElementList() "/>")
}

void NamedIndividual() #NamedIndividual : {}
{
    <NAMEDINDIVIDUAL> AttributeList() 
	(">" ElementList() "</" <NAMEDINDIVIDUAL> ">" | ElementList() "/>")
}

void ObjectExactCardinality() #ObjectExactCardinality : {}
{
    <OBJECTEXACTCARDINALITY> AttributeList() 
	(">" ElementList() "</" <OBJECTEXACTCARDINALITY> ">" | ElementList() "/>")
}

void ObjectMinCardinality() #ObjectMinCardinality : {}
{
    <OBJECTMINCARDINALITY> AttributeList() 
	(">" ElementList() "</" <OBJECTMINCARDINALITY> ">" | ElementList() "/>")
}

void ObjectSomeValuesFrom() #ObjectSomeValuesFrom : {}
{
    <OBJECTSOMEVALUESFROM> AttributeList() 
	(">" ElementList() "</" <OBJECTSOMEVALUESFROM> ">" | ElementList() "/>")
}

void ObjectProperty() #ObjectProperty : {}
{
    <OBJECTPROPERTY> AttributeList() 
	(">" ElementList() "</" <OBJECTPROPERTY> ">" | ElementList() "/>")
}

void ObjectPropertyAssertion() #ObjectPropertyAssertion : {}
{
    <OBJECTPROPERTYASSERTION> AttributeList() 
	(">" ElementList() "</" <OBJECTPROPERTYASSERTION> ">" | ElementList() "/>")
}

void ObjectPropertyDomain() #ObjectPropertyDomain : {}
{
    <OBJECTPROPERTYDOMAIN> AttributeList() 
	(">" ElementList() "</" <OBJECTPROPERTYDOMAIN> ">" | ElementList() "/>")
}

void Ontology() #Ontology : {}
{
    <ONTOLOGY> AttributeList() 
	(">" ElementList() "</" <ONTOLOGY> ">" | ElementList() "/>")
}

void Prefix() #Prefix : {}
{
    <PREFIX> AttributeList() 
	(">" ElementList() "</" <PREFIX> ">" | ElementList() "/>")
}

void SubClassOf() #SubClassOf : {}
{
    <SUBCLASSOF> AttributeList() 
	(">" ElementList() "</" <SUBCLASSOF> ">" | ElementList() "/>")
}

void OwlElement() : {}
{
    OwlOntology()
	| OwlAllDifferent()
	| OwlAllValuesFrom()
	| OwlCardinality()
	| OwlClass()
	| OwlDataRange()
	| OwlDatatypeProperty()
	| OwlDisjointWith()
	| OwlDistinctMembers()
	| OwlEquivalentClass()
	| OwlEquivalentProperty()
	| OwlFunctionalProperty()
	| OwlHasValue()
	| OwlImports()
	| OwlIntersectionOf()
	| OwlInverseOf()
	| OwlMaxCardinality()
	| OwlMinCardinality()
	| OwlNamedIndividual()
	| OwlObjectProperty()
	| OwlOneOf()
	| OwlOnClass()
	| OwlOnDatatype()
	| OwlOnProperty()
	| OwlQualifiedCardinality()
	| OwlRestriction()
	| OwlSomeValuesFrom()
	| OwlTransitiveProperty()
	| OwlUnionOf()
	| OwlVersionInfo()
	| OwlWithRestrictions()
}

void OwlOntology() #OwlOntology : {}
{
    <OWL_ONTOLOGY> AttributeList() 
	(">" ElementList() "</" <OWL_ONTOLOGY> ">" | ElementList() "/>")
}

void OwlAllDifferent() #OwlAllDifferent : {}
{
    <OWL_ALLDIFFERENT> AttributeList() 
	(">" ElementList() "</" <OWL_ALLDIFFERENT> ">" | ElementList() "/>")
}

void OwlAllValuesFrom() #OwlAllValuesFrom : {}
{
    <OWL_ALLVALUESFROM> AttributeList() 
	(">" ElementList() "</" <OWL_ALLVALUESFROM> ">" | ElementList() "/>")
}

void OwlCardinality() #OwlCardinality : {}
{
    <OWL_CARDINALITY> AttributeList() 
	(">" ElementList() "</" <OWL_CARDINALITY> ">" | ElementList() "/>")
}

void OwlClass() #OwlClass : {}
{
    <OWL_CLASS> AttributeList() 
	(">" ElementList() "</" <OWL_CLASS> ">" | ElementList() "/>")
}

void OwlDataRange() #OwlDataRange : {}
{
    <OWL_DATARANGE> AttributeList() 
	(">" ElementList() "</" <OWL_DATARANGE> ">" | ElementList() "/>")
}

void OwlDatatypeProperty() #OwlDatatypeProperty : {}
{
    <OWL_DATATYPEPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_DATATYPEPROPERTY> ">" | ElementList() "/>")
}

void OwlDisjointWith() #OwlDisjointWith : {}
{
    <OWL_DISJOINTWITH> AttributeList() 
	(">" ElementList() "</" <OWL_DISJOINTWITH> ">" | ElementList() "/>")
}

void OwlDistinctMembers() #OwlDistinctMembers : {}
{
    <OWL_DISTINCTMEMBERS> AttributeList() 
	(">" ElementList() "</" <OWL_DISTINCTMEMBERS> ">" | ElementList() "/>")
}

void OwlEquivalentClass() #OwlEquivalentClass : {}
{
    <OWL_EQUIVALENTCLASS> AttributeList() 
	(">" ElementList() "</" <OWL_EQUIVALENTCLASS> ">" | ElementList() "/>")
}

void OwlEquivalentProperty() #OwlEquivalentProperty : {}
{
    <OWL_EQUIVALENTPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_EQUIVALENTPROPERTY> ">" | ElementList() "/>")
}

void OwlFunctionalProperty() #OwlFunctionalProperty : {}
{
    <OWL_FUNCTIONALPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_FUNCTIONALPROPERTY> ">" | ElementList() "/>")
}

void OwlHasValue () #OwlHasValue  : {}
{
    <OWL_HASVALUE> AttributeList() 
	(">" ElementList() "</" <OWL_HASVALUE> ">" | ElementList() "/>")
}

void OwlImports () #OwlImports  : {}
{
    <OWL_IMPORTS> AttributeList() 
	(">" ElementList() "</" <OWL_IMPORTS> ">" | ElementList() "/>")
}

void OwlIntersectionOf () #OwlIntersectionOf  : {}
{
    <OWL_INTERSECTIONOF> AttributeList() 
	(">" ElementList() "</" <OWL_INTERSECTIONOF> ">" | ElementList() "/>")
}

void OwlInverseOf () #OwlInverseOf  : {}
{
    <OWL_INVERSEOF> AttributeList() 
	(">" ElementList() "</" <OWL_INVERSEOF> ">" | ElementList() "/>")
}

void OwlMaxCardinality () #OwlMaxCardinality  : {}
{
    <OWL_MAXCARDINALITY> AttributeList() 
	(">" ElementList() "</" <OWL_MAXCARDINALITY> ">" | ElementList() "/>")
}

void OwlMinCardinality () #OwlMinCardinality  : {}
{
    <OWL_MINCARDINALITY> AttributeList() 
	(">" ElementList() "</" <OWL_MINCARDINALITY> ">" | ElementList() "/>")
}

void OwlNamedIndividual () #OwlNamedIndividual  : {}
{
    <OWL_NAMEDINDIVIDUAL> AttributeList() 
	(">" ElementList() "</" <OWL_NAMEDINDIVIDUAL> ">" | ElementList() "/>")
}

void OwlObjectProperty () #OwlObjectProperty  : {}
{
    <OWL_OBJECTPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_OBJECTPROPERTY> ">" | ElementList() "/>")
}

void OwlOneOf () #OwlOneOf  : {}
{
    <OWL_ONEOF> AttributeList() 
	(">" ElementList() "</" <OWL_ONEOF> ">" | ElementList() "/>")
}

void OwlOnClass () #OwlOnClass  : {}
{
    <OWL_ONCLASS> AttributeList() 
	(">" ElementList() "</" <OWL_ONCLASS> ">" | ElementList() "/>")
}

void OwlOnDatatype () #OwlOnDatatype  : {}
{
    <OWL_ONDATATYPE> AttributeList() 
	(">" ElementList() "</" <OWL_ONDATATYPE> ">" | ElementList() "/>")
}

void OwlOnProperty () #OwlOnProperty  : {}
{
    <OWL_ONPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_ONPROPERTY> ">" | ElementList() "/>")
}

void OwlQualifiedCardinality () #OwlQualifiedCardinality  : {}
{
    <OWL_QUALIFIEDCARDINALITY> AttributeList() 
	(">" ElementList() "</" <OWL_QUALIFIEDCARDINALITY> ">" | ElementList() "/>")
}

void OwlRestriction () #OwlRestriction  : {}
{
    <OWL_RESTRICTION> AttributeList() 
	(">" ElementList() "</" <OWL_RESTRICTION> ">" | ElementList() "/>")
}

void OwlSomeValuesFrom () #OwlSomeValuesFrom  : {}
{
    <OWL_SOMEVALUESFROM> AttributeList() 
	(">" ElementList() "</" <OWL_SOMEVALUESFROM> ">" | ElementList() "/>")
}

void OwlTransitiveProperty () #OwlTransitiveProperty  : {}
{
    <OWL_TRANSITIVEPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_TRANSITIVEPROPERTY> ">" | ElementList() "/>")
}

void OwlUnionOf () #OwlUnionOf  : {}
{
    <OWL_UNIONOF> AttributeList() 
	(">" ElementList() "</" <OWL_UNIONOF> ">" | ElementList() "/>")
}

void OwlVersionInfo () #OwlVersionInfo  : {}
{
    <OWL_VERSIONINFO> AttributeList() 
	(">" ElementList() "</" <OWL_VERSIONINFO> ">" | ElementList() "/>")
}

void OwlWithRestrictions () #OwlWithRestrictions  : {}
{
    <OWL_WITHRESTRICTIONS> AttributeList() 
	(">" ElementList() "</" <OWL_WITHRESTRICTIONS> ">" | ElementList() "/>")
}

void P1Element() : {}
{
    P1AnyOrder()
    | P1Components()
    | P1ComposedOf()
	| P1ControlConstructBag()
	| P1ControlConstructList()
	| P1Else()
	| P1HasInput()
	| P1HasOutput()
	| P1IfCondition()
	| P1IfThenElse()
	| P1Input()
	| P1Output()
	| P1ParameterType()
	| P1Perform()
	| P1Process()
	| P1RepeatUntil()
	| P1Sequence()
	| P1Then()
	| P1UntilCondition()
	| P1UntilProcess()
}

void P1AnyOrder() #P1AnyOrder : {}
{
    <P1_ANYORDER> AttributeList() 
	(">" ElementList() "</" <P1_ANYORDER> ">" | ElementList() "/>")
}

void P1Components() #P1Components : {}
{
    <P1_COMPONENTS> AttributeList() 
	(">" ElementList() "</" <P1_COMPONENTS> ">" | ElementList() "/>")
}

void P1ComposedOf() #P1ComposedOf : {}
{
    <P1_COMPOSEDOF> AttributeList() 
	(">" ElementList() "</" <P1_COMPOSEDOF> ">" | ElementList() "/>")
}

void P1ControlConstructBag() #P1ControlConstructBag : {}
{
    <P1_CONTROLCONSTRUCTBAG> AttributeList() 
	(">" ElementList() "</" <P1_CONTROLCONSTRUCTBAG> ">" | ElementList() "/>")
}

void P1ControlConstructList() #P1ControlConstructList : {}
{
    <P1_CONTROLCONSTRUCTLIST> AttributeList() 
	(">" ElementList() "</" <P1_CONTROLCONSTRUCTLIST> ">" | ElementList() "/>")
}

void P1Else() #P1Else : {}
{
    <P1_ELSE> AttributeList() 
	(">" ElementList() "</" <P1_ELSE> ">" | ElementList() "/>")
}

void P1HasInput() #P1HasInput : {}
{
    <P1_HASINPUT> AttributeList() 
	(">" ElementList() "</" <P1_HASINPUT> ">" | ElementList() "/>")
}

void P1HasOutput() #P1HasOutput : {}
{
    <P1_HASOUTPUT> AttributeList() 
	(">" ElementList() "</" <P1_HASOUTPUT> ">" | ElementList() "/>")
}

void P1IfCondition() #P1IfCondition : {}
{
    <P1_IFCONDITION> AttributeList() 
	(">" ElementList() "</" <P1_IFCONDITION> ">" | ElementList() "/>")
}

void P1IfThenElse() #P1IfThenElse : {}
{
    <P1_IFTHENELSE> AttributeList() 
	(">" ElementList() "</" <P1_IFTHENELSE> ">" | ElementList() "/>")
}

void P1Input() #P1Input : {}
{
    <P1_INPUT> AttributeList() 
	(">" ElementList() "</" <P1_INPUT> ">" | ElementList() "/>")
}

void P1Output() #P1Output : {}
{
    <P1_OUTPUT> AttributeList() 
	(">" ElementList() "</" <P1_OUTPUT> ">" | ElementList() "/>")
}

void P1ParameterType() #P1ParameterType : {}
{
    <P1_PARAMETERTYPE> AttributeList() 
	(">" ElementList() "</" <P1_PARAMETERTYPE> ">" | ElementList() "/>")
}

void P1Perform() #P1Perform : {}
{
    <P1_PERFORM> AttributeList() 
	(">" ElementList() "</" <P1_PERFORM> ">" | ElementList() "/>")
}

void P1Process() #P1Process : {}
{
    <P1_PROCESS> AttributeList() 
	(">" ElementList() "</" <P1_PROCESS> ">" | ElementList() "/>")
}

void P1RepeatUntil() #P1RepeatUntil : {}
{
    <P1_REPEATUNTIL> AttributeList() 
	(">" ElementList() "</" <P1_REPEATUNTIL> ">" | ElementList() "/>")
}

void P1Sequence() #P1Sequence : {}
{
    <P1_SEQUENCE> AttributeList() 
	(">" ElementList() "</" <P1_SEQUENCE> ">" | ElementList() "/>")
}

void P1Then() #P1Then : {}
{
    <P1_THEN> AttributeList() 
	(">" ElementList() "</" <P1_THEN> ">" | ElementList() "/>")
}

void P1UntilCondition() #P1UntilCondition : {}
{
    <P1_UNTILCONDITION> AttributeList() 
	(">" ElementList() "</" <P1_UNTILCONDITION> ">" | ElementList() "/>")
}

void P1UntilProcess() #P1UntilProcess : {}
{
    <P1_UNTILPROCESS> AttributeList() 
	(">" ElementList() "</" <P1_UNTILPROCESS> ">" | ElementList() "/>")
}

void ProcessElement(): {}
{
    ProcessParticipant()
  | ProcessPerform()
}

void ProcessParticipant() #ProcessParticipant : {}
{
    <PROCESS_PARTICIPANT> AttributeList() 
	(">" ElementList() "</" <PROCESS_PARTICIPANT> ">" | ElementList() "/>")
}

void ProcessPerform() #ProcessPerform : {}
{
    <PROCESS_PERFORM> AttributeList() 
	(">" ElementList() "</" <PROCESS_PERFORM> ">" | ElementList() "/>")
}


void RdfElement() : {}
{
    RdfType()
	| RdfDescription()
	| RdfFirst()
	| RdfProperty()
	| RdfRest()
	| RdfsComment()
	| RdfsDatatype()
	| RdfsDomain()
	| RdfsLabel()
	| RdfsRange()
	| RdfsSeeAlso()
	| RdfsSubClassOf()
	| RdfsSubPropertyOf()
}

void RdfType() #RdfType : {}
{
    <RDF_TYPE> AttributeList() 
	(">" ElementList() "</" <RDF_TYPE> ">" | ElementList() "/>")
}

void RdfDescription() #RdfDescription : {}
{
    <RDF_DESCRIPTION> AttributeList() 
	(">" ElementList() "</" <RDF_DESCRIPTION> ">" | ElementList() "/>")
}

void RdfFirst() #RdfFirst : {}
{
    <RDF_FIRST> AttributeList() 
	(">" ElementList() "</" <RDF_FIRST> ">" | ElementList() "/>")
}

void RdfProperty() #RdfProperty : {}
{
    <RDF_PROPERTY> AttributeList() 
	(">" ElementList() "</" <RDF_PROPERTY> ">" | ElementList() "/>")
}

void RdfRest() #RdfRest : {}
{
    <RDF_REST> AttributeList() 
	(">" ElementList() "</" <RDF_REST> ">" | ElementList() "/>")
}

void RdfsComment() #RdfsComment : {}
{
    <RDFS_COMMENT> AttributeList() 
	(">" ElementList() "</" <RDFS_COMMENT> ">" | ElementList() "/>")
}

void RdfsDatatype() #RdfsDatatype : {}
{
    <RDFS_DATATYPE> AttributeList() 
	(">" ElementList() "</" <RDFS_DATATYPE> ">" | ElementList() "/>")
}

void RdfsDomain() #RdfsDomain : {}
{
    <RDFS_DOMAIN> AttributeList() 
	(">" ElementList() "</" <RDFS_DOMAIN> ">" | ElementList() "/>")
}

void RdfsLabel() #RdfsLabel : {}
{
    <RDFS_LABEL> AttributeList() 
	(">" ElementList() "</" <RDFS_LABEL> ">" | ElementList() "/>")
}

void RdfsRange() #RdfsRange : {}
{
    <RDFS_RANGE> AttributeList() 
	(">" ElementList() "</" <RDFS_RANGE> ">" | ElementList() "/>")
}

void RdfsSeeAlso() #RdfsSeeAlso : {}
{
    <RDFS_SEEALSO> AttributeList() 
	(">" ElementList() "</" <RDFS_SEEALSO> ">" | ElementList() "/>")
}

void RdfsSubClassOf() #RdfsSubClassOf : {}
{
    <RDFS_SUBCLASSOF> AttributeList() 
	(">" ElementList() "</" <RDFS_SUBCLASSOF> ">" | ElementList() "/>")
}

void RdfsSubPropertyOf() #RdfsSubPropertyOf : {}
{
    <RDFS_SUBPROPERTYOF> AttributeList() 
	(">" ElementList() "</" <RDFS_SUBPROPERTYOF> ">" | ElementList() "/>")
}

void XsdElement() : {}
{
    XsdMinInclusive()
}

void XsdMinInclusive() #XsdMinInclusive : {}
{
    <XSD_MININCLUSIVE> AttributeList() 
	(">" ElementList() "</" <XSD_MININCLUSIVE> ">" | ElementList() "/>")
}

void AttributeList() #List : {}
{
    (Attribute())*
}

void Attribute() : {}
{
    Version()
	| OntologyAttribute()
	| RdfAttribute()
	| XmlAttribute()
	| XmlnsAttribute()
}

void Version() #Version : {}
{
    <VERSION> <ASSIGN> Value()
}

void OntologyAttribute() : {}
{
	AbbreviatedIRI()
		| Cardinality()
		| DatatypeIRI()
		| IRI()
		| Name()
		| OntologyIRI()
}

void AbbreviatedIRI() #AbbreviatedIRI : {}
{
    <ABBREVIATEDIRI> <ASSIGN> Value()
}

void Cardinality() #Cardinality : {}
{
    <CARDINALITY> <ASSIGN> Value()
}

void DatatypeIRI() #DatatypeIRI : {}
{
    <DATATYPEIRI> <ASSIGN> Value()
}

void IRI() #IRI : {}
{
    <IRI> <ASSIGN> Value()
}

void Name() #Name : {}
{
    <NAME> <ASSIGN> Value()
}

void OntologyIRI() #OntologyIRI : {}
{
    <ONTOLOGYIRI> <ASSIGN> Value()
}

void RdfAttribute() : {}
{
    RdfAbout()
	| RdfDatatype()
	| RdfId()
	| RdfParseType()
	| RdfResource()
}

void RdfAbout() #RdfAbout : {}
{
    <RDF_ABOUT> <ASSIGN> Value()
}

void RdfDatatype() #RdfDatatype : {}
{
    <RDF_DATATYPE> <ASSIGN> Value()
}

void RdfId() #RdfId : {}
{
    <RDF_ID> <ASSIGN> Value()
}

void RdfParseType() #RdfParseType : {}
{
    <RDF_PARSETYPE> <ASSIGN> Value()
}

void RdfResource() #RdfResource : {}
{
    <RDF_RESOURCE> <ASSIGN> Value()
}

void XmlAttribute() : {}
{
    XmlBase()
}

void XmlBase() #XmlBase : {}
{
    <XML_BASE> <ASSIGN> Value()
}

void XmlnsAttribute() : {}
{
    Xmlns()
  | XmlnsXml()
  | XmlnsXX()
// 	| XmlnsDaml()
// 	| XmlnsDc()
// 	| XmlnsExpr()
// 	| XmlnsList()
// 	| XmlnsOwl()
// 	| XmlnsOwls()
// 	| XmlnsP1()
// 	| XmlnsProtege()
// 	| XmlnsRdf()
// 	| XmlnsRdfs()
// 	| XmlnsSwrl()
// 	| XmlnsSwrlb()
// 	| XmlnsXsd()
// 	| XmlnsXsp()
}

void Xmlns() #Xmlns : {}
{
    <XMLNS> <ASSIGN> Value()
}

void XmlnsXml() #XmlnsXml : {}
{
    <XMLNS_XML> <ASSIGN> Value()
}

void XmlnsXX() #XmlnsXX : {Token t;}
{
    <XMLNS_XX> t = <IDENTIFIER> <ASSIGN> Value()
	{jjtThis.setIDENTIFIER(t.image);}
}

// void XmlnsDaml() #XmlnsDaml : {}
// {
//     <XMLNS_DAML> <ASSIGN> Value()
// }

// void XmlnsDc() #XmlnsDc : {}
// {
//     <XMLNS_DC> <ASSIGN> Value()
// }

// void XmlnsExpr() #XmlnsExpr : {}
// {
//     <XMLNS_EXPR> <ASSIGN> Value()
// }

// void XmlnsList() #XmlnsList : {}
// {
//     <XMLNS_LIST> <ASSIGN> Value()
// }

// void XmlnsP1() #XmlnsP1 : {}
// {
//     <XMLNS_P1> <ASSIGN> Value()
// }

// void XmlnsProtege() #XmlnsProtege : {}
// {
//     <XMLNS_PROTEGE> <ASSIGN> Value()
// }

// void XmlnsRdf() #XmlnsRdf : {}
// {
//     <XMLNS_RDF> <ASSIGN> Value()
// }

// void XmlnsSwrl() #XmlnsSwrl : {}
// {
//     <XMLNS_SWRL> <ASSIGN> Value()
// }

// void XmlnsSwrlb() #XmlnsSwrlb : {}
// {
//     <XMLNS_SWRLB> <ASSIGN> Value()
// }

// void XmlnsXsd() #XmlnsXsd : {}
// {
//     <XMLNS_XSD> <ASSIGN> Value()
// }

// void XmlnsXsp() #XmlnsXsp : {}
// {
//     <XMLNS_XSP> <ASSIGN> Value()
// }

// void XmlnsRdfs() #XmlnsRdfs : {}
// {
//     <XMLNS_RDFS> <ASSIGN> Value()
// }

// void XmlnsOwl() #XmlnsOwl : {}
// {
//     <XMLNS_OWL> <ASSIGN> Value()
// }

// void XmlnsOwls() #XmlnsOwls : {}
// {
//     <XMLNS_OWLS> <ASSIGN> Value()
// }

void Value() #Value : { Token t; }
{
    t = <STRING_LITERAL>
	{jjtThis.setSTRING_LITERAL(t.image);}
}