--- a/model/grammar.txt Mon Nov 19 16:35:50 2012 +0000
+++ b/model/grammar.txt Mon Nov 19 16:36:15 2012 +0000
@@ -1,121 +1,117 @@
-]>
-
-Productions:
-[1] document :: "document" (namespaceDeclarations)? (expression)* (bundle)* "endDocument"
- =
-[2] expression :: ( entityExpression | activityExpression | generationExpression | usageExpression
- = | startExpression | endExpression | invalidationExpression |
- communicationExpression | agentExpression | associationExpression |
- attributionExpression | delegationExpression | derivationExpression |
- influenceExpression | alternateExpression | specializationExpression |
- membershipExpression | extensibilityExpression )
-[3] entityExpression :: "entity" "(" identifier optionalAttributeValuePairs ")"
- =
-[4] optionalAttributeValuePairs :: (( "," "[" attributeValuePairs "]" ))?
- =
-[5] attributeValuePairs :: ( | attributeValuePair (( "," attributeValuePair ))* )
- =
-[6] attributeValuePair :: attribute "=" literal
- =
-[7] activityExpression :: "activity" "(" identifier (( "," timeOrMarker "," timeOrMarker ))?
- = optionalAttributeValuePairs ")"
-[8] timeOrMarker :: ( timeZZ | "-" )
- =
-[9] generationExpression :: "wasGeneratedBy" "(" optionalIdentifier eIdentifier (( "," aIdentifierOrMarker
- = "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[10] optionalIdentifier :: (( identifierOrMarker ";" ))?
- =
-[11] identifierOrMarker :: ( identifier | "-" )
- =
-[12] usageExpression :: "used" "(" optionalIdentifier aIdentifier (( "," eIdentifierOrMarker ","
- = timeOrMarker ))? optionalAttributeValuePairs ")"
-[13] communicationExpression :: "wasInformedBy" "(" optionalIdentifier aIdentifier "," aIdentifier
- = optionalAttributeValuePairs ")"
-[14] startExpression :: "wasStartedBy" "(" optionalIdentifier aIdentifier (( "," eIdentifierOrMarker ","
- = aIdentifierOrMarker "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[15] endExpression :: "wasEndedBy" "(" optionalIdentifier aIdentifier (( "," eIdentifierOrMarker ","
- = aIdentifierOrMarker "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[16] invalidationExpression :: "wasInvalidatedBy" "(" optionalIdentifier eIdentifier (( "," aIdentifierOrMarker
- = "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[17] derivationExpression :: "wasDerivedFrom" "(" optionalIdentifier eIdentifier "," eIdentifier (( ","
- = aIdentifierOrMarker "," gIdentifierOrMarker "," uIdentifierOrMarker ))?
- optionalAttributeValuePairs ")"
-[18] agentExpression :: "agent" "(" identifier optionalAttributeValuePairs ")"
- =
-[19] attributionExpression :: "wasAttributedTo" "(" optionalIdentifier eIdentifier "," agIdentifier
- = optionalAttributeValuePairs ")"
-[20] associationExpression :: "wasAssociatedWith" "(" optionalIdentifier aIdentifier (( ","
- = agIdentifierOrMarker "," eIdentifierOrMarker ))? optionalAttributeValuePairs ")"
-[21] delegationExpression :: "actedOnBehalfOf" "(" optionalIdentifier agIdentifier "," agIdentifier (( ","
- = aIdentifierOrMarker ))? optionalAttributeValuePairs ")"
-[22] influenceExpression :: "wasInfluencedBy" "(" optionalIdentifier eIdentifier "," eIdentifier
- = optionalAttributeValuePairs ")"
-[23] bundle :: "bundle" identifier (namespaceDeclarations)? (expression)* "endBundle"
- =
-[24] alternateExpression :: "alternateOf" "(" eIdentifier "," eIdentifier ")"
- =
-[25] specializationExpression :: "specializationOf" "(" eIdentifier "," eIdentifier ")"
- =
-[26] membershipExpression :: "hadMember" "(" cIdentifier "," eIdentifier ")"
- =
-[27] eIdentifier :: identifier
- =
-[28] aIdentifier :: identifier
- =
-[29] agIdentifier :: identifier
- =
-[30] gIdentifier :: identifier
- =
-[31] uIdentifier :: identifier
- =
-[32] cIdentifier :: identifier
- =
-[33] eIdentifierOrMarker :: ( eIdentifier | "-" )
- =
-[34] aIdentifierOrMarker :: ( aIdentifier | "-" )
- =
-[35] agIdentifierOrMarker :: ( agIdentifier | "-" )
- =
-[36] gIdentifierOrMarker :: ( gIdentifier | "-" )
- =
-[37] uIdentifierOrMarker :: ( uIdentifier | "-" )
- =
-[38] identifier :: QUALIFIED_NAME
- =
-[39] attribute :: QUALIFIED_NAME
- =
-[40] literal :: typedLiteral
- = | convenienceNotation
-[41] typedLiteral :: STRING_LITERAL "%%" datatype
- =
-[42] datatype :: QUALIFIED_NAME
- =
-[43] convenienceNotation :: STRING_LITERAL (LANGTAG)?
- = | INT_LITERAL
+
+
+
+[1] document ::= "document" (namespaceDeclarations)? (expression)* (bundle)* "endDocument"
+
+[2] expression ::= ( entityExpression | activityExpression | generationExpression | usageExpression | startExpression | endExpression | invalidationExpression | communicationExpression | agentExpression |
+ associationExpression | attributionExpression | delegationExpression | derivationExpression | influenceExpression | alternateExpression | specializationExpression | membershipExpression |
+ extensibilityExpression )
+[3] entityExpression ::= "entity" "(" identifier optionalAttributeValuePairs ")"
+
+[4] optionalAttributeValuePairs ::= ( "," "[" attributeValuePairs "]" )?
+
+[5] attributeValuePairs ::= ( | attributeValuePair ( "," attributeValuePair )* )
+
+[6] attributeValuePair ::= attribute "=" literal
+
+[7] activityExpression ::= "activity" "(" identifier ( "," timeOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[8] timeOrMarker ::= ( time | "-" )
+
+[9] generationExpression ::= "wasGeneratedBy" "(" optionalIdentifier eIdentifier ( "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[10] optionalIdentifier ::= ( identifierOrMarker ";" )?
+
+[11] identifierOrMarker ::= ( identifier | "-" )
+
+[12] usageExpression ::= "used" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[13] communicationExpression ::= "wasInformedBy" "(" optionalIdentifier aIdentifier "," aIdentifier optionalAttributeValuePairs ")"
+
+[14] startExpression ::= "wasStartedBy" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[15] endExpression ::= "wasEndedBy" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[16] invalidationExpression ::= "wasInvalidatedBy" "(" optionalIdentifier eIdentifier ( "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[17] derivationExpression ::= "wasDerivedFrom" "(" optionalIdentifier eIdentifier "," eIdentifier ( "," aIdentifierOrMarker "," gIdentifierOrMarker "," uIdentifierOrMarker )? optionalAttributeValuePairs ")"
+
+[18] agentExpression ::= "agent" "(" identifier optionalAttributeValuePairs ")"
+
+[19] attributionExpression ::= "wasAttributedTo" "(" optionalIdentifier eIdentifier "," agIdentifier optionalAttributeValuePairs ")"
+
+[20] associationExpression ::= "wasAssociatedWith" "(" optionalIdentifier aIdentifier ( "," agIdentifierOrMarker "," eIdentifierOrMarker )? optionalAttributeValuePairs ")"
+
+[21] delegationExpression ::= "actedOnBehalfOf" "(" optionalIdentifier agIdentifier "," agIdentifier ( "," aIdentifierOrMarker )? optionalAttributeValuePairs ")"
+
+[22] influenceExpression ::= "wasInfluencedBy" "(" optionalIdentifier eIdentifier "," eIdentifier optionalAttributeValuePairs ")"
+
+[23] bundle ::= "bundle" identifier (namespaceDeclarations)? (expression)* "endBundle"
+
+[24] alternateExpression ::= "alternateOf" "(" eIdentifier "," eIdentifier ")"
+
+[25] specializationExpression ::= "specializationOf" "(" eIdentifier "," eIdentifier ")"
+
+[26] membershipExpression ::= "hadMember" "(" cIdentifier "," eIdentifier ")"
+
+[27] eIdentifier ::= identifier
+
+[28] aIdentifier ::= identifier
+
+[29] agIdentifier ::= identifier
+
+[30] gIdentifier ::= identifier
+
+[31] uIdentifier ::= identifier
+
+[32] cIdentifier ::= identifier
+
+[33] eIdentifierOrMarker ::= ( eIdentifier | "-" )
+
+[34] aIdentifierOrMarker ::= ( aIdentifier | "-" )
+
+[35] agIdentifierOrMarker ::= ( agIdentifier | "-" )
+
+[36] gIdentifierOrMarker ::= ( gIdentifier | "-" )
+
+[37] uIdentifierOrMarker ::= ( uIdentifier | "-" )
+
+[38] identifier ::= QUALIFIED_NAME
+
+[39] attribute ::= QUALIFIED_NAME
+
+[40] literal ::= typedLiteral
+ | convenienceNotation
+[41] typedLiteral ::= STRING_LITERAL "%%" datatype
+
+[42] datatype ::= QUALIFIED_NAME
+
+[43] convenienceNotation ::= STRING_LITERAL (LANGTAG)?
+ | INT_LITERAL
| QUALIFIED_NAME_LITERAL
-[44] timeZZ :: DATETIME
- =
-[45] namespaceDeclarations :: ( defaultNamespaceDeclaration | namespaceDeclaration ) (namespaceDeclaration)*
- =
-[46] namespaceDeclaration :: "prefix" PN_PREFIX namespace
- =
-[47] defaultNamespaceDeclaration :: "default" IRI_REF
- =
-[48] namespace :: IRI_REF
- =
-[49] extensibilityExpression :: QUALIFIED_NAME "(" optionalIdentifier extensibilityArgument (( ","
- = extensibilityArgument ))* optionalAttributeValuePairs ")"
-[50] extensibilityArgument :: ( identifierOrMarker | literal | timeZZ | extensibilityExpression |
- = extensibilityTuple )
-[51] extensibilityTuple :: "{" extensibilityArgument (( "," extensibilityArgument ))* "}"
- = | "(" extensibilityArgument (( "," extensibilityArgument ))* ")"
-[52] <QUALIFIED_NAME> :: (( PN_PREFIX ":" ))? PN_LOCAL
- = | PN_PREFIX ":"
-[53] <PN_LOCAL> :: ( PN_CHARS_U | [0-9] | PN_CHARS_OTHERS ) (( (( PN_CHARS | "." | PN_CHARS_OTHERS
- = ))* ( PN_CHARS | PN_CHARS_OTHERS ) ))?
-[54] <PN_CHARS_OTHERS> :: "/"
- = | "@"
+[44] time ::= DATETIME
+
+[45] namespaceDeclarations ::= ( defaultNamespaceDeclaration | namespaceDeclaration ) (namespaceDeclaration)*
+
+[46] namespaceDeclaration ::= "prefix" PN_PREFIX namespace
+
+[47] defaultNamespaceDeclaration ::= "default" IRI_REF
+
+[48] namespace ::= IRI_REF
+
+[49] extensibilityExpression ::= QUALIFIED_NAME "(" optionalIdentifier extensibilityArgument ( "," extensibilityArgument )* optionalAttributeValuePairs ")"
+
+[50] extensibilityArgument ::= ( identifierOrMarker | literal | time | extensibilityExpression | extensibilityTuple )
+
+[51] extensibilityTuple ::= "{" extensibilityArgument ( "," extensibilityArgument )* "}"
+ | "(" extensibilityArgument ( "," extensibilityArgument )* ")"
+[52] <QUALIFIED_NAME> ::= ( PN_PREFIX ":" )? PN_LOCAL
+ | PN_PREFIX ":"
+[53] <PN_LOCAL> ::= ( PN_CHARS_U | [0-9] | PN_CHARS_OTHERS ) ( (( PN_CHARS | "." | PN_CHARS_OTHERS )* ( PN_CHARS | PN_CHARS_OTHERS ) ))?
+
+[54] <PN_CHARS_OTHERS> ::= "/"
+ | "@"
| "~"
| "&"
| "+"
@@ -126,25 +122,24 @@
| "!"
| PERCENT
| PN_CHARS_ESC
-[55] <PN_CHARS_ESC> :: "\\" ( "=" | "'" | "(" | ")" | "," | "-" | ":" | ";" | "[" | "]" | "." )
- =
-[56] <PERCENT> :: "%" HEX HEX
- =
-[57] <HEX> :: [0-9]
- = | [A-F]
+[55] <PN_CHARS_ESC> ::= "\\" ( "=" | "'" | "(" | ")" | "," | "-" | ":" | ";" | "[" | "]" | "." )
+
+[56] <PERCENT> ::= "%" HEX HEX
+
+[57] <HEX> ::= [0-9]
+ | [A-F]
| [a-f]
-[58] <STRING_LITERAL> :: STRING_LITERAL2
- = | STRING_LITERAL_LONG2
-[59] <PREFX> :: PN_PREFIX
- =
-[60] <INT_LITERAL> :: ("-")? (DIGIT)+
- =
-[61] <QUALIFIED_NAME_LITERAL> :: "'" QUALIFIED_NAME "'"
- =
-[62] <DIGIT> :: [0-9]
- =
-[63] <DATETIME> :: DIGIT DIGIT DIGIT DIGIT "-" DIGIT DIGIT "-" DIGIT DIGIT "T" DIGIT DIGIT ":"
- = DIGIT DIGIT ":" DIGIT DIGIT (( "." DIGIT (( DIGIT (DIGIT)? ))? ))? (( "Z" |
- TIMEZONEOFFSET ))?
-[64] <TIMEZONEOFFSET> :: ( "+" | "-" ) DIGIT DIGIT ":" DIGIT DIGIT
- =
+[58] <STRING_LITERAL> ::= STRING_LITERAL2
+ | STRING_LITERAL_LONG2
+[59] <PREFX> ::= PN_PREFIX
+
+[60] <INT_LITERAL> ::= ("-")? (DIGIT)+
+
+[61] <QUALIFIED_NAME_LITERAL> ::= "'" QUALIFIED_NAME "'"
+
+[62] <DIGIT> ::= [0-9]
+
+[63] <DATETIME> ::= DIGIT DIGIT DIGIT DIGIT "-" DIGIT DIGIT "-" DIGIT DIGIT "T" DIGIT DIGIT ":" DIGIT DIGIT ":" DIGIT DIGIT ( "." DIGIT (( DIGIT (DIGIT)? )? ))? (( "Z" | TIMEZONEOFFSET ))?
+
+[64] <TIMEZONEOFFSET> ::= ( "+" | "-" ) DIGIT DIGIT ":" DIGIT DIGIT
+
--- a/model/grammar/Makefile Mon Nov 19 16:35:50 2012 +0000
+++ b/model/grammar/Makefile Mon Nov 19 16:36:15 2012 +0000
@@ -33,11 +33,11 @@
IN2.HTML=tmp/ll2.html
do.ll.txt:
- w3m -dump -cols 120 ll.html > ll.txt
+ w3m -dump -cols 240 ll.html > ll.txt
$(MAKE) grammar.cleanup
grammar.cleanup:
- sed -n '/65/q;p' ll.txt > ../grammar.txt
+ sed -n '/65/q;p' ll.txt | sed -e "s/::/::=/" | sed -e "s/ = //" | sed -e "s/]>//" | sed -e "s/Productions://" | sed -e "s/((/(/" | sed -e "s/))/)/" | sed -e "s/timeZZ/time/" > ../grammar.txt
--- a/model/provbib.js Mon Nov 19 16:35:50 2012 +0000
+++ b/model/provbib.js Mon Nov 19 16:36:15 2012 +0000
@@ -85,7 +85,7 @@
"PROV-LAYOUT":
"W3C PROV Working Group. "+
- "<a href=\"http://www.w3.org/2011/prov/wiki/Diagrams/\"><cite>PROV Graph Layout Conventions</cite></a>. "+
+ "<a href=\"http://www.w3.org/2011/prov/wiki/Diagrams\"><cite>PROV Graph Layout Conventions</cite></a>. "+
"2012. "+
"URL: <a href=\"http://www.w3.org/2011/prov/wiki/Diagrams/\">http://www.w3.org/2011/prov/wiki/Diagrams/</a>.",
--- a/model/releases/CR-prov-dm-20121211/Overview.html Mon Nov 19 16:35:50 2012 +0000
+++ b/model/releases/CR-prov-dm-20121211/Overview.html Mon Nov 19 16:36:15 2012 +0000
@@ -4239,7 +4239,7 @@
</dd></dl></div><div id="informative-references" class="section"><h3><span class="secno">D.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-Logic">[Logic]</dt><dd>W. E. Johnson <a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
</dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya Sahoo and Paul Groth and Olaf Hartig and Simon Miles and Sam Coppens and James Myers and Yolanda Gil and Luc Moreau and Jun Zhao and Michael Panzer and Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
</dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne and Paul Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>.
-</dd><dt id="bib-PROV-LAYOUT">[PROV-LAYOUT]</dt><dd>W3C PROV Working Group. <a href="http://www.w3.org/2011/prov/wiki/Diagrams/"><cite>PROV Graph Layout Conventions</cite></a>. 2012. URL: <a href="http://www.w3.org/2011/prov/wiki/Diagrams/">http://www.w3.org/2011/prov/wiki/Diagrams/</a>.
+</dd><dt id="bib-PROV-LAYOUT">[PROV-LAYOUT]</dt><dd>W3C PROV Working Group. <a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite>PROV Graph Layout Conventions</cite></a>. 2012. URL: <a href="http://www.w3.org/2011/prov/wiki/Diagrams/">http://www.w3.org/2011/prov/wiki/Diagrams/</a>.
</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>AUTHORS TBD. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: The PROV Family of Documents</cite></a>. 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>.
</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil and Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>Prov Model Primer</cite></a>. 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>.
</dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua, Curt Tilmes, and Stephan Zednik (eds.) Luc Moreau. <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 2012, Candidate Recommendation. URL: <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>.
--- a/model/releases/CR-prov-n-20121211/grammar.txt Mon Nov 19 16:35:50 2012 +0000
+++ b/model/releases/CR-prov-n-20121211/grammar.txt Mon Nov 19 16:36:15 2012 +0000
@@ -1,121 +1,117 @@
-]>
-
-Productions:
-[1] document :: "document" (namespaceDeclarations)? (expression)* (bundle)* "endDocument"
- =
-[2] expression :: ( entityExpression | activityExpression | generationExpression | usageExpression
- = | startExpression | endExpression | invalidationExpression |
- communicationExpression | agentExpression | associationExpression |
- attributionExpression | delegationExpression | derivationExpression |
- influenceExpression | alternateExpression | specializationExpression |
- membershipExpression | extensibilityExpression )
-[3] entityExpression :: "entity" "(" identifier optionalAttributeValuePairs ")"
- =
-[4] optionalAttributeValuePairs :: (( "," "[" attributeValuePairs "]" ))?
- =
-[5] attributeValuePairs :: ( | attributeValuePair (( "," attributeValuePair ))* )
- =
-[6] attributeValuePair :: attribute "=" literal
- =
-[7] activityExpression :: "activity" "(" identifier (( "," timeOrMarker "," timeOrMarker ))?
- = optionalAttributeValuePairs ")"
-[8] timeOrMarker :: ( timeZZ | "-" )
- =
-[9] generationExpression :: "wasGeneratedBy" "(" optionalIdentifier eIdentifier (( "," aIdentifierOrMarker
- = "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[10] optionalIdentifier :: (( identifierOrMarker ";" ))?
- =
-[11] identifierOrMarker :: ( identifier | "-" )
- =
-[12] usageExpression :: "used" "(" optionalIdentifier aIdentifier (( "," eIdentifierOrMarker ","
- = timeOrMarker ))? optionalAttributeValuePairs ")"
-[13] communicationExpression :: "wasInformedBy" "(" optionalIdentifier aIdentifier "," aIdentifier
- = optionalAttributeValuePairs ")"
-[14] startExpression :: "wasStartedBy" "(" optionalIdentifier aIdentifier (( "," eIdentifierOrMarker ","
- = aIdentifierOrMarker "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[15] endExpression :: "wasEndedBy" "(" optionalIdentifier aIdentifier (( "," eIdentifierOrMarker ","
- = aIdentifierOrMarker "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[16] invalidationExpression :: "wasInvalidatedBy" "(" optionalIdentifier eIdentifier (( "," aIdentifierOrMarker
- = "," timeOrMarker ))? optionalAttributeValuePairs ")"
-[17] derivationExpression :: "wasDerivedFrom" "(" optionalIdentifier eIdentifier "," eIdentifier (( ","
- = aIdentifierOrMarker "," gIdentifierOrMarker "," uIdentifierOrMarker ))?
- optionalAttributeValuePairs ")"
-[18] agentExpression :: "agent" "(" identifier optionalAttributeValuePairs ")"
- =
-[19] attributionExpression :: "wasAttributedTo" "(" optionalIdentifier eIdentifier "," agIdentifier
- = optionalAttributeValuePairs ")"
-[20] associationExpression :: "wasAssociatedWith" "(" optionalIdentifier aIdentifier (( ","
- = agIdentifierOrMarker "," eIdentifierOrMarker ))? optionalAttributeValuePairs ")"
-[21] delegationExpression :: "actedOnBehalfOf" "(" optionalIdentifier agIdentifier "," agIdentifier (( ","
- = aIdentifierOrMarker ))? optionalAttributeValuePairs ")"
-[22] influenceExpression :: "wasInfluencedBy" "(" optionalIdentifier eIdentifier "," eIdentifier
- = optionalAttributeValuePairs ")"
-[23] bundle :: "bundle" identifier (namespaceDeclarations)? (expression)* "endBundle"
- =
-[24] alternateExpression :: "alternateOf" "(" eIdentifier "," eIdentifier ")"
- =
-[25] specializationExpression :: "specializationOf" "(" eIdentifier "," eIdentifier ")"
- =
-[26] membershipExpression :: "hadMember" "(" cIdentifier "," eIdentifier ")"
- =
-[27] eIdentifier :: identifier
- =
-[28] aIdentifier :: identifier
- =
-[29] agIdentifier :: identifier
- =
-[30] gIdentifier :: identifier
- =
-[31] uIdentifier :: identifier
- =
-[32] cIdentifier :: identifier
- =
-[33] eIdentifierOrMarker :: ( eIdentifier | "-" )
- =
-[34] aIdentifierOrMarker :: ( aIdentifier | "-" )
- =
-[35] agIdentifierOrMarker :: ( agIdentifier | "-" )
- =
-[36] gIdentifierOrMarker :: ( gIdentifier | "-" )
- =
-[37] uIdentifierOrMarker :: ( uIdentifier | "-" )
- =
-[38] identifier :: QUALIFIED_NAME
- =
-[39] attribute :: QUALIFIED_NAME
- =
-[40] literal :: typedLiteral
- = | convenienceNotation
-[41] typedLiteral :: STRING_LITERAL "%%" datatype
- =
-[42] datatype :: QUALIFIED_NAME
- =
-[43] convenienceNotation :: STRING_LITERAL (LANGTAG)?
- = | INT_LITERAL
+
+
+
+[1] document ::= "document" (namespaceDeclarations)? (expression)* (bundle)* "endDocument"
+
+[2] expression ::= ( entityExpression | activityExpression | generationExpression | usageExpression | startExpression | endExpression | invalidationExpression | communicationExpression | agentExpression |
+ associationExpression | attributionExpression | delegationExpression | derivationExpression | influenceExpression | alternateExpression | specializationExpression | membershipExpression |
+ extensibilityExpression )
+[3] entityExpression ::= "entity" "(" identifier optionalAttributeValuePairs ")"
+
+[4] optionalAttributeValuePairs ::= ( "," "[" attributeValuePairs "]" )?
+
+[5] attributeValuePairs ::= ( | attributeValuePair ( "," attributeValuePair )* )
+
+[6] attributeValuePair ::= attribute "=" literal
+
+[7] activityExpression ::= "activity" "(" identifier ( "," timeOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[8] timeOrMarker ::= ( time | "-" )
+
+[9] generationExpression ::= "wasGeneratedBy" "(" optionalIdentifier eIdentifier ( "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[10] optionalIdentifier ::= ( identifierOrMarker ";" )?
+
+[11] identifierOrMarker ::= ( identifier | "-" )
+
+[12] usageExpression ::= "used" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[13] communicationExpression ::= "wasInformedBy" "(" optionalIdentifier aIdentifier "," aIdentifier optionalAttributeValuePairs ")"
+
+[14] startExpression ::= "wasStartedBy" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[15] endExpression ::= "wasEndedBy" "(" optionalIdentifier aIdentifier ( "," eIdentifierOrMarker "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[16] invalidationExpression ::= "wasInvalidatedBy" "(" optionalIdentifier eIdentifier ( "," aIdentifierOrMarker "," timeOrMarker )? optionalAttributeValuePairs ")"
+
+[17] derivationExpression ::= "wasDerivedFrom" "(" optionalIdentifier eIdentifier "," eIdentifier ( "," aIdentifierOrMarker "," gIdentifierOrMarker "," uIdentifierOrMarker )? optionalAttributeValuePairs ")"
+
+[18] agentExpression ::= "agent" "(" identifier optionalAttributeValuePairs ")"
+
+[19] attributionExpression ::= "wasAttributedTo" "(" optionalIdentifier eIdentifier "," agIdentifier optionalAttributeValuePairs ")"
+
+[20] associationExpression ::= "wasAssociatedWith" "(" optionalIdentifier aIdentifier ( "," agIdentifierOrMarker "," eIdentifierOrMarker )? optionalAttributeValuePairs ")"
+
+[21] delegationExpression ::= "actedOnBehalfOf" "(" optionalIdentifier agIdentifier "," agIdentifier ( "," aIdentifierOrMarker )? optionalAttributeValuePairs ")"
+
+[22] influenceExpression ::= "wasInfluencedBy" "(" optionalIdentifier eIdentifier "," eIdentifier optionalAttributeValuePairs ")"
+
+[23] bundle ::= "bundle" identifier (namespaceDeclarations)? (expression)* "endBundle"
+
+[24] alternateExpression ::= "alternateOf" "(" eIdentifier "," eIdentifier ")"
+
+[25] specializationExpression ::= "specializationOf" "(" eIdentifier "," eIdentifier ")"
+
+[26] membershipExpression ::= "hadMember" "(" cIdentifier "," eIdentifier ")"
+
+[27] eIdentifier ::= identifier
+
+[28] aIdentifier ::= identifier
+
+[29] agIdentifier ::= identifier
+
+[30] gIdentifier ::= identifier
+
+[31] uIdentifier ::= identifier
+
+[32] cIdentifier ::= identifier
+
+[33] eIdentifierOrMarker ::= ( eIdentifier | "-" )
+
+[34] aIdentifierOrMarker ::= ( aIdentifier | "-" )
+
+[35] agIdentifierOrMarker ::= ( agIdentifier | "-" )
+
+[36] gIdentifierOrMarker ::= ( gIdentifier | "-" )
+
+[37] uIdentifierOrMarker ::= ( uIdentifier | "-" )
+
+[38] identifier ::= QUALIFIED_NAME
+
+[39] attribute ::= QUALIFIED_NAME
+
+[40] literal ::= typedLiteral
+ | convenienceNotation
+[41] typedLiteral ::= STRING_LITERAL "%%" datatype
+
+[42] datatype ::= QUALIFIED_NAME
+
+[43] convenienceNotation ::= STRING_LITERAL (LANGTAG)?
+ | INT_LITERAL
| QUALIFIED_NAME_LITERAL
-[44] timeZZ :: DATETIME
- =
-[45] namespaceDeclarations :: ( defaultNamespaceDeclaration | namespaceDeclaration ) (namespaceDeclaration)*
- =
-[46] namespaceDeclaration :: "prefix" PN_PREFIX namespace
- =
-[47] defaultNamespaceDeclaration :: "default" IRI_REF
- =
-[48] namespace :: IRI_REF
- =
-[49] extensibilityExpression :: QUALIFIED_NAME "(" optionalIdentifier extensibilityArgument (( ","
- = extensibilityArgument ))* optionalAttributeValuePairs ")"
-[50] extensibilityArgument :: ( identifierOrMarker | literal | timeZZ | extensibilityExpression |
- = extensibilityTuple )
-[51] extensibilityTuple :: "{" extensibilityArgument (( "," extensibilityArgument ))* "}"
- = | "(" extensibilityArgument (( "," extensibilityArgument ))* ")"
-[52] <QUALIFIED_NAME> :: (( PN_PREFIX ":" ))? PN_LOCAL
- = | PN_PREFIX ":"
-[53] <PN_LOCAL> :: ( PN_CHARS_U | [0-9] | PN_CHARS_OTHERS ) (( (( PN_CHARS | "." | PN_CHARS_OTHERS
- = ))* ( PN_CHARS | PN_CHARS_OTHERS ) ))?
-[54] <PN_CHARS_OTHERS> :: "/"
- = | "@"
+[44] time ::= DATETIME
+
+[45] namespaceDeclarations ::= ( defaultNamespaceDeclaration | namespaceDeclaration ) (namespaceDeclaration)*
+
+[46] namespaceDeclaration ::= "prefix" PN_PREFIX namespace
+
+[47] defaultNamespaceDeclaration ::= "default" IRI_REF
+
+[48] namespace ::= IRI_REF
+
+[49] extensibilityExpression ::= QUALIFIED_NAME "(" optionalIdentifier extensibilityArgument ( "," extensibilityArgument )* optionalAttributeValuePairs ")"
+
+[50] extensibilityArgument ::= ( identifierOrMarker | literal | time | extensibilityExpression | extensibilityTuple )
+
+[51] extensibilityTuple ::= "{" extensibilityArgument ( "," extensibilityArgument )* "}"
+ | "(" extensibilityArgument ( "," extensibilityArgument )* ")"
+[52] <QUALIFIED_NAME> ::= ( PN_PREFIX ":" )? PN_LOCAL
+ | PN_PREFIX ":"
+[53] <PN_LOCAL> ::= ( PN_CHARS_U | [0-9] | PN_CHARS_OTHERS ) ( (( PN_CHARS | "." | PN_CHARS_OTHERS )* ( PN_CHARS | PN_CHARS_OTHERS ) ))?
+
+[54] <PN_CHARS_OTHERS> ::= "/"
+ | "@"
| "~"
| "&"
| "+"
@@ -126,25 +122,24 @@
| "!"
| PERCENT
| PN_CHARS_ESC
-[55] <PN_CHARS_ESC> :: "\\" ( "=" | "'" | "(" | ")" | "," | "-" | ":" | ";" | "[" | "]" | "." )
- =
-[56] <PERCENT> :: "%" HEX HEX
- =
-[57] <HEX> :: [0-9]
- = | [A-F]
+[55] <PN_CHARS_ESC> ::= "\\" ( "=" | "'" | "(" | ")" | "," | "-" | ":" | ";" | "[" | "]" | "." )
+
+[56] <PERCENT> ::= "%" HEX HEX
+
+[57] <HEX> ::= [0-9]
+ | [A-F]
| [a-f]
-[58] <STRING_LITERAL> :: STRING_LITERAL2
- = | STRING_LITERAL_LONG2
-[59] <PREFX> :: PN_PREFIX
- =
-[60] <INT_LITERAL> :: ("-")? (DIGIT)+
- =
-[61] <QUALIFIED_NAME_LITERAL> :: "'" QUALIFIED_NAME "'"
- =
-[62] <DIGIT> :: [0-9]
- =
-[63] <DATETIME> :: DIGIT DIGIT DIGIT DIGIT "-" DIGIT DIGIT "-" DIGIT DIGIT "T" DIGIT DIGIT ":"
- = DIGIT DIGIT ":" DIGIT DIGIT (( "." DIGIT (( DIGIT (DIGIT)? ))? ))? (( "Z" |
- TIMEZONEOFFSET ))?
-[64] <TIMEZONEOFFSET> :: ( "+" | "-" ) DIGIT DIGIT ":" DIGIT DIGIT
- =
+[58] <STRING_LITERAL> ::= STRING_LITERAL2
+ | STRING_LITERAL_LONG2
+[59] <PREFX> ::= PN_PREFIX
+
+[60] <INT_LITERAL> ::= ("-")? (DIGIT)+
+
+[61] <QUALIFIED_NAME_LITERAL> ::= "'" QUALIFIED_NAME "'"
+
+[62] <DIGIT> ::= [0-9]
+
+[63] <DATETIME> ::= DIGIT DIGIT DIGIT DIGIT "-" DIGIT DIGIT "-" DIGIT DIGIT "T" DIGIT DIGIT ":" DIGIT DIGIT ":" DIGIT DIGIT ( "." DIGIT (( DIGIT (DIGIT)? )? ))? (( "Z" | TIMEZONEOFFSET ))?
+
+[64] <TIMEZONEOFFSET> ::= ( "+" | "-" ) DIGIT DIGIT ":" DIGIT DIGIT
+