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: open  
  • Source: Rule ML Initiative ( Donald 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, 28 May 2019 00:41 GMT