SBVR14 — 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

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.