SBVR 1.6 RTF Avatar
  1. OMG Issue

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

  • Key: SBVR16-45
  • Legacy Issue Number: 11328
  • Status: open  
  • 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
  • Updated: Tue, 9 Jul 2019 14:49 GMT