owl.jjt 15.5 KB
Newer Older
1 2 3 4 5
options {
    MULTI                       = true;
    VISITOR                     = true;
    NODE_DEFAULT_VOID           = true;
    NODE_SCOPE_HOOK             = false;
6
    NODE_PREFIX                 = "";
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
    JAVA_UNICODE_ESCAPE         = true;
    STATIC                      = false;
} // 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  :  "/*" (~["*"])* "*" ("*" | (~["*","/"] (~["*"])* "*"))* "/"  >
45
< "<!--" ( ~["-"] | ( "-" ~["-"] ) )* "-->">
46
	| < "<rdfs:comment" ( ~["<"] | ( "<" ~["/"] ) )* "</rdfs:comment>" >
47
//     <XML_COMMENT  :  "<!--" (~["-","-",">"])* "-->"  >
48 49 50
}// COMMENTS


51 52 53 54
// <BOUNDS> TOKEN: {
//     < BEGINCOMMENT : "<!--"     >
//   | < ENDCOMMENT   : "-->"     >
// }
55 56 57

<DEFAULT, BOUNDS> TOKEN : /* RESERVED WORDS AND LITERALS */
{
58
    < OWL_ALLVALUESFROM     : "owl:allValuesFrom" >
59
  | < OWL_ALLDIFFERENT      : "owl:AllDifferent" >
60
  | < OWL_CARDINALITY        : "owl:cardinality" >
61 62 63 64 65 66
  | < OWL_CLASS             : "owl:Class" >
  | < OWL_DATARANGE         : "owl:DataRange" >
  | < OWL_DATATYPEPROPERTY  : "owl:DatatypeProperty" >
  | < OWL_DISJOINTWITH      : "owl:disjointWith" >
  | < OWL_EQUIVALENTCLASS   : "owl:equivalentClass" >
  | < OWL_FUNCTIONALPROPERTY : "owl:FunctionalProperty" >
67 68
  | < OWL_IMPORTS            : "owl:imports" >
  | < OWL_INTERSECTIONOF     : "owl:intersectionOf" >
69
  | < OWL_INVERSEOF         : "owl:inverseOf" >
70
  | < OWL_MINCARDINALITY     : "owl:minCardinality" >
71 72 73 74 75 76 77
  | < OWL_OBJECTPROPERTY    : "owl:ObjectProperty" >
  | < OWL_ONPROPERTY        : "owl:onProperty" >
  | < OWL_ONEOF             : "owl:oneOf" >
  | < OWL_ONTOLOGY          : "owl:Ontology" >
  | < OWL_RESTRICTION       : "owl:Restriction" >
  | < OWL_SOMEVALUESFROM    : "owl:someValuesFrom" >
  | < OWL_UNIONOF           : "owl:unionOf" >
78 79 80 81 82 83 84 85 86
  | < RDF_RDF            : "rdf:RDF"      >
  | < RDF_ABOUT          : "rdf:about" >
  | < RDF_DATATYPE          : "rdf:datatype" >
  | < RDF_ID                : "rdf:ID" >
  | < RDF_FIRST             : "rdf:first" >
  | < RDF_REST              : "rdf:rest" >
  | < RDF_PARSETYPE         : "rdf:parseType" >
  | < RDF_RESOURCE          : "rdf:resource" >
  | < RDF_TYPE              : "rdf:type" >
87
  | < RDFS_COMMENT          : "rdfs:comment" >
88 89 90 91
  | < RDFS_DOMAIN           : "rdfs:domain" >
  | < RDFS_RANGE            : "rdfs:range" >
  | < RDFS_SUBCLASSOF       : "rdfs:subClassOf" >
  | < RDFS_SUBPROPERTYOF     : "rdfs:subPropertyOf" >
92
  | < VERSION               : "version" >
93 94 95 96 97
  | < XML                   : "xml"          >
  | < XML_BASE              : "xml:base" >
  | < XMLNS                 : "xmlns" >	 
  | < XMLNS_DAML            : "xmlns:daml" >	 
  | < XMLNS_DC              : "xmlns:dc" >	 
98
  | < XMLNS_P1              : "xmlns:p1" >	 
99 100 101 102 103
  | < XMLNS_PROTEGE         : "xmlns:protege" >	 
  | < XMLNS_RDF             : "xmlns:rdf" >	 
  | < XMLNS_XSD             : "xmlns:xsd" >	 
  | < XMLNS_RDFS            : "xmlns:rdfs" >	 
  | < XMLNS_OWL             : "xmlns:owl" >	 
104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121

}// 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"])* >
    |
122
    < FLOAT_LITERAL:
123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168
        (["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 */
{
169
    < IDENTIFIER: <LETTER> (<LETTER>|<DIGIT>|"-")* >
170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211
    |
    < #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 */
{
212 213 214
//       < LPAREN               : "("    >
//     | < RPAREN               : ")"    >
     < LBRACE               : "{"    >
215 216 217 218
    | < RBRACE               : "}"    >
    | < LBRACKET             : "["    >
    | < RBRACKET             : "]"    >
    | < SEMICOLON            : ";"    >
219 220
//     | < COMMA                : ","    >
//     | < DOT                  : "."    >
221 222 223
}// SEPARATORS


224 225 226
<DEFAULT,BOUNDS> TOKEN : /* OPERATORS */
{
      < ASSIGN               : "="    >
227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262
//     | < 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 : ">>>=" >
263
}// OPERATORS
264 265


266 267 268 269 270 271
// <DEFAULT,BOUNDS> TOKEN : /* TEXT */
// {
//     < TEXT : <LETTER> (~["<",">"])*    >
// }// TEXT


272 273 274 275
//--------------------------------------------------------------------//
//                      THE OWL LANGUAGE GRAMMAR                     //
//--------------------------------------------------------------------//

276
Start Start() #Start : {}
277
{
278
    Specification()
279 280 281
  { return jjtThis; }
}

282 283
void Specification() #Specification : {}
{
284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306
    XmlHeader()
	RdfDeclaration()
}

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

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

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

void Element() : {}
{
307 308 309 310 311 312 313 314 315
    ( "<" ( OwlElement()
	    | RdfElement()
	    ))
	| SimpleElement()
}

void SimpleElement() : {}
{
    IntElement()
316
	| FloatElement()
317 318 319 320 321 322 323 324 325
	| StringElement()
}

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

326 327 328 329 330 331
void FloatElement() #FloatElement : { Token t; }
{
    t = <FLOAT_LITERAL>
	{jjtThis.setFLOAT_LITERAL(t.image);}
}

332 333 334 335
void StringElement() #StringElement : { Token t; }
{
    t = <IDENTIFIER>
	{jjtThis.setIDENTIFIER(t.image);}
336 337 338 339 340
}

void OwlElement() : {}
{
    OwlOntology()
341
	| OwlAllDifferent()
342
	| OwlAllValuesFrom()
343
	| OwlCardinality()
344
	| OwlClass()
345 346
	| OwlDataRange()
	| OwlDatatypeProperty()
347 348
	| OwlDisjointWith()
	| OwlEquivalentClass()
349
	| OwlFunctionalProperty()
350 351
	| OwlImports()
	| OwlIntersectionOf()
352
	| OwlInverseOf()
353
	| OwlMinCardinality()
354
	| OwlObjectProperty()
355
	| OwlOneOf()
356 357 358
	| OwlOnProperty()
	| OwlSomeValuesFrom()
	| OwlRestriction()
359
	| OwlUnionOf()
360 361 362 363
}

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

368 369 370 371 372 373
void OwlAllDifferent() #OwlAllDifferent : {}
{
    <OWL_ALLDIFFERENT> AttributeList() 
	(">" ElementList() "</" <OWL_ALLDIFFERENT> ">" | ElementList() "/>")
}

374 375 376 377 378 379
void OwlAllValuesFrom() #OwlAllValuesFrom : {}
{
    <OWL_ALLVALUESFROM> AttributeList() 
	(">" ElementList() "</" <OWL_ALLVALUESFROM> ">" | ElementList() "/>")
}

380 381 382 383 384 385
void OwlCardinality() #OwlCardinality : {}
{
    <OWL_CARDINALITY> AttributeList() 
	(">" ElementList() "</" <OWL_CARDINALITY> ">" | ElementList() "/>")
}

386 387 388 389 390 391
void OwlClass() #OwlClass : {}
{
    <OWL_CLASS> AttributeList() 
	(">" ElementList() "</" <OWL_CLASS> ">" | ElementList() "/>")
}

392 393 394 395 396 397 398 399 400 401 402 403
void OwlDataRange() #OwlDataRange : {}
{
    <OWL_DATARANGE> AttributeList() 
	(">" ElementList() "</" <OWL_DATARANGE> ">" | ElementList() "/>")
}

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

404 405 406 407 408 409 410 411 412 413 414 415
void OwlDisjointWith() #OwlDisjointWith : {}
{
    <OWL_DISJOINTWITH> AttributeList() 
	(">" ElementList() "</" <OWL_DISJOINTWITH> ">" | ElementList() "/>")
}

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

416 417 418 419 420 421
void OwlFunctionalProperty() #OwlFunctionalProperty : {}
{
    <OWL_FUNCTIONALPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_FUNCTIONALPROPERTY> ">" | ElementList() "/>")
}

422 423 424 425 426 427 428 429 430 431 432 433
void OwlImports () #OwlImports  : {}
{
    <OWL_IMPORTS> AttributeList() 
	(">" ElementList() "</" <OWL_IMPORTS> ">" | ElementList() "/>")
}

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

434 435 436 437 438 439
void OwlInverseOf () #OwlInverseOf  : {}
{
    <OWL_INVERSEOF> AttributeList() 
	(">" ElementList() "</" <OWL_INVERSEOF> ">" | ElementList() "/>")
}

440 441 442 443 444 445
void OwlMinCardinality () #OwlMinCardinality  : {}
{
    <OWL_MINCARDINALITY> AttributeList() 
	(">" ElementList() "</" <OWL_MINCARDINALITY> ">" | ElementList() "/>")
}

446 447 448 449 450 451
void OwlObjectProperty () #OwlObjectProperty  : {}
{
    <OWL_OBJECTPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_OBJECTPROPERTY> ">" | ElementList() "/>")
}

452 453 454 455 456 457
void OwlOneOf () #OwlOneOf  : {}
{
    <OWL_ONEOF> AttributeList() 
	(">" ElementList() "</" <OWL_ONEOF> ">" | ElementList() "/>")
}

458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475
void OwlOnProperty () #OwlOnProperty  : {}
{
    <OWL_ONPROPERTY> AttributeList() 
	(">" ElementList() "</" <OWL_ONPROPERTY> ">" | ElementList() "/>")
}

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

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

476 477 478 479 480 481
void OwlUnionOf () #OwlUnionOf  : {}
{
    <OWL_UNIONOF> AttributeList() 
	(">" ElementList() "</" <OWL_UNIONOF> ">" | ElementList() "/>")
}

482 483
void RdfElement() : {}
{
484 485 486
    RdfType()
	| RdfFirst()
	| RdfRest()
487
	| RdfsComment()
488
	| RdfsDomain()
489
	| RdfsRange()
490 491
	| RdfsSubClassOf()
	| RdfsSubPropertyOf()
492 493
}

494
void RdfType() #RdfType : {}
495
{
496 497 498 499 500 501 502 503 504 505 506 507 508 509
    <RDF_TYPE> AttributeList() 
	(">" ElementList() "</" <RDF_TYPE> ">" | ElementList() "/>")
}

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

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

512 513 514 515 516 517
void RdfsComment() #RdfsComment : {}
{
    <RDFS_COMMENT> AttributeList() 
	(">" ElementList() "</" <RDFS_COMMENT> ">" | ElementList() "/>")
}

518 519 520 521
void RdfsDomain() #RdfsDomain : {}
{
    <RDFS_DOMAIN> AttributeList() 
	(">" ElementList() "</" <RDFS_DOMAIN> ">" | ElementList() "/>")
522 523
}

524 525 526 527 528 529 530 531 532 533 534 535
void RdfsRange() #RdfsRange : {}
{
    <RDFS_RANGE> AttributeList() 
	(">" ElementList() "</" <RDFS_RANGE> ">" | ElementList() "/>")
}

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

536 537 538 539 540 541
void RdfsSubPropertyOf() #RdfsSubPropertyOf : {}
{
    <RDFS_SUBPROPERTYOF> AttributeList() 
	(">" ElementList() "</" <RDFS_SUBPROPERTYOF> ">" | ElementList() "/>")
}

542 543 544 545 546
void AttributeList() #List : {}
{
    (Attribute())*
}

547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562
void Attribute() : {}
{
    Version()
	| RdfAttribute()
	| XmlAttribute()
	| XmlnsAttribute()
}

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

void RdfAttribute() : {}
{
    RdfAbout()
563
	| RdfDatatype()
564
	| RdfId()
565
	| RdfParseType()
566 567 568 569 570 571 572 573
	| RdfResource()
}

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

574 575 576 577 578
void RdfDatatype() #RdfDatatype : {}
{
    <RDF_DATATYPE> <ASSIGN> Value()
}

579 580 581 582 583
void RdfId() #RdfId : {}
{
    <RDF_ID> <ASSIGN> Value()
}

584 585 586 587 588 589
void RdfParseType() #RdfParseType : {}
{
    <RDF_PARSETYPE> <ASSIGN> Value()
}

void RdfResource() #RdfResource : {}
590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606
{
    <RDF_RESOURCE> <ASSIGN> Value()
}

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

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

void XmlnsAttribute() : {}
{
    Xmlns()
607 608 609
	| XmlnsDaml()
	| XmlnsDc()
	| XmlnsOwl()
610
	| XmlnsP1()
611
	| XmlnsProtege()
612 613
	| XmlnsRdf()
	| XmlnsRdfs()
614
	| XmlnsXsd()
615 616 617 618 619 620 621
}

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

622 623 624 625 626 627 628 629 630 631
void XmlnsDaml() #XmlnsDaml : {}
{
    <XMLNS_DAML> <ASSIGN> Value()
}

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

632 633 634 635 636
void XmlnsP1() #XmlnsP1 : {}
{
    <XMLNS_P1> <ASSIGN> Value()
}

637 638 639 640 641
void XmlnsProtege() #XmlnsProtege : {}
{
    <XMLNS_PROTEGE> <ASSIGN> Value()
}

642 643 644 645 646 647 648 649 650 651 652
void XmlnsRdf() #XmlnsRdf : {}
{
    <XMLNS_RDF> <ASSIGN> Value()
}

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

void XmlnsRdfs() #XmlnsRdfs : {}
653
{
654
    <XMLNS_RDFS> <ASSIGN> Value()
655 656
}

657
void XmlnsOwl() #XmlnsOwl : {}
658
{
659
    <XMLNS_OWL> <ASSIGN> Value()
660 661 662 663 664 665
}

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