SBVR 1.5 RTF Avatar
  1. OMG Issue

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

  • Key: SBVR15-75
  • 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.5
  • Disposition Summary:

    Need to establish approved baseline from SBVR v1.5 Issue Resolutions to proceed with the Rest

    Need to establish approved baseline from SBVR v1.5 Issue Resolutions to proceed with the Rest

  • Updated: Tue, 8 Oct 2019 17:48 GMT