Production Rule Representation Avatar
  1. OMG Specification

Production Rule Representation — All Issues

  • Acronym: PRR
  • Issues Count: 4
  • Description: All Issues
Closed All
All Issues

Issues Descriptions

need to update the PRR-W3C RIF relationship

  • Key: PRR-1
  • Legacy Issue Number: 13538
  • Status: closed  
  • Source: Knowledge Partners, Inc. ( Paul Vincent)
  • Summary:

    Per PRR FTF face2face meeting: need to update the PRR-W3C RIF relationship to the following text: In November 2005, the World Wide Web consortium (W3C) chartered the Rule Interchange Format (RIF) working group to specify a format for rules that can be used across diverse systems. This format (defined as a language) will function as an interlingua into which both established and new rule languages can be mapped, allowing rules written for one application to be published, shared, and re-used in other applications and other rule engines. Because of the great variety in rule languages and rule engine technologies used in academia and emerging technologies, this common format will take the form of a Core language to be used with a set of standard and non-standard extensions. These extensions need not, and are unlikely to, all be combinable into a single “unified rule language”. The primary normative syntax of all the dialects must be an XML syntax. Users are expected to work with tools or rule languages that are transformed to and from this format. Practically, the approach taken by the W3C RIF Working Group has been to develop a basic logic dialect of RIF (RIF-BLD) and a production rule dialect (RIF-PRD), and to define the Core dialect as a subset of their intersection that is useful on its own right. The semantics of RIF basic logic dialect [RIF-BLD] is essentially Horn Logic, a well-studied sublanguage of First-Order Logic that is the basis of Logic Programming, which is especially common amongst semantic web researchers. The W3C RIF working group is also developing a framework for logic dialects [RIF-FLD], which functions basically as a catalog of syntactic and semantic features to be assembled to specify a new logic dialect. RIF-BLD is defined both as a stand-alone specification, and as a specialization of RIF-FLD. The RIF production rule dialect [RIF-PRD] is designed to support a basic, but useful, set of features that are shared by the main stream production rule languages and engines (both commercial and open source). The expressiveness of the Core dialect [RIF-Core] will be essentially equivalent to Datalog, a minimal logic programming language with uses in active data bases. The RIF Core dialect is specified both as a specialization of RIF basic logic dialect and as a specialization of RIF production rule dialect. There is an overlap in scope between W3C RIF PRD and PRR, and they share the goal of rule interoperability, albeit for different stages of the software development lifecycle. The division of labor is o OMG PRR focuses on the standard metamodel definition and modeling of production rules (and possibly other rule types) with an XMI-compliant interchange format for UML based modeling tools o W3C RIF PRD focuses on a Rule Interchange Format suitable for the real-time “Web” and users of “Web technologies” such as XML. The W3C working group appointed a liaison to work with PRR Core metamodel to maximize the value of these standards efforts in both groups. The liaison effort is effective because of considerable overlap in membership of the PRR and RIF groups. In addition, the RIF working group is encouraged (by charter [RIF-Charter]) to produce a document showing how these standards work together. Furthermore it is expected that a future version of PRR, PRR RIF, will be extended to with W3C RIF PRD syntax for PRR Conditions and Actions, further enabling design-to-runtime transitions. [RIF-BLD] http://www.w3.org/TR/rif-bld [RIF-Charter] http://www.w3.org/2005/rules/wg/charter#omg-prr [RIF-Core] http://www.w3.org/TR/rif-core [RIF-FLD] http://www.w3.org/TR/rif-fld [RIF-PRD] http://www.w3.org/TR/rif-prd

  • Reported: PRR 1.0b1 — Mon, 23 Feb 2009 05:00 GMT
  • Disposition: Resolved — PRR 1.0b2
  • Disposition Summary:

    Per PRR FTF face2face meeting: need to update the PRR-W3C RIF relationship to the
    following text.

  • Updated: Fri, 6 Mar 2015 20:58 GMT

Replace references to metamodel to metamodel and profile

  • Key: PRR-2
  • Legacy Issue Number: 13539
  • Status: closed  
  • Source: Knowledge Partners, Inc. ( Paul Vincent)
  • Summary:

    Replace references to metamodel to metamodel and profile. Chapter should now read: The following MOF2 compliant metamodel and profile defines the PRR. They feature: • A definition of production rules for forward chaining inference and procedural processing. • A non-normative definition for an interchangeable expression language (PRR OCL) for rule condition and action expressions, so they can be replaced by alternative representations for vendor-specific usage or in other standards. • A definition of rulesets as collections of rules with a particular mode of execution (sequential or inferencing). The metamodel and profile are composed of: • a core structure referred to as PRR Core • an non-normative abstract OCL-based syntax for PRR expressions, defined as an extended PRR Core metamodel referred to as PRR OCL. Future extensions of PRR may address: • rule metamodels and profiles for other classes of rules, such as Event-Condition-Action (ECA), backward chaining, and constraints • rule representations that are specific to graphical notations, such as decision tables and decision trees • representations of sequences of rulesets within larger decisions • transformations between PRR and other MDA models such as SBVR.

  • Reported: PRR 1.0b1 — Mon, 23 Feb 2009 05:00 GMT
  • Disposition: Resolved — PRR 1.0b2
  • Disposition Summary:

    Replace references to metamodel to metamodel and profile

  • Updated: Fri, 6 Mar 2015 20:58 GMT

Change model to use Expression in lieu of OpaqueExpression (nherited from UML2)

  • Key: PRR-3
  • Legacy Issue Number: 13540
  • Status: closed  
  • Source: Knowledge Partners, Inc. ( Paul Vincent)
  • Summary:

    Change model to use Expression in lieu of OpaqueExpression (nherited from UML2) - following FTF face2face discussions on relevance of Expression vs OpaqueExpression. Affects: pg 9 Fig 7.1 PRR metamodel pg 11 Fig 7.3 PRR ProductionRule Classes pg 11 Fig 7.4 PRR RuleVariable Classes pg 12-13 7.4.6 Computer Executable Rule pg 13 7.4.8 Variable pg 14 7.4.9 ProductionRuleset pg 15 7.4.11 RuleCondition pg 16 7.4.12 RuleAction pg 16 7.4.15 RuleVariable pg 18 Fig 7.6 Metamodel for PRR OCL pg 43-44 Annex A Complete Metamodel In all the above, the OpaqueEpression is directly replaced by Expression with no other changes.

  • Reported: PRR 1.0b1 — Mon, 23 Feb 2009 05:00 GMT
  • Disposition: Resolved — PRR 1.0b2
  • Disposition Summary:

    Change model to use Expression in lieu of OpaqueExpression (inherited from UML2) -
    following FTF face2face discussions on relevance of Expression vs OpaqueExpression

  • Updated: Fri, 6 Mar 2015 20:58 GMT

Figure 7.5 is redundant as it is replaced by a more recent diagram displayed as Figure 7.6

  • Key: PRR-4
  • Legacy Issue Number: 13541
  • Status: closed  
  • Source: Knowledge Partners, Inc. ( Paul Vincent)
  • Summary:

    Figure 7.5 is redundant as it is replaced by a more recent diagram displayed as Figure 7.6. Probably a typesetting or Word error. Remove Figure 7.5.

  • Reported: PRR 1.0b1 — Mon, 23 Feb 2009 05:00 GMT
  • Disposition: Resolved — PRR 1.0b2
  • Disposition Summary:

    Figure 7.5 is redundant as it is replaced by a more recent diagram displayed as Figure 7.6.
    Probably a typesetting or Word error

  • Updated: Fri, 6 Mar 2015 20:58 GMT