diff --git a/grammar/pkn-rr.html b/grammar/pkn-rr.html index f71d3ea..78c9c2c 100644 --- a/grammar/pkn-rr.html +++ b/grammar/pkn-rr.html @@ -1,524 +1,475 @@ - - -
-
STATEMENTS
-
- - - - - statement - -
- -
statement
-
- - - - - property - - - relation - - - implication - - - analogy - - for - - - scope - - - meta - -
- -
scope
-
- - - - - name - - , - - -
- -
meta
-
- - - - - ( - - - param - - , - - - ) - - -
- -
param
-
- - - - - name - - - value - -
- -
property
-
- - - - - descriptor - - of - - - argument - - - operator - - - referent - -
- -
descriptor
-
- - - - - name - - - variable - -
- -
argument
-
- - - - - name - - - variable - -
- -
operator
-
- - - - - includes - - - excludes - - - is - - - name - -
- -
value
-
- - - - - name - - - number - -
- -
referent
-
- - - - - value - - , - - - variable - - - graph - -
- -
relation
-
- - - - - subject - - - relationship - - - object - -
- -
subject
-
- - - - - name - - - variable - - - graph - -
- -
relationship
-
- - - - - name - - - variable - -
- -
object
-
- - - - - name - - - variable - - - graph - -
- -
implication
-
- - - - - terms - - implies - - - terms - -
- -
terms
-
- - - - - term - - and - - -
- -
term
-
- - - - - property - - - relation - -
- -
analogy
-
- - - - - concept - - : - - - concept - - :: - - - concept - - : - - - concept - -
- -
concept
-
- - - - - name - - - variable - -
- -
QUERY
-
- - - - - quantifier - - - variable - - where - - - conditions - - from - - - conditions - -
- -
quantifier
-
- - - - - no - - - all - - - any - - - few - - - many - - - most - - - which - - - count - - -
- -
conditions
-
- - - - - condition - - and - - -
- -
condition
-
- - - - - property - - - relation - -
- -
variable
-
- - - - - ? - - - name - -
- -
name
-
- - - - - letter - - - letter - - - digit - - - - - - : - - - letter - - - digit - - - - - -
- -
number
-
- - - - - - - - - + - - - digit - - . - - - digit - - e - - - E - - - - - - - + - - - digit - -
- -
graph
-
- - - - - { - - - statement - - } - - -
- -
+ + +

STATEMENTS:

+

+
STATEMENTS
+
         ::= ( statement | prefixgraph )*
+

+

no references


statement:

+

+
statement
+
         ::= ( property | relation | implication | analogy ) ( 'for' scope )? meta?
+

+

referenced by: + +

+


scope:

+

+
scope    ::= name ( ',' name )*
+

+

referenced by: + +

+


meta:

+

+
meta     ::= '(' param ( ',' param )* ')'
+

+

referenced by: + +

+


param:

+

+
param    ::= namevalue
+

+

referenced by: + +

+


property:

+

+
property ::= descriptor 'of' argumentoperatorreferent
+

+

referenced by: + +

+


descriptor:

+

+
descriptor
+
         ::= name
+
           | variable
+

+

referenced by: + +

+


argument:

+

+
argument ::= name
+
           | variable
+

+

referenced by: + +

+


operator:

+

+
operator ::= 'includes'
+
           | 'excludes'
+
           | 'is'
+
           | name
+

+

referenced by: + +

+


value:

+

+
value    ::= name
+
           | number
+

+

referenced by: + +

+


referent:

+

+
referent ::= value ( ',' value )*
+
           | variable
+
           | graph
+

+

referenced by: + +

+


relation:

+

+
relation ::= subjectrelationshipobject
+

+

referenced by: + +

+


subject:

+

+
subject  ::= name
+
           | variable
+
           | graph
+

+

referenced by: + +

+


relationship:

+

+
relationship
+
         ::= name
+
           | variable
+

+

referenced by: + +

+


object:

+

+
object   ::= name
+
           | variable
+
           | graph
+

+

referenced by: + +

+


implication:

+

+
implication
+
         ::= terms 'implies' terms
+

+

referenced by: + +

+


terms:

+

+
terms    ::= term ( 'and' term )*
+

+

referenced by: + +

+


term:

+

+
term     ::= property
+
           | relation
+

+

referenced by: + +

+


analogy:

+

+
analogy  ::= concept ':' concept '::' concept ':' concept
+

+

referenced by: + +

+


concept:

+

+
concept  ::= name
+
           | variable
+

+

referenced by: + +

+


QUERY:

+

+
QUERY    ::= quantifiervariable ( 'where' conditions )? 'from' conditions
+

+

no references


quantifier:

+

+
quantifier
+
         ::= 'no'
+
           | 'all'
+
           | 'any'
+
           | 'few'
+
           | 'many'
+
           | 'most'
+
           | 'which'
+
           | 'count'
+

+

referenced by: + +

+


conditions:

+

+
conditions
+
         ::= condition ( 'and' condition )*
+

+

referenced by: + +

+


condition:

+

+
condition
+
         ::= property
+
           | relation
+

+

referenced by: + +

+


variable:

+

+
variable ::= '?' name?
+

+

referenced by: + +

+


prefix:

+

+
prefix   ::= letter ( letter | digit | '-' )*
+

+

referenced by: + +

+


suffix:

+

+
suffix   ::= ':' ( letter | digit | '-' )+
+

+

referenced by: + +

+


name:

+

+
name     ::= prefixsuffix*
+

+

referenced by: + +

+


number:

+

+
number   ::= ( '-' | '+' )? digit+ ( '.' digit* )? ( ( 'e' | 'E' ) ( '-' | '+' )? digit+ )?
+

+

referenced by: + +

+


graph:

+

+
graph    ::= '{' statement* '}'
+

+

referenced by: + +

+


letter:

+

+
letter   ::= 'A'
+
           | 'B'
+
           | 'C'
+
           | 'D'
+
           | 'E'
+
           | 'F'
+
           | 'G'
+
           | 'H'
+
           | 'I'
+
           | 'J'
+
           | 'K'
+
           | 'L'
+
           | 'M'
+
           | 'N'
+
           | 'O'
+
           | 'P'
+
           | 'Q'
+
           | 'R'
+
           | 'S'
+
           | 'T'
+
           | 'U'
+
           | 'V'
+
           | 'W'
+
           | 'X'
+
           | 'Y'
+
           | 'Z'
+
           | 'a'
+
           | 'b'
+
           | 'c'
+
           | 'd'
+
           | 'e'
+
           | 'f'
+
           | 'g'
+
           | 'h'
+
           | 'i'
+
           | 'j'
+
           | 'k'
+
           | 'l'
+
           | 'm'
+
           | 'n'
+
           | 'o'
+
           | 'p'
+
           | 'q'
+
           | 'r'
+
           | 's'
+
           | 't'
+
           | 'u'
+
           | 'v'
+
           | 'w'
+
           | 'x'
+
           | 'y'
+
           | 'z'
+

+

referenced by: + +

+


digit:

+

+
digit    ::= '0'
+
           | '1'
+
           | '2'
+
           | '3'
+
           | '4'
+
           | '5'
+
           | '6'
+
           | '7'
+
           | '8'
+
           | '9'
+

+

referenced by: + +

+


+

+ + + + + + +
  + ... generated by RR - Railroad Diagram Generator +
+

+ + \ No newline at end of file