SBVR 1.4 RTF Avatar
  1. OMG Issue

SBVR14 — Clarify and Strengthen Note at Beginning of Clause 10 Formal Logic Interpre

  • Key: SBVR14-80
  • Legacy Issue Number: 11328
  • Status: closed  
  • Source: Rule ML Initiative ( Mr. Donald R. Chapin)
  • Summary:

    As a result of the vote on Issue 9959, there is a need to clarify and strengthen the Note in front of the Formal Logic Interpretation Table in Clause 10.2, particularly to cover these points:

    • a major subset of SBVR has a complete formal logic interpretation whose principles are set forth in Clause 10.1
    • the table will contain:

    o a formal logic interpretation specified in ISO Common Logic based on Clause 10.1

    o a cross-reference to OWL constructs that equivalent to SBVR constructs

    • the current table is incomplete and immature, and will be completed during the SBVR Revision Task Force
  • Reported: SBVR 1.0b2 — Thu, 30 Aug 2007 04:00 GMT
  • Disposition: Deferred — SBVR 1.4b2
  • Disposition Summary:

    Deferred to SBVR v1.5 Revision Task Force because the SBVR v1.4 RTF was requested to close before it was finished so the SBVR RTF could be convert to JIRA.

  • Updated: Thu, 6 Apr 2017 13:51 GMT