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

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

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