Content Models of Reaction RuleML 1.0

From RuleML Wiki
Jump to: navigation, search

Authors: Adrian Paschke, Tara Athan, Harold Boley, Alexander Kozlenkov, Zhili Zhao, Kia Teymourian


This version: http://wiki.ruleml.org/index.php?title=Content_Models_of_Reaction_RuleML_1.0

Latest version: http://wiki.ruleml.org/index.php?title=Content_Models_of_Reaction_RuleML_1.0

This document is a collection of content models, i. e. the content permitted within a particular element, for all RuleML elements and attributes as of version 1.0 as defined by the XSD schemas, organized alphabetically by module name. Each module is a grouping of related (XML) elements and/or attributes (prefixed with “@”). Under each element name, the attributes allowed are listed in the first line, with suffix ? to indicate optional attributes. We are able to do this because the content models of all attributes are independent of context. Following the attribute list, the element and text portion of the content model is given in EBNF. In attributes, default values, if any, are first in the list of possible values, and are shown in bold for emphasis. See http://www.reaction.ruleml.org/1.0/xsd/ for the actual XSD schemas and the Reaction RuleML glossary for the meaning of each tag.

The content models presented here apply only to the XSD schemas, not the Relax NG schemas of Reaction RuleML Version 1.0.

Since RuleML is a family of sublanguages, it is important to note that the content model of a given node often varies according to the current sublanguage. In such cases, all variations of the content model are provided along with the corresponding sublanguage(s). The modularization of RuleML, including all sublanguages, is explained at http://www.ruleml.org/modularization.

Content models may also vary depending on context, i.e. surrounding elements (especially parent elements). In these cases, the content models are listed under a heading such as “within x…” where x indicates the context.

Any element in a sublanguage may be used within Reify or as the starting element of the grammar (the document root, or the starting element of a section in the RuleML namespace within a multi-namespace document) except as stated otherwise. As implemented in the XSD schemas, when elements have context-dependent content models, at most one of the patterns is allowed in Reify or start - otherwise the content model will be non-deterministic, which is not allowed in XSD 1.0.

Contents

1 action algebra

1.1 Choice

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

PR and ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | (Action | Assert | Retract | Update) | (Succession | Choice | Flow | Loop | Operator))*)

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | Send |  Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)* )

1.2 Flow

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

PR and ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | (Action | Assert | Retract | Update) | (Succession | Choice | Flow | Loop | Operator))*)

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | Send | Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)* )

1.3 Loop

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

PR and ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | (Action | Assert | Retract | Update) | (Succession | Choice | Flow | Loop | Operator))*)

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | Send | Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)* )

1.4 Operator

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

PR and ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | (Action | Assert | Retract | Update) | (Succession | Choice | Flow | Loop | Operator))*)

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | Send | Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)* )

1.5 Succession

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

PR and ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | (Action | Assert | Retract | Update) | (Succession | Choice | Flow | Loop | Operator))*)

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | Send | Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)* )

2 action

2.1 Action

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in KR Reaction RuleML:

 (meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Action|Event|Situation)+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )?) 

in PR Reaction RuleML:

 (meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((((Ind | Data | Var | Skolem | Reify  | Expr | Plex ) | (Succession | Choice | Flow | Loop | Operator)))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )?)

in ECA Reaction RuleML:

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( ((slot)*,(resl)?,((((((Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action ) | (Succession | Choice | Flow | Loop | Operator)))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )? )

in CEP Reaction RuleML:

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( ((slot)*,(resl)?,((((((Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action ) | (Succession | Choice | Flow | Loop | Operator)))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )? )

2.2 arg

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in KR Reaction RuleML:

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation)

in PR / ECA / CEP Reaction RuleML:

(atomic action | complex action)

where

((Ind | Data | Var | Skolem | Reify  | Expr | Plex ) | (Succession | Choice | Flow | Loop | Operator))

2.3 content

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(xs:any*)

3 atom

3.1 Atom

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR Reaction RuleML:

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (op | Rel)?, slot*, ((arg | Ind | Data | Skolem | Var | Reify|Expr|Plex|Time|Spatial|Interval)*, repo?) | repo), slot*, resl?)

in KR Reaction RuleML:

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (op | Rel)?, slot*, ((arg | Ind | Data | Skolem | Var | Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation)*, repo?) | repo), slot*, resl?)

in PR Reaction RuleML:

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (op | Rel)?, slot*, ((arg | Ind | Data | Skolem | Var | Reify|Expr|Plex)*, repo?) | repo), slot*, resl?)

in ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (op | Rel)?, slot*,((arg | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)*, repo?) | repo), slot*, resl?)

in CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (op | Rel)?, slot*,((arg | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)*, repo?) | repo), slot*, resl?)

3.2 degree

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in all sublanguages:

(Data)

3.3 op (context sensitive; see also the holog and expr modules)

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

( Rel )

3.4 Rel

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in all sublanguages:

( text )

4 attribute

4.1 @arity

(xs:nonNegativeInteger)

4.2 @card

(xs:nonNegativeInteger)

4.3 @closure

( universal | existential | termOrCurieOrAbsIRI )

4.4 @direction

( bidirectional | forward | backward | termOrCurieOrAbsIRI )

4.5 @index

(xs:positiveInteger)

4.6 @iri

(curieOrAbsIRI)

4.7 @key

(curieOrAbsIRI)

4.8 @keyref

(curieOrAbsIRI)

4.9 @material

( yes | no )

4.10 @maxCard

(xs:nonNegativeInteger)

4.11 @meta

(termOrCurieOrAbsIRIs)

4.12 @minCard

(xs:nonNegativeInteger)

4.13 @mode

(+ | - | ? | termOrCurieOrAbsIRI)

4.14 @node

(curieOrAbsIRI)

4.15 @oriented

(yes | no)

4.16 @per

(copy | open | value | effect | modal | termOrCurieOrAbsIRI)

4.17 @prefix

( ([prefix : IRI]*) )

4.18 @qualify

(termOrCurieOrAbsIRIs)

4.19 @safety

(interrupting | non-interrupting | transactional | termOrCurieOrAbsIRI)

4.20 @scope

(global | local | private | termOrCurieOrAbsIRIs)

4.21 @style

(active | messaging | reasoning | termOrCurieOrAbsIRIs)

4.22 @type

(termOrCurieOrAbsIRI)

4.23 @vocab

(xs:anyURI)

4.24 @weight

(xs:decimal)

5 connective

5.1 And

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval)* )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)* ) 

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Equal | Negation | Naf )* )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)* )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)* )

5.2 Entails

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @material?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (if | Rulebase), (then | Rulebase) )

5.3 Equivalent

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @material?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (torso, torso) | ( (Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval), (Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval) ) ) )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (torso, torso) | ( (Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens), (Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens) ) ) )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (torso, torso) | ((Operator | And | Or | Negation | Naf | Atom | Equal), (Operator | And | Or | Negation | Naf | Atom | Equal))))

ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ((torso, torso) | ((Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action), (Operator | And | Or | Atom |  Negation | Neg | Equal | Time | Spatial | Interval | Event | Action))))

CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ((torso, torso) | ((Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action), (Operator | And | Or | Atom |  Negation | Neg | Equal | Time | Spatial | Interval | Event | Action))))

5.4 formula

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

content model (below And/Or):

DR Reaction RuleML

(Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval)

KR Reaction RuleML (

Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)

PR Reaction RuleML

(Operator | Atom | And | Or | Negation | Naf | Equal )

ECA Reaction RuleML

(Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)

content model (below Rulebase):

DR Reaction RuleML

(Operator | Atom | Implies | Rule | Equivalent | Forall |  Equal | Negation | Neg | Time | Spatial | Interval)

KR Reaction RuleML

(Operator | Atom | Implies | Rule | Equivalent | Forall |  Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)

PR Reaction RuleML (Operator | Atom | Rule | Equivalent | Equal ) ECA Reaction RuleML

(Operator | Atom | Rule | Equivalent |  Equal | Negation | Neg | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Operator | Atom | Rule | Equivalent |  Equal | Negation | Neg | Time | Spatial | Interval | Event | Action)

5.5 if

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval )

KR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)

PR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Naf )

ECA Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)

5.6 Implies

  (see Content_Models_of_Deliberation_RuleML_1.0#Implies) 

5.7 Rulebase

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @material?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Implies | Rule | Equivalent | Forall | Equal | Negation | Neg | Time | Spatial | Interval )* )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Implies | Rule | Equivalent | Forall | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens )* )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Forall | Atom | Rule | Implies | Equivalent | Equal )* )

in ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Forall | Atom | Rule | Implies | Equivalent | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action )* )

in CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Forall | Atom | Rule | Implies | Equivalent | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action )* )

5.8 then

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval )

KR Reaction RuleML

( Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)

PR Reaction RuleML

does not support "then"  (except in combination with DR/KR Reaction RuleML)

ECA Reaction RuleML

( Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

( Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action )

5.9 torso

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval)

KR Reaction RuleML

(Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)

PR Reaction RuleML

(Operator | And | Or | Negation | Naf | Atom | Equal )

ECA Reaction RuleML

(Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Operator | And | Or | Atom |  Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)

5.10 Or

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval)* )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)* )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Equal | Negation | Naf )* )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)* )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | And | Or | Negation | Naf | Neg | Equal | Time | Spatial | Interval | Event | Action)* )

6 Connective Operator

6.1 Operator

attributes @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Implies | Rule | Equivalent | Forall | Equal | Negation | Neg | Time | Spatial | Interval)* )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Implies | Rule | Equivalent | Forall | Equal | Negation | Neg | Time | Spatial | Interval | Event | Fluent | Situation | Holds | Initiates | Terminates | Happens)* ) 

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Rule | Equivalent | Equal)* ) 

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Rule | Equivalent | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action)* )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Rule | Equivalent | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action)* )

7 descriptor

7.1 evaluation

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(Profile )

7.2 guard

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval )

KR Reaction RuleML

( Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

( Operator | Atom | And | Or | Equal | Negation | Naf )

ECA Reaction RuleML

( Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)  

CEP Reaction RuleML

( Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)  

7.3 meta

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( Operator | Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval  )

KR Reaction RuleML

( Operator | Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval | Event | Situation )

PR Reaction RuleML

( Operator | Rulebase | Atom | Rule | Equivalent | Entails | Equal )

in ECA Reaction RuleML

( Operator | Rulebase | Atom | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action )

in CEP Reaction RuleML

( Operator | Rulebase | Atom | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action )

7.4 oid

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval)

KR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex)

ECA Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)

7.5 qualification

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval  )

KR Reaction RuleML

( Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

( Operator | Rulebase | Atom | Rule | Equivalent | Entails | Equal )

ECA Reaction RuleML:

( Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML:

( Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action )

7.6 quantification

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( Forall | Exists | Quantifier )

KR Reaction RuleML

( Forall | Exists | Quantifier )

PR Reaction RuleML

( Forall | Exists | Quantifier )

ECA Reaction RuleML:

( Forall | Exists | Quantifier )

CEP Reaction RuleML:

( Forall | Exists | Quantifier )


7.7 scope

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( (Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval)? )

KR Reaction RuleML

( Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)? )

PR Reaction RuleML

( Operator | Rulebase | Atom | Entails | And | Or | Negation | Naf | Equal)? 

ECA Reaction RuleML

( (Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)? )

CEP Reaction RuleML

( (Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)? )

7.8 signature

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( (Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval)? )

KR Reaction RuleML

( Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens)? )

PR Reaction RuleML

( Operator | Rulebase | Atom | Entails | And | Or | Negation | Naf | Equal)?

ECA Reaction RuleML

( (Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)? ) 

CEP Reaction RuleML

( (Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)? )

8 equality

8.1 Equal

attributes: @oriented?, @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (left, right) | ((Ind|Data|Var|Skolem|Reify|Expr|Plex|Time|Spatial|Interval),(Ind|Data|Var|Skolem|Reify|Expr|Plex|Time|Spatial|Interval)))

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (left, right) | ((Ind|Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)))

PR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (left, right) | ((Ind | Data | Var | Skolem | Reify  | Expr | Plex ), (Ind | Data | Var | Skolem | Reify  | Expr | Plex )))

ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (left, right) | (  (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)))

CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree?, (left, right) | (  (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)))

8.2 left

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval)

KR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex )

ECA Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)

8.3 right

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval)

KR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex )

ECA Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)

CEP Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)

9 event algebra

9.1 Any

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* )

9.2 Aperiodic

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? ) 

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? ) 

9.3 AtLeast

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

9.4 AtMost

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

9.5 Concurrent

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* )  

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

9.6 Conjunction

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* )  

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

9.7 Disjunction

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* )  

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on)* ) 

9.8 Not

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

9.9 Operator

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base? ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

9.10 Periodic

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (at, at)? )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (at, at)? )

9.11 Sequence

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

9.12 Xor

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on, at )? )

10 event

10.1 arg

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval)

KR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation)

ECA Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator )

CEP Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator )

10.2 content

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(xs:any)*

10.3 Event

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation)+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )?

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator )+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )? )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator )+, (repo)?)|(repo)),(slot)*, (resl)?)?) | (content(xs:any)) )? )

11 expressions

11.1 Expr

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (op|Fun)?, slot*,(arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval)*, repo?, slot*, resl?)

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (op|Fun)?, slot*,(arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation)*, repo?, slot*, resl?)

PR Reaction RuleML ( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (op|Fun)?, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex)*, repo?, slot*, resl?) ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (op|Fun)?, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action)*, repo?, slot*, resl?)  

ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (op|Fun)?, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action)*, repo?, slot*, resl?)

11.2 Fun

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(#PCDATA, id?, #PCDATA, meta*, #PCDATA)

11.3 op

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(Fun)

11.4 Plex

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML:

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval)*, repo?, slot*, resl? )    

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Interval)*, repo?, slot*, resl? )	  

PR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex)*, repo?, slot*, resl? )

ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Atom|Event)*, repo?, slot*, resl?)

CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, slot*, (arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Atom|Event)*, repo?, slot*, resl?)

content model (within repo):

DR Reaction RuleML

((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval )*, repo?)

KR Reaction RuleML

((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation)*, repo?)

PR Reaction RuleML

((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex )*, repo?)

ECA Reaction RuleML

((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action )*, repo?)

CEP Reaction RuleML

((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action )*, repo?)

12 extended quantifier

12.1 declare

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(Var)

12.2 Exists

attributes: @type?, @card?, @minCard?, @maxCard?, @style?, @scope?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval )?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Naf)

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)?

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)?

12.3 Forall

attributes: @type?, @card?, @minCard?, @maxCard?, @style?, @scope?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval )?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Naf)

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)?

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action)?

12.4 formula

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval  )

KR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Naf  ) 

ECA Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )

12.5 Quantifier

attributes: @type?, @card?, @minCard?, @maxCard?, @style?, @scope?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval )?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Naf)

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )?

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (declare|Var)+, (formula| Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )?

13 interval

13.1 arg

attributes: @index? @prefix? @key? @keyref? @xml:id? @xml:base? DR Reaction RuleML

(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))

KR Reaction RuleML

(Time | Spatial | Interval |  Event | Action | Fluent | Situation | Ind | Data | Skolem | Var | Reify | Expr | Plex | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator) )

ECA Reaction RuleML

(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))

CEP Reaction RuleML

(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))

13.2 content

attributes: @vocab? @prefix? @key? @keyref? @xml:id? @xml:base?

(xs:any)

13.3 Interval

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator)), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))?])) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator)), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))?] )) 

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator)), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))?]))

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator)), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action | (During | Overlaps | Starts | Precedes | Succeedes | Meets | Equals | Finishes | Operator))?]))

14 message

14.1 Agent

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

((content(xs:any*))?)

14.2 content

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(xs:any*)

14.3 directive

Attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(Ind | Data | Var | Expr | Plex )

14.4 enclosed

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(Message)

14.5 Message

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, cid?, protocol?, sender?, receiver?, (content | payload)? )

14.6 @mode

(inbound | outbound | bidirectional)

14.7 Protocol

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

((content(xs:any*))?)

14.8 protocol

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(Protocol | Ind | Data | Var | Expr | Plex )

14.9 Receive

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (enclosed | Message )* )

14.10 receiver

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(Agent | Ind | Data | Var | Expr | Plex )

14.11 Send

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (enclosed | Message )* )

14.12 sender

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(Agent | Ind | Data | Var | Expr | Plex )

15 negation

15.1 Naf

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial ) )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action | Fluent | Situation | Holds | Happens | Initates | Terminates ) )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation ) )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action ) )  		

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action ) )  		

15.2 Neg

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial ) )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action | Fluent | Situation | Holds | Happens | Initates | Terminates ) )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action ) )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action ) )

15.3 Negation

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation |  Neg | Time | Interval | Spatial))

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | | Neg | Time | Interval | Spatial | Event | Action | Fluent | Situation | Holds | Happens | Initates | Terminates ) )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation ) )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation |  Neg | Time | Interval | Spatial | Event | Action) )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation |  Neg | Time | Interval | Spatial | Event | Action) )

15.4 strong

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial ) )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | | Neg | Time | Interval | Spatial | Event | Action | Fluent | Situation | Holds | Happens | Initates | Terminates ) )	

PR Reaction RuleML

strong negation not supported by PR Reaction RuleML 

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action ) )	

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | Neg | Time | Interval | Spatial | Event | Action ) )	

15.5 weak

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation |  Neg | Time | Interval | Spatial ) )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation | | Neg | Time | Interval | Spatial | Event | Action | Fluent | Situation | Holds | Happens | Initates | Terminates ) )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation ) )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation |  Neg | Time | Interval | Spatial | Event | Action ) )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Atom | Equal | Negation |  Neg | Time | Interval | Spatial | Event | Action ) )

16 performative

16.1 act

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR/KR Reaction RuleML

(Assert|Retract|Query | Answer | Test | Consult)

PR Reaction RuleML

(Assert|Retract|Query | Answer | Test | Consult|Update|Action)

ECA Reaction RuleML

(Assert|Retract|Query | Answer | Test | Consult|Update|Action)

CEP Reaction RuleML

(Assert|Retract|Update|Query | Answer | Test | Answer|Send|Receive|Consult|Test|Action)

16.2 Answer

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, degree? (formula | Operator | Rulebase | Atom | Entails | And | Or | Equal | Negation | Naf | Neg | Time | Spatial | Interval | Event | Action)* )

16.3 Assert

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall |  Equal | Negation | Neg | Time | Spatial | Interval  )*)

KR Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall |  Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens )*)

PR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall | Equal )*) 

ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action  )*)

CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action  )*)

16.4 Consult

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (payload | RuleML | Reify | Var))

in KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (payload | RuleML | Reify | Var))

in PR Reaction RuleML

 (meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (payload | RuleML | Reify | Var))

in ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (payload | RuleML | Reify | Var))

in CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ((payload | RuleML | Reify | Var) | (enclosed | Message))* )

16.5 formula

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

content model (below Assert / Retract / Update formula): DR Reaction RuleML

(Operator | Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Forall |  Time | Spatial | Interval )

KR Reaction RuleML

(Operator | Rulebase | Atom | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg | Forall |  Time | Spatial | Interval  | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens )

PR Reaction RuleML

(Operator | Rulebase | Atom | Forall  | Rule | Implies | Equivalent | Entails | Equal )

ECA Reaction RuleML

(Operator | Rulebase | Atom | Forall  | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg |  Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

(Operator | Rulebase | Atom | Forall  | Implies | Rule | Equivalent | Entails | Equal | Negation | Neg |  Time | Spatial | Interval | Event | Action )

content model (below Query): DR Reaction RuleML

(Operator | Rulebase | Atom | Entails | And | Or | Equal | Negation | Naf | Neg | Exists |  Time | Spatial | Interval )

KR Reaction RuleML

(Operator | Rulebase | Atom | Entails | And | Or | Equal | Negation | Naf | Neg | Exists |  Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens )

PR Reaction RuleML

(Operator | Rulebase | Atom | Entails | And | Or | Negation | Naf | Exists | Equal | Action )

ECA Reaction RuleML

(Operator | Rulebase | Atom | Entails | And | Or | Equal | Exists | Negation | Naf | Neg | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

(Operator | Rulebase | Atom | Entails | And | Or | Equal | Exists | Negation | Naf | Neg | Time | Spatial | Interval | Event | Action )

16.6 payload

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML

(RuleML | Reify | Var)

16.7 Query

attributes: @safety? @card? @minCard? @maxCard? @closure? @node? @prefix? @key? @keyref? @xml:id? @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval )* )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Atom | Rulebase | And | Or | Entails | Exists |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens )* )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Exists | Rulebase | Atom | Entails | And | Or | Negation | Naf | Equal | Action )* )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Exists | Atom | Rulebase | And | Or | Entails |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )* )		 

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Exists | Atom | Rulebase | And | Or | Entails |  Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )* )

16.8 Retract

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall |  Equal | Negation | Neg | Time | Spatial | Interval  )*)

KR Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall |  Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens )*)

PR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall | Equal )*) 

ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action  )*)

CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Forall | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action  )*)

16.9 RuleML

attributes: @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR/KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (act | Assert | Retract | Query | Answer | Test | Consult)* )

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (act | Action | Assert | Retract | Update | Query | Answer | Test | Consult)* )

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (act | Action | Assert | Retract | Update | Query | Answer | Test | Consult)* )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (act|Assert|Retract|Update|Query|Answer|Test|Consult|Send|Receive|Action)* )

16.10 Update

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in PR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Forall | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Equal), (formula | Operator | Forall | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Equal)?)

in ECA Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Forall | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Equal |  Negation | Neg | Time | Spatial | Interval | Event | Action), (formula | Operator | Forall | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Equal |  Negation | Neg | Time | Spatial | Interval | Event | Action)? )

in CEP Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (formula | Operator | Forall | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Equal |  Negation | Neg | Time | Spatial | Interval | Event | Action), (formula | Operator | Forall | Rulebase | Atom | Rule | Implies | Equivalent | Entails | Equal |  Negation | Neg | Time | Spatial | Interval | Event | Action)? )

17 profile

17.1 content

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(xs:any)

17.2 Profile

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @safety?, @direction?, @scope?, @closure?, @material?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Equivalent | Entails | Forall | Quantifier | Equal | Negation | Neg | Time | Spatial | Interval | content(xs:any*)  )*)

KR Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Equivalent | Entails | Forall | Quantifier | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | Fluent | Situation | Holds | Initiates | Terminates | Happens | content(xs:any*) )*)	

PR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Equivalent | Entails | Equal | content(xs:any*)  )*)

ECA Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Equivalent | Entails | Forall | Quantifier | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | content(xs:any*)  )*)   

CEP Reaction RuleMl

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (formula | Operator | Rulebase | Atom | Rule | Equivalent | Entails | Forall | Quantifier | Equal | Negation | Neg | Time | Spatial | Interval | Event | Action | content(xs:any*)  )*)

18 rest

18.1 repo

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(Var | Plex)

18.2 rest

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(Var | Plex)

18.3 resl

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(Var | Plex)

19 rule

19.1 after

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval  )

KR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Naf  )    

ECA Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )

19.2 do

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

( Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

(Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)

ECA Reaction RuleML

(Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)

CEP Reaction RuleML

(Send | Consult | Action | Assert | Retract | Update | Query | Answer | Test | Succession | Choice | Flow | Loop | Operator)

19.3 else

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(  Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval )

KR Reaction RuleML

(  Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation )

ECA Reaction RuleML

( Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

( Operator |  Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action )

19.4 elseDo

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

( Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

(Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)

ECA Reaction RuleML

(Action | Assert | Retract | Update | Query | Answer | Test | Consult | Succession | Choice | Flow | Loop | Operator)

CEP Reaction RuleML

(Send | Consult | Action | Assert | Retract | Update | Query | Answer | Test |  Succession | Choice | Flow | Loop | Operator)

19.5 if

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval  )

KR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action | Fluent | Situation )

PR Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Naf  )    

ECA Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

(Operator | Atom | And | Or | Equal | Negation | Neg | Naf | Time | Spatial | Interval | Event | Action )

19.6 on

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleMl

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Fluent | Situation)

ECA Reaction RuleML

(Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator)

in CEP Reaction RuleML

(Receive | Answer | Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator)

in CEP Reaction RuleML

(Receive | Answer | Event | Action | Sequence | Disjunction | Xor | Conjunction | Concurrent | Not | Any | Aperiodic | Periodic | AtLeast | ATMost | Operator)

19.7 Rule

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @material?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (else?, then, if) | (if, then, else?) | (if.content, then.content, then.content?) ) )

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (else?, then, if) | (if, then, else?)))

PR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (elseDo?, do, if) | (if, do, elseDo?)))

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( (on, (if?, then?, do?, after?,else?, elseDo?)? ) | ((if, do, elseDo?) | (if, then, else) | (if, then?, do, else?, elseDo? ) | ( elseDo?, else?, do, then?, if)) )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (on | if | then | do | after | else | elseDo)* )

19.8 then

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(  Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval )

KR Reaction RuleML

(  Operator |Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action | Fluent | Situation )

ECA Reaction RuleML

(  Operator |Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action )

CEP Reaction RuleML

( Operator | Atom  | Negation | Neg | Equal | Time | Spatial | Interval | Event | Action )

20 situation

20.1 Situation

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation|Do)+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any) )? 

20.2 arg

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base? KR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation|Do)

20.3 content

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(xs:any)

21 situation reasoning

21.1 Do

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (do | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation), (at | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)? )

21.2 fluent

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

(Fluent | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation )

21.3 Fluent

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Situation|Fluent)+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any) )?)

21.4 Happens

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ((on | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation), (at | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)? )

21.5 Holds

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (fluent | Fluent | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation ), (at |  Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)? )

21.6 Initiates

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (on |  Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation ), (fluent | Fluent | Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation ), (at |  Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation )?)

21.7 Terminates

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

(meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?,  (on |  Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation ), (fluent | Fluent |  Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation ), (at |  Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation )?)

22 slot

22.1 slot

attributes: @card?, @minCard?, @maxCard?, @weight?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( (Ind|Data|Expr|Plex|Time|Spatial|Interval), (Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval) )

KR Reaction RuleML

( (Ind|Data|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation), (Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation) )

PR Reaction RuleML

( (Ind|Data|Expr|Plex), (Ind|Data|Skolem|Var|Reify|Expr|Plex) )

ECA Reaction RuleML

( (Ind|Data|Expr|Plex|Time|Spatial|Interval|Event|Action), (Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action) )

CEP Reaction RuleML

( (Ind|Data|Expr|Plex|Time|Spatial|Interval|Event|Action), (Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action) )

23 spatial

23.1 arg

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval| (After | Before | Any | Every | Timer | Operator))

KR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation| (After | Before | Any | Every | Timer | Operator))

ECA Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action| (After | Before | Any | Every | Timer | Operator))

CEP Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action| (After | Before | Any | Every | Timer | Operator))

23.2 content

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(xs:any*)

23.3 Spatial

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval | (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) ) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation | (After | Before | Any | Every | Timer | Operator) )+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) ) 

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action | (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action | (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) )

24 spatial-temporal-interval reasoning

24.1 After

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex)?])) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)?] ))

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action)?])) 	  

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action)?])) 	  

24.2 Any

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg* | content(xs:any)* | (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex)*)) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg*] | content(xs:any)* | (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)* ))

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg* | content(xs:any)* | (Time | Spatial | Interval | Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex)*)) 

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg* | content(xs:any)* | (Time | Spatial | Interval | Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex)*)) 

24.3 at

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

KR Reaction RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)

in ECA Reaction RuleML:

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action) | (After | Before | Any | Every | Timer | Operator))

in CEP Reaction RuleML:

((Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action) | (After | Before | Any | Every | Timer | Operator))

24.4 Before

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex)?])) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)?] ))

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action)?]))

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex | Event | Action)?]))

24.5 During

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.6 Every

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg | content(xs:any) | (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex) )) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg | content(xs:any) | (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation) ))

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg | content(xs:any) | (Time | Spatial | Interval |  Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex) )) 

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (arg | content(xs:any) | (Time | Spatial | Interval |  Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex) )) 

24.7 Equal

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.8 Finishes

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.9 Meets

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.10 Operator

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.11 Overlaps

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.12 Precedes

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.13 Succeeds

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.14 Starts

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base? in DR/KR/PR/ECA/CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg] | [Interval, Interval]) 

24.15 Timer

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex), (Time | Spatial | Interval |  Ind | Data | Skolem | Var | Reify | Expr | Plex)?])) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation), (Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)?] )) 

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval | Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex), (Time | Spatial | Interval | Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex)?]))

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ([arg, arg?] | [content(xs:any),content(xs:any)?] | [(Time | Spatial | Interval | Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex), (Time | Spatial | Interval | Event | Action | Ind | Data | Skolem | Var | Reify | Expr | Plex)?]))

25 term

25.1 arg

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval)

KR RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action | Fluent | Situation)

PR RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex )

ECA RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)	

CEP RuleML

(Ind | Data | Var | Skolem | Reify  | Expr | Plex | Time | Spatial | Interval | Event | Action)	

25.2 Data

attributes: @xsi:type?

(xs:anyType)

25.3 Ind

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(text)

25.4 Reify

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(any valid RuleML formula)

25.5 Skolem

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(text)

25.6 Var

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @scope?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(text)

26 test

26.1 testbase

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

( Consult | Assert )

26.2 expectedResult

attributes: @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

(Answer)

26.3 Test

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (vvi | Entails | TestItem | TestSuite)*)

26.4 TestItem

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @material?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

 ( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (act|Query | Answer | Test | Consult|Assert|Retract|Update|Send|Receive|Action), (expectedResult|Answer) )

26.5 TestSuite

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @safety?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (base | Consult | Assert), (vvi | Entails | TestItem | TestSuite)*)

26.6 vvi

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

in CEP Reaction RuleML:

( Entails | TestItem | TestSuite )

27 time

27.1 arg

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval | (After | Before | Any | Every | Timer | Operator))

KR Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation | (After | Before | Any | Every | Timer | Operator))

ECA Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action | (After | Before | Any | Every | Timer | Operator)) 

CEP Reaction RuleML

(Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action | (After | Before | Any | Every | Timer | Operator)) 

27.2 content

attributes: @index?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

(xs:any*)

27.3 Time

attributes: @type?, @mode?, @arity?, @card?, @minCard?, @maxCard?, @weight?, @style?, @direction?, @scope?, @closure?, @per?, @meta?, qualify?, @node?, @iri?, @vocab?, @prefix?, @key?, @keyref?, @xml:id?, @xml:base?

DR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, ( ((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval| (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) ) 

KR Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action|Situation| (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) ) 

ECA Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action| (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) )

CEP Reaction RuleML

( meta*, scope*, guard*, evaluation*, signature*, qualification*, quantification*, oid?, (((slot)*,(resl)?,((((arg|Ind|Data|Skolem|Var|Reify|Expr|Plex|Time|Spatial|Interval|Event|Action| (After | Before | Any | Every | Timer | Operator))+, (repo)?)|(repo)),(slot)*, (resl)?)?) | content(xs:any*)* ) )

28 xml

28.1 @base

(xs:anyURI)

28.2 @id

(xs:ID)