Semantics of Business Vocabulary and Business Rules (SBVR)
Semantics of Business Vocabulary and Business Rules (SBVR)
Version 1.2
The material in this document details an Object Management Group specification in accordance with the terms, conditions and
notices set forth below. This document does not represent a commitment to implement any portion of this specification in any
company’s products. The information contained in this document is subject to change without notice.
LICENSES
The companies listed above have granted to the Object Management Group, Inc. (OMG) a nonexclusive, royalty-free, paid up,
worldwide license to copy and distribute this document and to modify this document and distribute copies of the modified
version. Each of the copyright holders listed above has agreed that no person shall be deemed to have infringed the copyright
in the included material of any such copyright holder by reason of having used the specification set forth herein or having
conformed any computer software to the specification.
Subject to all of the terms and conditions below, the owners of the copyright in this specification hereby grant you a fully-paid
up, non-exclusive, nontransferable, perpetual, worldwide license (without the right to sublicense), to use this specification to
create and distribute software and special purpose specifications that are based upon this specification, and to use, copy, and
distribute this specification as provided under the Copyright Act; provided that: (1) both the copyright notice identified above
and this permission notice appear on any copies of this specification; (2) the use of the specifications is for informational
purposes and will not be copied or posted on any network computer or broadcast in any media and will not be otherwise resold
or transferred for commercial purposes; and (3) no modifications are made to this specification. This limited permission
automatically terminates without notice if you breach any of these terms or conditions. Upon termination, you will destroy
immediately any copies of the specifications in your possession or control.
PATENTS
The attention of adopters is directed to the possibility that compliance with or adoption of OMG specifications may require use
of an invention covered by patent rights. OMG shall not be responsible for identifying patents for which a license may be
required by any OMG specification, or for conducting legal inquiries into the legal validity or scope of those patents that are
brought to its attention. OMG specifications are prospective and advisory only. Prospective users are responsible for protecting
themselves against liability for infringement of patents.
GENERAL USE RESTRICTIONS
Any unauthorized use of this specification may violate copyright laws, trademark laws, and communications regulations and
statutes. This document contains information which is protected by copyright. All Rights Reserved. No part of this work
covered by copyright herein may be reproduced or used in any form or by any means--graphic, electronic, or mechanical,
including photocopying, recording, taping, or information storage and retrieval systems--without permission of the copyright
owner.
DISCLAIMER OF WARRANTY
WHILE THIS PUBLICATION IS BELIEVED TO BE ACCURATE, IT IS PROVIDED "AS IS" AND MAY CONTAIN
ERRORS OR MISPRINTS. THE OBJECT MANAGEMENT GROUP AND THE COMPANIES LISTED ABOVE MAKE
NO WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, WITH REGARD TO THIS PUBLICATION, INCLUDING
BUT NOT LIMITED TO ANY WARRANTY OF TITLE OR OWNERSHIP, IMPLIED WARRANTY OF
MERCHANTABILITY OR WARRANTY OF FITNESS FOR A PARTICULAR PURPOSE OR USE.
IN NO EVENT SHALL THE OBJECT MANAGEMENT GROUP OR ANY OF THE COMPANIES LISTED ABOVE BE
LIABLE FOR ERRORS CONTAINED HEREIN OR FOR DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
CONSEQUENTIAL, RELIANCE OR COVER DAMAGES, INCLUDING LOSS OF PROFITS, REVENUE, DATA OR
USE, INCURRED BY ANY USER OR ANY THIRD PARTY IN CONNECTION WITH THE FURNISHING,
PERFORMANCE, OR USE OF THIS MATERIAL, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
The entire risk as to the quality and performance of software developed using this specification is borne by you. This
disclaimer of warranty constitutes an essential part of the license granted to you to use this specification.
Use, duplication or disclosure by the U.S. Government is subject to the restrictions set forth in subparagraph (c) (1) (ii) of The
Rights in Technical Data and Computer Software Clause at DFARS 252.227-7013 or in subparagraph (c)(1) and (2) of the
Commercial Computer Software - Restricted Rights clauses at 48 C.F.R. 52.227-19 or as specified in 48 C.F.R. 227-7202-2 of
the DoD F.A.R. Supplement and its successors, or as specified in 48 C.F.R. 12.212 of the Federal Acquisition Regulations and
its successors, as applicable. The specification copyright owners are as indicated above and may be contacted through the
Object Management Group, 109 Highland Avenue, Needham, MA 02494, U.S.A.
TRADEMARKS
IMM®, MDA®, Model Driven Architecture®, UML®, UML Cube logo®, OMG Logo®, CORBA® and XMI® are
registered trademarks of the Object Management Group, Inc., and Object Management Group™, OMG™ , Unified Modeling
Language™, Model Driven Architecture Logo™, Model Driven Architecture Diagram™, CORBA logos™, XMI Logo™,
CWM™, CWM Logo™, IIOP™, MOF™, OMG Interface Definition Language (IDL)™ , and OMG SysML™ are trademarks
of the Object Management Group. All other products or company names mentioned are used for identification purposes only,
and may be trademarks of their respective owners.
COMPLIANCE
The copyright holders listed above acknowledge that the Object Management Group (acting itself or through its designees) is
and shall at all times be the sole entity that may authorize developers, suppliers and sellers of computer software to use
certification marks, trademarks or other special designations to indicate compliance with these materials. Software developed
under the terms of this license may claim compliance or conformance with this specification if and only if the software
compliance is of a nature fully matching the applicable compliance points as stated in the specification. Software developed
only partially matching the applicable compliance points may claim only that the software was based on this specification, but
may not claim compliance or conformance with this specification. In the event that testing suites are implemented or approved
by Object Management Group, Inc., software developed using this specification may claim compliance or conformance with
the specification only if the software satisfactorily completes the testing suites.
OMG’s Issue Reporting Procedure
All OMG specifications are subject to continuous review and improvement. As part of this process we
encourage readers to report any ambiguities, inconsistencies, or inaccuracies they may find by com-
pleting the Issue Reporting Form listed on the main web page http://www.omg.org, under Documents,
Report a Bug/Issue (http://www.omg.org/report_issue.htm).
Table of Contents
Preface ........................................................................................vii
Part I - Introduction ....................................................................... 1
1 Scope .................................................................................................... 3
1.1 General .................................................................................................... 3
1.2 Applicability .............................................................................................. 3
1.3 SBVR Specification Files ......................................................................... 3
1.4 Terminological Dictionaries and Rulebooks ............................................. 4
1.5 Usage of an SBVR Content Model .......................................................... 4
1.6 For SBVR Tool Vendors .......................................................................... 5
2 Conformance ......................................................................................... 5
2.1 Support for an SBVR Concept ................................................................. 5
2.2 Compliance Points ................................................................................... 6
2.2.1 Meaning and Representation ............................................................................... 7
2.2.2 Logical Formulation of Semantics ........................................................................ 7
2.2.3 Business Vocabulary ........................................................................................... 7
2.2.4 Business Rules .................................................................................................... 8
2.2.5 Restricted Higher Order Logic (Additional Conformance) .................................. 8
2.2.6 First Order Logic (Additional Conformance) ........................................................ 8
2.3 Conformance of an SBVR Content Model Exchange Document ............. 8
2.4 Conformance of an SBVR Producer........................................................ 9
2.5 Conformance of an SBVR Processor ...................................................... 9
3 Normative References ........................................................................ 10
4 Terms and Definitions ......................................................................... 11
5 Symbols .............................................................................................. 12
6 Additional Information ......................................................................... 12
6.1 Changes to Adopted OMG Specifications ............................................. 12
6.2 How to Read this Specification .............................................................. 12
6.2.1 About the Annexes ............................................................................................ 12
6.2.2 About the Normative Specification ..................................................................... 13
6.3 Acknowledgements ................................................................................ 14
Part II - Business Vocabulary+Rules for Business
Vocabulary+Rules ......................................................... 15
7 Vocabulary Registration Vocabulary ................................................... 17
Stand-alone Annexes
Annex E - Overview of the Approach
see http://www.omg.org/cgi-bin/doc?formal/2013-11-06
Annex F - The Business Rules Approach
see http://www.omg.org/cgi-bin/doc?formal/2013-11-07
Annex G - EU-Rent Example
see http://www.omg.org/cgi-bin/doc?formal/2013-11-08
OMG member companies write, adopt, and maintain its specifications following a mature, open process. OMG's
specifications implement the Model Driven Architecture® (MDA®), maximizing ROI through a full-lifecycle approach to
enterprise integration that covers multiple operating systems, programming languages, middleware and networking
infrastructures, and software development environments. OMG’s specifications include: UML® (Unified Modeling
Language™); CORBA® (Common Object Request Broker Architecture); CWM™ (Common Warehouse Metamodel);
and industry-specific standards for dozens of vertical markets.
OMG Specifications
As noted, OMG specifications address middleware, modeling, and vertical domain frameworks. A listing of all OMG
Specifications is available from the OMG website at:
http://www.omg.org/spec/index.htm
Middleware Specifications
• CORBA/IIOP
• Data Distribution Services
• Specialized CORBA
Modernization Specifications
All of OMG’s formal specifications may be downloaded without charge from our website. (Products implementing OMG
specifications are available from individual suppliers.) Copies of specifications, available in PostScript and PDF format,
may be obtained from the Specifications Catalog cited above or by contacting the Object Management Group, Inc. at:
OMG Headquarters
109 Highland Avenue
Needham, MA 02494
USA
Tel: +1-781-444-0404
Fax: +1-781-444-0320
Email: [email protected]
Certain OMG specifications are also available as ISO standards. Please consult http://www.iso.org.
Issues
The reader is encouraged to report any technical or editing issues/problems with this specification to http://www.omg.org/
report_issue.htm.
This specification is interpretable in predicate logic with a small extension using modal operators. It supports linguistic
analysis of text for business vocabularies and business rules, with the linguistic analysis itself being outside the scope of this
specification.
1.2 Applicability
The SBVR specification is applicable to the domain of business vocabularies and business rules of all kinds of business
activities in all kinds of organizations. It provides an unambiguous, meaning-centric, multilingual, and semantically rich
capability for defining meanings of the language used by people in an industry, profession, discipline, field of study, or
organization.
This specification is conceptualized optimally for business people rather than automated processing. It is designed to be
used for business purposes, independent of information systems designs to serve these business purposes:
• Unambiguous definition of the meaning of business concepts and business rules, consistently across all the terms,
names and other representations used to express them, and across the natural languages in which those representations
are expressed, so that they are not easily misunderstood either by “ordinary business people” or by lawyers.
• Expression of the meanings of concepts and business rules in the wordings used by business people, who may belong
to different communities, so that each expression wording is uniquely associated with one meaning in a given context.
• Transformation of the meanings of concepts and business rules as expressed by humans into forms that are suitable to
be processed by tools, and vice versa.
• Interpretation of the meanings of concepts and business rules in order to discover inconsistencies and gaps within an
SBVR Content Model (see 2.4) using logic-based techniques.
• Application of the meanings of concepts and business rules to real-world business situations in order to enable
reproducible decisions and to identify conformant and non-conformant business behavior.
• Exchange of the meanings of concepts and business rules between humans and tools as well as between tools without
losing information about the essence of those meanings.
This specification also provides an “SBVR XMI Metamodel” file (see sub clauses 13.1 and 15.2) that is generated from
the content of Clauses 8, 9, 11 & 12 based on transform rules in Clause 13 and Annex C.
• SBVR Terminological Dictionary: the business vocabulary part of an SBVR Content Model. As with all kinds of
dictionaries, it contains business data content that defines terms and other representations, including definitional
business rules.
Dictionaries in general are not metamodels. Dictionaries have no metamodel levels. All terms in a dictionary -
including the terms that define the dictionary content itself - are at the same level. Dictionaries are easily and naturally
extendable, as happens all the time in the culture. This is also true for SBVR Content Models.
• SBVR Rulebook: an SBVR Content Model that includes behavioral guidance. It comprises an SBVR Terminological
Dictionary and business data content that defines elements of guidance, including behavioral business rules.
An SBVR Content Model documents the meaning of terms and other representations that business authors intend when
they use them in their business communications, as evidenced in their written documentation, such as contracts, product/
service specifications, and governance and regulatory compliance documents. Such documents are the authoritative
source for the content of an SBVR Content Model.
SBVR Content Models focus exclusively on defining meaning and the expressions that represent meaning. They do not
concern themselves with or contain assertions of the truth-value of propositions. Such concerns and assertions are outside
the scope of SBVR and belong to the domain of data and rules enforcement. While putting business vocabulary in a
published SBVR Business Vocabulary and business rules in a published SBVR Rulebook is often used by organizations to
communicate that, in fact, this vocabulary is the vocabulary in use and these rules are the rules in force, such assertions
are outside the scope of the SBVR XMI metamodel. For example, an organization could propose rules in a rulebook that
are never put into force. SBVR Content Models therefore do not contain any kind of business data except business
vocabulary and business rules content.
While this specification contains the SBVR XMI Metamodel for interchanging the documentation of business vocabulary
and business rules content, the SBVR XMI Metamodel is not a metamodel for any form of data model, message model,
business information, or model designed for reasoning over business information. A transformation is required to bridge
from an SBVR Content Model to a data model, message model, business information, model for reasoning over business
information, or any other IT system model.
In SBVR Content Models the key relationship is between meanings in the business vocabulary / rulebook and things in the
world of the business; whereas in IT systems the key relationship is between classes in the data/reasoning model and recorded
business data in some form.
The SBVR XML Schema file is also provided as part of this specification (see 15.3).
SBVR tools generate and process SBVR Content Model exchange documents that validate according to the “SBVR XML
Schema” files of sub clause 15.3. The “SBVR Content Model for SBVR” file of sub clause 15.4 can be used as an
example SBVR Content Model exchange document.
The “SBVR XMI Metamodel” file of sub clause 15.2 is a machine-readable metamodel that may be employed in the
development of SBVR tools.
2 Conformance
2.1 General
This specification defines conformance for an SBVR Content Model exchange document, for software that produces
SBVR Content Model exchange documents, and for software that processes SBVR Content Model exchange documents.
All references to “conceptual schema” and “fact model” in this clause are references to their use in Clause 13 “SBVR’s
Use of MOF and XMI.”
• The software tool uses the representations specified in Clause 15 for that concept in any SBVR Content Model
exchange document it produces. It may use other representations of the same concept for other purposes, including
other forms of exchange documents.
• The software tool interprets the specified representation of the concept as having the meaning given by the Definition
of that concept in this specification, and interprets instances of the concept as having the associated characteristics.
• No Necessity concerning that concept that is given in this specification is violated by any fact in any fact model
maintained by the software tool nor in any SBVR Content Model exchange document it produces.
Use of Reference Schemes given in this specification is recommended, but not required.
Note, Example, and Dictionary Basis elements of the “glossary entry” for the concept in this specification are purely
informative. All other elements are to be understood as giving the meaning and required characteristics of the concept.
The glossary entry also specifies the representation of the concept that is used in this specification, while Clauses 13 and
15 specify the representation of the concept in exchange documents conforming to this specification.
Note: A concept is a meaning. Support for an SBVR concept is about using that meaning appropriately in the operation of the
tool, and representing that meaning using the corresponding SBVR designator in SBVR Content Model exchange documents.
The internal designations and other representations for the meaning, and the representation of that meaning in other exchange
documents are not concerns of this specification.
«merge»
«merge»
Vocabulary f or Describing
Business Vocabularies
Vocabulary f or Describing
Business Rules
«merge»
«merge»
SBVR
Figure 2.1
A software tool that conforms to this compliance point shall support all of the concepts in the Meaning And
Representation Vocabulary specified in Clause 8. This corresponds to support for UML Package “Meaning and
Representation Vocabulary.”
A software tool that conforms to this compliance point shall support (as defined in 2.2) all of the concepts in the Logical
Formulation of Semantics Vocabulary specified in Clause 9. This corresponds to support for UML Package “Logical
Formulation of Semantics Vocabulary.”
A software tool that conforms to this compliance point shall support (as defined in 2.2) all of the concepts in the Business
Vocabulary specified in Clause 11. This corresponds to support for UML Package “Vocabulary for Describing Business
Vocabularies.”
A software tool that conforms to this compliance point shall support (as defined in 2.2) all of the concepts in the Business
Rules Vocabulary specified in Clause 12 and all of the concepts in the Business Vocabulary specified in Clause 11. This
corresponds to support for UML Package “Vocabulary for Describing Business Rules.”
An SBVR Content Model exchange document that conforms to this compliance point shall satisfy the requirement stated
in sub clause 10.4.1 and 10.4.2.
A software tool that conforms to this compliance point shall conform as an SBVR producer (see 2.5) and shall produce no
exchange file that does not conform to this compliance point, as defined above.
An SBVR Content Model exchange document that conforms to this compliance point shall satisfy the requirement stated
in sub clause 10.4.1 and 10.4.3.
A software tool that conforms to this compliance point shall conform as an SBVR producer (see 2.5) and shall produce no
exchange file that does not conform to this compliance point, as defined above.
The fact model shall be based on the conceptual schema specified in sub clause 13.5 - the “SBVR model of SBVR.” The
exchange document shall identify its document type as one of the XML Schemas specified in sub clause 15.3, using the
URI for that schema specified in 15.4.
Note: A business vocabulary or a business conceptual schema can be stated as a fact model that conforms to one of the
conceptual schemas in Clause 15. The conformance of a fact model to a business conceptual schema so defined could be
specified by the business that owns it, following the pattern of this specification. But this specification only defines conformance
rules and Necessities for the concepts defined in the SBVR conceptual schema. Specifying the real requirements for
conformance to a business-defined schema is beyond the scope of SBVR.
The body of facts represented in the fact model shall not contradict any Necessity in the SBVR conceptual schema.
However, no concept is closed in the SBVR conceptual schema. A conforming fact model need not identify all things that
necessarily exist, and a conforming fact model need not include a fact that expresses every necessary property of a thing
that is referenced in the fact model. No Necessity should be interpreted as a requirement for inclusion of a fact in the fact
model.
EXAMPLE
There is a rule that every statement expresses exactly one proposition. A fact model that includes that a given statement
expresses two different propositions is not conformant. But a conforming document can include a statement without
relating the statement to a proposition, even though the proposition necessarily exists.
An exchange document that conforms to this specification may include representations of instances of any class (noun
concept) or association (verb concept) that is defined in Clauses 8, 9, 11, or 12.
Note: Not every conforming processor will support all of the concepts that can appear in a conforming SBVR document.
Every conforming processor, however, is required to accept every conforming document. See 2.6.
For an XML exchange document that involves multiple namespaces, conformance to this specification is only defined for
that part of the exchange document that uses the SBVR namespaces defined in this specification.
Note: The document type of a conforming XML exchange document need not be one of the XML schemas defined in Clause
15. For example, the document schema may include an SBVR schema as a subordinate namespace. Similarly, the SBVR
schemas permit items like ‘definitions’ to have formal representations defined by other XML schemas.
An SBVR producer may be able to produce representations of instances of any concepts specified in Clauses 8, 9, 11, and
12. An SBVR producer is not required to be able to produce a representation of instances of any specific concept defined
in this specification.
For a conforming SBVR producer, a claim of conformance shall identify the SBVR concepts for which it can produce
representations of instances. It is recommended, but not required, that an SBVR producer be able to produce
representations of instances of all of the concepts for one or more of the compliance points specified in 2.3.
Note: A conforming SBVR producer may be able to produce representations of instances of some but not all of the concepts
defined for a compliance point. For such a software tool, support for the entire compliance point cannot be claimed, but its
ability to produce representations of instances of the specific concepts it supports should be documented.
Note: As indicated in 2.4, an SBVR producer may produce instances of concepts not defined in SBVR as well. In such a case,
the SBVR fact model would be only a part of the exchange document.
An SBVR producer shall support (as defined in 2.2) all of the SBVR concepts for which it is able to produce
representations of instances.
An SBVR producer shall not convey in the exchange document the intent of an SBVR concept by using a representation
that is not specified herein.
For an SBVR processor, the SBVR compliance points (see 2.3) to which it claims conformance shall be documented.
Every SBVR processor shall be able to accept representations of facts about instances of all SBVR concepts, whether they
are associated with a compliance point for which conformance is claimed or not. Every SBVR processor shall be able to
accept each of the SBVR Content Model exchange documents listed in 15.4.
Every SBVR processor shall conform to the Meaning and Representation compliance point, as specified in 2.3.1. That is,
it shall support (as defined in 2.2) instances of all concepts specified in the Meaning and Representation Vocabulary.
An SBVR processor for which conformance to any other compliance point specified in sub clause 2.3 is claimed shall
support instances of all concepts specified in the SBVR vocabulary associated with that compliance point.
Note: Depending on what the SBVR processor actually does with the SBVR fact model, there may be SBVR concepts for
which there is no valid use in the function of the tool. For example, a tool that converts an SBVR fact model to some other
modeling language or rules language may find that there are SBVR concepts that have no image in the target language. In such
a case, the proper support for the SBVR concept may be to do nothing with it.
When an SBVR processor encounters a representation of an instance of a concept for which conformance is not claimed
(including concepts that are not SBVR concepts), the processor may choose to do any of the following:
An SBVR processor may, but need not, provide a warning when it encounters a representation of an instance it does not
support.
3 Normative References
The following normative documents contain provisions which, through reference in this text, constitute provisions of this
specification. For dated references, subsequent amendments to, or revisions of, any of these publications do not apply.
• Berners-Lee, T., R. Fielding, L. Masinter. IETF RFC 2396: Uniform Resource Identifiers (URI): Generic Syntax,
August 1998.
• International Organization for Standardization (ISO) : ISO 639-2. Codes for the Representation of Names of
Languages, Part 2: Alpha-3 Code. Library of Congress, 2002.
• International Organization for Standardization (ISO) : 1087-1. Terminology work — Vocabulary — Part 1: Theory and
Application
• The Cambridge Dictionary of Philosophy, 2nd ed. Cambridge University Press, 1999.
Figures in Clauses 8, 9, 11, and 12 depict the SBVR XMI Metamodel using notational conventions described in Clause
13. For the purpose of visualizing vocabularies, Annex C describes a non-normative interpretation of those same figures
and of figures in Annex G. Other non-normative notations used in Clauses 7 through 12 are explained in Annexes A and
H.
6 Additional Information
6.1 Changes to Adopted OMG Specifications
This specification does not require or request any change to any other OMG specification.
The sequencing of the clauses in this specification reflects the inherent logical order of the subject matter itself. Later
clauses build semantically on the earlier ones. The initial clauses are therefore rather ‘deep’ in terms of SBVR’s
grounding in formal logics and linguistics. Only after these clauses are presented do clauses more relevant to day-to-day
business communication and business rules emerge.
This overall form of presentation, essential for a vocabulary standard, unfortunately means the material is rather difficult
to approach. A figure presented for each sub-vocabulary does help illustrate its structure; however, no continuous
'narrative' or explanation is appropriate.
For that reason, the first-time general reader is urged to start with some of the non-normative Annexes, which do provide
full explanation of the material, as well as context and purpose.
• Annex E, Overview of the Approach, is strongly recommended in that regard. It provides a general introduction to the
fundamental concepts and approach of SBVR.
• Annex F, The Business Rules Approach, explains the core ideas and principles of business rules, which underpin
SBVR’s origin and focus. This short Annex is strongly recommended for readers who are unfamiliar with this area.
Good preparation for reading the specification is becoming familiar with the notation (non-normative) used to present the
entries.
• Annex B, SBVR Structured English Patterns, explains how to verbalize terminological entries.
• Annex H, The RuleSpeakR Business Rule Notation, presents a widely-used, business-friendly syntax for expressing
business rules.
• Annex I, Concept Diagram Graphic Notation, offers suggestions for how an SBVR vocabulary can be diagrammed.
• Annex C, Use of UML Notation in a Business Context to Represent SBVR-style Vocabularies, is of special interest to
practitioners familiar with UML diagramming.
• Annex J, The ORM Notation for Verbalizing Facts and Business Rules, provides an introduction to the ORM approach.
ORM contributes heavily to the theoretical underpinnings of SBVR, and represents some of the best practices in fact-
based vocabulary and rule development.
• Annex L, ORM Examples Related to the Logical Foundations for SBVR, provides supplemental ORM material further
clarifying the normative material, Logical Foundations for SBVR.
For those specialists and researchers interested in standards and/or in the formal logics underpinning of SBVR, the
following material is of special interest.
• Annex K, Mappings and Relationships to Other Initiatives, addresses where and how SBVR fits with other software
and standards initiatives.
For practitioners interested in a methodology supporting SBVR, used productively in industry for over 30 years, the fact-
oriented approach NIAM2007 offers interesting advice.
• Annex M - a Conceptual Overview of SBVR and the NIAM2007 Procedure to Specify a Conceptual Schema.
• Annex D, Additional References, provides supplemental sources relevant to the formal underpinnings of SBVR.
The rest of this document contains the technical content of this specification. As background for this specification,
readers are encouraged to first read:
Clauses 7-15 contain clauses for the SBVR vocabularies and rules that are the foundation for the SBVR XMI Metamodel.
Clauses 7-15 address different audiences. Four of the clauses are directly tied to conformance points, which are listed in
Clause 2. Clause 7 gives names to the SBVR Vocabularies and to some other vocabularies and namespaces used by
SBVR. Clause 8 provides the Meaning and Representation Vocabulary, which covers different kinds of meaning and
representations. It is the foundation for the rest of the specification. Clause 9 provides the Logical Formulation of
Semantics Vocabulary, which is the SBVR way to formulate semantics. It is not a vocabulary for business people but,
rather, for detailed descriptions of the meanings of business words and statements. Clause 10 shows the formal logics and
mathematical underpinnings of SBVR. Numerous concepts in clauses 8 and 9 are marked with the symbol ‘FL’ indicating
that they are mapped to formal logics concepts in 10.
Clauses 11 and 12 provide (respectively) the Vocabulary for Describing Business Vocabularies and the Vocabulary for
Describing Business Rules, which are for use in business to describe vocabularies and terminological dictionaries (11)
and business rules (12).
Clauses 7-15 use SBVR Structured English to define the SBVR vocabularies and rules. Annex A describes how the
Structured English is interpreted such that SBVR is specified in terms of itself.
Much of the material in Part II is illustrated by examples in the annexes, especially Annex G.
Although the clauses are organized in a logical manner and can be read sequentially, this is a reference specification and
is intended to be read in a non-sequential manner. Consequently, extensive cross-references are provided to facilitate
browsing and search.
6.3 Acknowledgements
The following companies submitted and/or supported parts of this specification:
• Adaptive
• Automated Reasoning Corporation
• Business Rule Solutions, LLC
• Business Rules Group
• Business Semantics Ltd
• Fujitsu Ltd
• Hendryx & Associates
• Hewlett-Packard Company
• InConcept
• LibRT
• KnowGravity Inc
• MEGA
• Model Systems
• Neumont University
• Perpetual Data Systems
• PNA Group
• Sandia National Laboratories
• The Rule Markup Initiative
• Unisys Corporation
• X-Change Technologies Group
Clause 7 gives names to the SBVR Vocabularies and to some other vocabularies and namespaces used by SBVR. Clause
8 provides the Meaning and Representation Vocabulary, which covers different kinds of meaning and representations. It is
the foundation for the rest of the specification. Clause 9 provides the Logical Formulation of Semantics Vocabulary,
which is the SBVR way to formulate semantics. It is not a vocabulary for business people, but rather, for detailed
descriptions of the meanings of business words and statements. Clause 10 shows the formal logics and mathematical
underpinnings of SBVR. Numerous concepts in clauses 8 and 9 are marked with the symbol ‘FL’ indicating that they are
mapped to formal logics concepts in Clause 10.
Clauses 11 and 12 provide (respectively) the vocabulary for Describing Business Vocabularies and the Vocabulary for
Describing Business Rules, which are for use in business to describe vocabularies and terminological dictionaries (11) and
business rules (12).
Clause 13 specifies how SBVR uses MOF and XMI. Clause 14 is an index of vocabulary entries in Part II. Clause 15 lists
supporting documents, such as an XMI-based XML schema for the SBVR XMI Metamodel.
Part II uses SBVR Structured English to define the SBVR vocabularies and rules. Annex A describes how the Structured
English is interpreted such that SBVR is specified in terms of itself. Although the Structured English is non-normative, its
use in Clauses 7 through 12 has a normative interpretation described in subclause 13.6. Examples are in natural language
and use no particular notation except where noted.
Much of the material in Part II is illustrated by examples in the annexes, especially Annex G.
__________________________________________________
SBVR Vocabulary
Definition: vocabulary that is a combination of the following: Meaning and Representation Vocabulary,
Logical Formulation of Semantics Vocabulary, Vocabulary for Describing Business Vocabularies,
and Vocabulary for Describing Business Rules
UML 2 Infrastructure
Definition: the namespace of designations for UML 2 Infrastructure concepts as defined by
[UML2infr].
Unicode Glossary
Definition: the vocabulary presented in [Unicode4].
1. Expression – things used to communicate (e.g., sounds, text, diagrams, gestures), but apart from their meaning —
one expression can have many meanings.
2. Representation – the connection between expression and a meaning. Each representation ties one expression to one
meaning.
3. Meaning – what is meant by a word (a concept) or by a statement (a proposition) – how we think about things.
4. Extension – the things to which meanings refer, which can be anything (even expressions, representations, and
meanings when they are the subjects of our discourse).
Following are examples of how some things, like “driver,” cross through each subject area.
The actual drivers of Concept ‘driver’ — how we Designation of the concept The character sequence
motor vehicles think of drivers, what ‘driver’ by the signifier “driver”
characterizes them “driver”
Definition of the concept The character sequence
‘driver’ as “operator of a motor “operator of a motor vehicle”
vehicle”
The actual City of Individual noun concept ‘Los ‘Los Angeles’ as a designation The character sequence “Los
Los Angeles, Angeles’ — how we think of that for the individual noun concept Angeles”
California – a real city, what distinguishes it from of ‘Los Angeles’
place other places
For each car that is Characteristic applicable to a car, Verb concept wording ‘car is The text “car is out of
out of service, its what is meant by a car being out out of service’ as a template for service”
actually being out of of service the characteristic with ‘car’
service being a placeholder
The actual state of Proposition — the meaning of The statement, “EU-Rent must The character sequence
affairs of it being the statement “EU-Rent must not not rent to a barred driver,” “EU-Rent must not rent to a
obligatory in the EU- rent to a barred driver” having the proposition as its barred driver”
Rent business that it meaning
not rent to a barred
driver
Another subject area of this vocabulary is reference schemes, which are ways people use information about something to
identify it. For example, a city in the United States is identified by a name combined with the state it is in. The state is
identified by its name or by a two-letter state code.
Representations provide a reference scheme for concepts and propositions because they are always tied to exactly one
expression and to exactly one meaning. On the other hand, a single expression can have multiple meanings, a concept can
A single representation can be tied to many speech acts, or to a single speech act, depending on how its expression is
identified. For example, if the expression is a text or a sequence of words independent of any particular act of writing or
speaking, the representation is independent in the same way. Conversely, if the expression is identified as belonging to a
specific speech act, then the representation is tied to that speech act also.
Note: in the glossary entries below, the words “Concept Type: role” indicate that a general concept being defined is a role.
Because it is a general concept, it is necessarily a situational role and is not a verb concept role.
The Meaning and Representation Vocabulary is not presented alphabetically. It is organized by subjects presented in the
following order.
1. Meanings
a. Concepts
b. Propositions
c. Questions
2. Expressions
3. Representations
4. Reference Schemes
5. Extensions
6. Elementary Concepts
__________________________________________________
Figure 8.1
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
meaning
Definition: what is meant by a word, sign, statement, or description; what someone intends to express or
what someone understands
8.2.1 Concepts
concept FL
Source: ISO 1087-1 (English) (3.2.1) [‘concept’]
Definition: unit of knowledge created by a unique combination of characteristics
General Concept: meaning
Reference Scheme: a designation of the concept
noun concept FL
Definition: concept that is the meaning of a noun or noun phrase
Concept Type: concept type
Reference Scheme: a closed projection that defines the noun concept
general concept
Synonym: general noun concept
Definition: noun concept that classifies things on the basis of their common properties
concept type FL
Definition: general concept that specializes the concept ‘concept’
Note: A concept is related to a concept type by being an instance of the concept type.
Example: verb concept, role, concept type
role FL
Definition: noun concept that corresponds to things based on their playing a part, assuming a function or
being used in some situation
Concept Type: concept type
Example: the role ‘drop-off location’ of the verb concept ‘shipment has drop-off location’
Example: the role ‘shipment’ of the verb concept ‘shipment has drop-off location’, which should not be
confused with the general concept ‘shipment’ (which generalizes the role)
Example: the role ‘sum’ – a role of a number in relation to a set of numbers
Note: A role can be a general concept or a verb concept role. A role is always understood with
respect to actualities of a particular verb concept or to other particular situations.
characteristic FL
Definition: verb concept that has exactly one role
Source: ISO 1087-1 (English) (3.2.4) [‘characteristic’]
Definition: abstraction of a property of an object [thing] or of a set of objects
Synonym: unary verb concept
Example: The verb concept ‘shipment is late’ whose instances are actualities of shipments being late.
There is one instance of the verb concept for each shipment that is late.
Note: A characteristic always has exactly one role, but it can be defined using verb concepts having
multiple roles.
Example: The characteristic ‘driver is of age’ with this definition: “the age of the driver is at least the
EU-Rent Minimum Driving Age.” The semantic formulation of this definition appears in the
introduction to Clause 9 - Logical Formulation of Semantics Vocabulary.
concept
role
ranges over is in
characteristic
1 ..*
general concept verb concept role
role
Figure 8.2
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
Definition: the concept1 incorporates each characteristic that is incorporated by the concept2 plus at
least one differentiator
Synonymous Form: concept2 generalizes concept1
Note: The extension of a concept that specializes another is always a subset of the extension of the
other, but not necessarily a proper subset. The differentiator that makes one concept more
specific than the other is conceptual and does not necessarily restrict the extension of the
concept.
Example: The noun concept ‘whole number’ specializes the noun concept ‘integer’, the differentiator
being that whole numbers are nonnegative.
Example: The individual noun concept ‘Los Angeles’ specializes the concept ‘city’, the differentiator
being that Los Angeles is one particular city in California.
8.2.2 Propositions
m e a n in g
is tr u e
p ro p o s iti o n
is fa lse
is n e ce ssa rily t ru e
is p o ssib ly tr u e
is o b lig a t ed to b e t ru e
is p e rm it te d t o b e tr ue
fa c t
Figure 8.3
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
proposition is true FL
Definition: the state of affairs that the proposition corresponds to is actual
Note: A proposition is true if and only the state of affairs to which it corresponds is actual, regardless
of whether that state of affairs has been actual in the past or will be actual in the future.
Note: A proposition can be true with respect to one possible world and false with respect to another.
See “possible world” in Clause 10.
proposition is false FL
Definition: the state of affairs that the proposition corresponds to is not actual
fact FL
Definition: proposition that is taken as true
Note: How one ascertains what is true, whether by assertion, observation, or other means, is outside
the scope of this specification. However, taking a proposition as true must be consistent with
epistemic commitment. The concept ‘fact’ is here defined to be consistent with the operations
of truth-functional logic, which produce results based on true and false.
8.2.3 Questions
question
Definition: meaning of an interrogatory
Note: The word “question” has two common meanings: first, a written or spoken expression of
inquiry, and second, the meaning of such an inquiry. By the second definition, a single
question could be asked in two languages. But by the first definition, using two language
results in two expressions, and therefore, two questions. The concept ‘question’ is here
defined in the second sense (meaning) and should not be confused with the expression or
representation of a question.
Reference Scheme: a closed projection that means the question
8.3 Expressions
expression
Definition: something that expresses or communicates, but considered independently of its interpretation
Example: the sequence of characters “car”
Example: the sequence of speech sounds (t), (r), and (e)
Example: a smile
Example: a diagram
Example: The entire text of a book
text
Source: Unicode 4.0.0 Glossary [‘Character Sequence’]
General Concept: expression
Note: The concept ‘text’ has no explicit reference scheme, but rather, is used as a target for
reference schemes.
URI
Source: Uniform Resource Identifiers Vocabulary [‘URI’]
Definition: text that identifies a resource as specified by [IETF RFC 2396]
Synonym: uniform resource identifier
Note: The concept ‘URI’ is introduced into this specification in order to provide a universal context
for reference schemes.
represents
1 represents 1
expression representation meaning
expression representation meaning
1
signifier
{subsets expression }
{subsets meaning}
designation concept
designation 1
{ subsets meaning } 1
placeholder
text
definition
definition
{subsets meaning}
verb concept wording verb concept
verb concept 1
wording
expresses 1
statement proposition
statement {subsets meaning}
Figure 8.4
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
representation
Definition: actuality that a given expression represents a given meaning
Necessity: Each representation has exactly one expression.
Necessity: Each representation represents exactly one meaning.
8.4.1 Designations
designation
Source: ISO 1087-1 (English) (3.4.1) [‘designation’]
Definition: representation of a concept by a sign which denotes it
signifier
Definition: expression that is a linguistic unit or pattern, such as a succession of speech sounds, written
symbols or gestures, used in a designation of a concept
Concept Type: role
Example: the sequence of characters “car” used in a designation of the concept ‘automobile’ or used in
a designation of the concept ‘railroad car’
Example: the sequence of speech sounds (t), (r), and (e) used in a designation of the concept ‘tree’
Example: The graphic “€” used in a designation of the concept ‘Euro’
8.4.2 Definitions
definition
Source: ISO 1087-1 (English) (3.3.1) [‘definition’]
Definition: representation of a concept by a descriptive statement [expression] which serves to
differentiate it from related concepts
Definition: representation (as through a word or phrase) expressing the essential nature of a person or
thing or class of persons or of things : an answer to the question “what is x?” or “what is an x?”
Necessity: Each definition represents a concept.
Reference Scheme: the expression of the definition and a closed projection that formalizes the definition
Note: ‘definition’ is used in SBVR in the sense of the formal term “definiens.”
statement
Definition: representation of a proposition by an expression that is non-paradoxical and meaningful
and that is a simple sentence with one declarative clause, or a complex sentence or group of
sentences that together contain one or more declarative clauses
Necessity: Each statement expresses exactly one proposition.
Reference Scheme: the expression of the statement and a closed logical formulation that formalizes the
statement
Note: A statement combines a single expression with a single meaning of that expression. If an
expression is an ambiguous sentence, one that represents two different propositions, each of
the two representations is considered to be a separate statement. See ‘expression is
unambiguous to speech community’ in 11.3.1.4.
Note: A paradoxical expression is not an expression of a statement. A paradox is independent of
whether or not the truth-value is known.
Note: In sentences each declarative clause represents individually a given proposition that is its
meaning. Complex sentences and groups of multiple sentences can also represent a single
proposition. The terms “sentence” and “clause” are used in SBVR with their most common
grammatical meaning
Note: Including a statement of a proposition in a descriptive example does not assert the truth of the
proposition. It is simply an illustrative example of the concept. This is unlike including a
statement of the same proposition in a factbase which, by definition, includes an assertion of
“taken to be true.”
Necessity: Each statement that represents a given proposition and each closed logical
formulation that means that given proposition must be synonymous, and both individually
and together with all the others determine the propositon i.e., the meaning.
Note: How the meaning of a statement is determined depends on the natural language in which it is
expressed. SBVR defines how to determine the meaning of a closed logical formuation.
1 uses
verb concept wording
is in
placeholder 1..*
placeholder
is at
starting character position 0..1
sentential form noun form positive integer
starting
character
position
Figure 8.5
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
sentential form
Definition: verb concept wording that is a pattern or template that can be used for stating a proposition
based on a verb concept
Example: ‘car is used in rental agreement’ is a sentential form of a binary verb concept.
Example: ‘car is unavailable’ is a sentential form of a characteristic.
Example: Assuming there is a role ‘renter’ ranging over the concept ‘customer’, the following can all be
alternative sentential forms of the same verb concept:
car has renter
customer rents car
car is rented by customer
renter rents car
Necessity: Each role of the verb concept that has a sentential form is represented by a
placeholder of the sentential form.
noun form
Definition: verb concept wording that acts as a noun rather than forming a proposition
Note: A noun form can have a placeholder for each role of a verb concept, in which case the noun
form result comes from the role the first placeholder is for. A noun form can also have one less
placeholder than there are roles, in which case the noun form result comes from the role that no
placeholder is for.
placeholder
Definition: designation of a verb concept role within a verb concept wording marking a place where,
in uses of the verb concept wording, an expression denotes what fills the verb concept
role
Necessity: Each placeholder is in exactly one verb concept wording.
Necessity: Each placeholder represents exactly one verb concept role.
Necessity: Each placeholder of each verb concept wording of a verb concept represents a verb
concept role of the verb concept.
Necessity: Each placeholder has at most one starting character position.
Necessity: Each placeholder of a verb concept wording that has a text has a starting character
position.
Reference Scheme: the verb concept wording that has the placeholder and the expression of the
placeholder and the starting character position of the placeholder
Note: The expression of a placeholder often consists of the signifier of a designation used by the
placeholder, but it can include other things such as delimiting characters (as in ‘[proposition] is
true’) or a subscript (as in ‘proposition1 is true’) by which the placeholder can be distinguished
within the verb concept wording that has it. A placeholder need not use a designation (as in ‘…
is true’).
8.4.5 Namespaces
is in incorporates
designation
contains
text
is in
verb concept wording namespace
contains
0..1
URI URI
also: uniform resource identifier
includes
vocabulary namespace attributive namespace
is within
attributive namespace
Figure 8.6
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
designation is in namespace
Definition: the namespace contains the designation such that the signifier of the designation is the
signifier of no other designation in the namespace
Synonymous Form: namespace contains designation
vocabulary namespace
Definition: namespace that is derived from a vocabulary
attributive namespace
Definition: namespace that contains designations recognizable in the context of being attributed to
instances of a particular concept
Necessity: Each attributive namespace is for exactly one subject concept.
Reference Scheme: a vocabulary namespace that includes the attributive namespace and the subject
concept that has the attributive namespace
Note: A designation in an attributive namespace typically represents a role of a binary verb
concept. In English, such a designation can typically be used with any of several attributive
forms, such as “... has …” or “… of …”. A designation in an attributive namespace can
subject concept
Definition: concept that provides a context for recognizing designations used to attribute properties to
instances of the concept
Concept Type: role
Example: In the phrase, “each rental’s drop-off date,” the concept ‘rental’ is a subject concept with
respect to recognizing the designation ‘drop-off date’ representing a role in a verb concept that
relates a rental to its drop-off date.
Example: In the phrase, “an assigned rental,” the concept ‘rental’ is a subject concept with respect to
recognizing the designation ‘assigned’ representing a characteristic attributable to rentals
(‘rental is assigned’).
language
Definition: system of arbitrary signals (such as voice sounds or written symbols) and rules for combining
them as used by a nation, people, or other distinct community
Source: based on AH
Note: A language can be a natural language or an unnatural one, such as a computer language or a
system of mathematical symbols.
Note: A language is often identified by its name. ISO provides names of many languages in ISO 639-2
(English) and provides short (at most 3 letters) language-independent codes in ISO 639-2
(Alpha-3 Code).
Example: English, French, German, Arabic
Example: Moroccan Arabic (a dialect of Arabic)
Example: Unified Modeling Language (a graphical modeling language)
is for
reference scheme concept
reference 1..*
scheme
simply extensionally
uses uses uses
Figure 8.7
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
reference scheme FL
Definition: chosen way of identifying instances of a given concept
Note: A reference scheme is a way of referring to instances of a concept by way of related things
that are either lexical or are otherwise identifiable. A reference scheme usually uses one or
more verb concept roles of binary verb concepts in order to identify an instance of a concept
from facts about the instance. A reference scheme can also use one or more characteristics.
Note: A reference scheme can be partial or complete. It is complete if it can always be used to
refer to every instance of a concept. An overall complete reference scheme for a concept can
result from there being multiple partial reference schemes for that concept, its more general
concepts, and its categories.
Note: Choice of reference schemes must be based on uniqueness (providing an identifier that refers
to exactly one thing), but it should consider more than uniqueness. It should also consider
permanence – if the actualities considered by the scheme change often, then references can
become invalid. A reference scheme should also not lead into an inescapable reference cycle
where things only identify each other, but should lead either directly or indirectly to an
expression. It should also consider convenience and relevance from a business perspective.
Note: A verb concept role is used in a reference scheme in either of two ways. A simple use of a verb
concept role involves a single instance of the verb concept role in each reference based on the
scheme. An extensional use of a verb concept role involves the entire set of related instances of
the verb concept role in each reference based on the scheme.
Note: A reference scheme implies that there is uniqueness – that whatever facts are used to reference
an individual thing uniquely identify that one thing.
Reference Scheme: the set of verb concept roles that are simply used by the reference scheme and the set
of verb concept roles that are extensionally used by the reference scheme and the set
of characteristics that are used by the reference scheme
8.6 Extensions
Figure 8.8
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
state of affairs FL
Definition: event, activity, situation, or circumstance
Reference Scheme: a proposition that corresponds to the state of affairs
Reference Scheme: an individual noun concept that corresponds to the state of affairs
Necessity: No state of affairs is a proposition
Note: Any representation of a proposition may be used to denote the state(s) of affairs that it
corresponds to. A proposition statement serves as a definite description for the state of affairs
that the proposition corresponds to.
Note: Some general noun concepts have extensions that are states of affairs; for example, the
extension of ‘car being damaged during rental; is the states of affairs of rented cars being
returned from rental damaged. A given state of affairs of this kind can be referenced by an
individual noun concept (based on the general noun concept) such as ‘the car referenced by
VIN xxxxx being damaged during the rental referenced by contract number yyyyyy’.
Note: A state of affairs can be possible or impossible. Some of the possible ones are actualities. A
proposition corresponds to a state of affairs. A state of affairs either occurs or does not
extension FL
Source: ISO 1087-1 (English) (3.2.8) [‘extension’]
Definition: totality of objects [every thing] to which a concept corresponds
Concept Type: role
General Concept: set
instance FL
Definition: thing that is in an extension of a concept
Concept Type: role
Example: The actual City of Los Angeles is an instance of the concept ‘city.’ It is also the one
instance of the individual noun concept ‘Los Angeles.’
The Semiotic/Semantic Triangle is the theoretic basis for SBVR’s linguistics-based architecture in general and for the
fundamental separation of representation (expression) from meanings in SBVR’s architecture. Being a linguisitic-based
standard the instances of concepts are the things in the universe of discourse, i.e., the world of the organization that uses the
SBVR Business Vocabulary, and not concepts in the SBVR model.
is no u n c o n c e pt
eq u a ls is g re a te r t h a n
t hi n g is e q u a l t o is le ss t h a n
e le m e n t
q u an t ity
is in
n um be r
in clu d e s
i n te g e r
ca rd in a lity
set n o n n e g a t i v e i n te g e r
0 ..1
p o s i t iv e i n t e g e r
Figure 8.10
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
thing FL
Source: ISO 1087-1 (English) (3.1.1) [‘object’]
Definition: anything perceivable or conceivable
Note: Every other concept implicitly specializes the concept ‘thing’.
Reference Scheme: an individual noun concept that corresponds to the thing
thing1 is thing2 FL
Definition: The thing1 and the thing2 are the same thing
set FL
Definition: collection of zero or more things considered together without regard to order or repetition
thing is in set FL
Definition: the thing is an element of the set
Synonymous Form: set includes thing
Synonymous Form: set has element
number
Definition: quantity belonging to an abstract mathematical system and subject to laws of succession,
addition, and multiplication
Dictionary Basis: An arithmetical value, expressed by a word, symbol, or figure, representing a particular
quantity and used in counting and making calculations [ODE: “number,” 1]
Note: The ISO 6093 Number Namespace has designations for decimal numbers.
integer FL
Definition: number that has no fractional part
nonnegative integer FL
Definition: integer that is greater than or equal to zero
positive integer FL
Definition: nonnegative integer that is not zero
Semantic formulations are not representations or expressions of meaning. Rather, they are structures of meaning – the logical
composition of meaning.
Business rules are generally expressed in natural language, although some rules are at times illustrated graphically. SBVR does
not provide a logic language for restating business rules in some other language that business people don’t use. Rather, SBVR
provides a means for describing the structure of the meaning of rules expressed in the natural language that business people
use. Semantic formulations are not expressions or statements. They are structures that make up meaning. Using SBVR, the
meaning of a definition or statement is communicated as facts about the semantic formulation of the meaning, not as a
restatement of the meaning in a formal language.
There are two kinds of semantic formulations. The first kind, logical formulation, structures propositions, both simple and
complex. Specializations of that kind are given for various logical operations, quantifications, atomic formulations based on
verb concepts and other formulations for special purposes such as objectifications and nominalizations.
The second kind of semantic formulation is projection. It structures intensions as sets of things that satisfy constraints.
Projections formulate definitions, aggregations, and questions.
Semantic formulations are recursive. Several kinds of semantic formulations embed other semantic formulations. Logic
variables are introduced by quantifications (a kind of logical formulation) and projections so that embedded formulations can
refer to instances of concepts. A logic variable used in a formulation is free within that formulation if it is not introduced
within that formulation. A formulation is closed if no variable is free within it. Only a closed semantic formulation can
formulate a meaning. If a formulation has a variable that is free within it, then it can be part of a larger formulation of a
meaning (one that introduces the variable) but it does not by itself formulate a meaning.
The hierarchical composition of semantic formulations is seen in the following example of a very simple business rule. The
rule is stated in different ways but is one rule having one meaning. Many other statements are possible.
Below is a representation of a semantic formulation of the rule above as sentences that convey the full structure of the rule.
Note that different semantic formulations are possible for the same meaning. Two semantic formulations can be determined to
have the same meaning either by logical analysis or by assertion (as a matter of definition). A single formulation is shown
below.
The rule is a proposition meant by an obligation formulation.
. That obligation formulation embeds a universal quantification.
. . The universal quantification introduces a first variable.
. . . The first variable ranges over the concept ‘rental’.
The indentation in the example shows a hierarchical structure in which a semantic formulation at one level operates on, applies
a modality to, or quantifies over one or more semantic formulations at the next lower level. Each kind of logical formulation,
including modal formulations, quantifications, and logical operations, can be embedded in other semantic formulations to any
depth and in almost any combination.
Within the one atomic formulation in the example are bindings to two variables. The variables are free within the atomic
formulation because they are introduced outside of it (higher in the hierarchical structure). For this reason, the atomic
formulation has no meaning. But the obligation formulation has a meaning (the rule) and so does the universal quantification
within the obligation formulation because both are closed.
Semantic formulations are further exemplified for a simple definition of a characteristic, “driver is of age.”
Definition: the age of the driver is at least the EU-Rent Minimum Driving Age
Below is a representation of a semantic formulation of the definition. Note that different semantic formulations are possible.
A single formulation is shown below.
The characteristic is defined by a projection.
. The projection is on a first variable.
. . The first variable ranges over the concept ‘driver’.
. . The first variable maps to the one role of the characteristic.
. The projection is constrained by a first universal quantification.
. . The first universal quantification introduces a second variable.
. . . The second variable ranges over the concept ‘age’.
. . . The second variable is unitary.
. . . The second variable is restricted by an atomic formulation.
. . . . The atomic formulation is based on the verb concept ‘driver has age’.
. . . . The atomic formulation has a role binding.
. . . . . The role binding is of the role ‘driver’ of the verb concept.
. . . . . The role binding binds to the first variable.
. . . . The atomic formulation has a second role binding.
. . . . . The second role binding is of the role ‘age’ of the verb concept.
. . . . . The second role binding binds to the second variable.
SBVR does not attempt to provide special semantic formulations for tenses or the variety of ways states and events can relate
to each other with respect to time or can be related to times, periods, and durations. However, an objectification is a logical
formulation that enables a state or event indicated propositionally to be the subject or object of other propositions. An
encompassing formulation can relate a state or event indicated using an objectification to points in time, periods, and
durations, or to another state or event (possibly also identified using an objectification) with respect to time (e.g., occurring
after or occurring before). The specific relations of interest can be defined as verb concepts. SBVR’s treatment of time in
relation to states and events allows temporal relations to be defined generically and orthogonally to the many verb concepts
whose extensions change over time.
A propositional nominalization is similar to an objectification. It is a kind of logical formulation that structures the meaning
represented by a mention of a statement or proposition as opposed to a use of it. Other similar types of formulations structure
meanings represented by mention of concepts, questions, and answers. Furthermore, rules about change often involve noun
concept nominalizations, which are special formulations that allow a concept to be a subject or object of a proposition in much
the same way that proposition nominalization allows a proposition to be a subject or object.
Semantic formulations are structures, and as such, are identified structurally as finite directed graphs. The reference schemes
for semantic formulations and their parts take into account their entire structure. In some cases, a transitive closure of a
reference scheme shows partial loops (partial in the sense that only a part of a reference scheme loops back, never all of it).
This approach allows parts of a closed formulation to be identified by what it is in its particular context while, at the same time,
contributing to the unique identity of the formulation that contains it.
____________________________________________________________
semantic formulation
formulates
meaning
Figure 9.1
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
semantic formulation FL
Definition: conceptual structure of meaning
Note: The definitions of several specializations of ‘semantic formulation’ explain what meaning is
formulated. A meaning is directly formulated only for a closed semantic formulation. In the
case of variables being free within a semantic formulation, a meaning is formulated with
respect there being exactly one referent thing given for each free variable.
atomic formulation
closed logical formulation
instantiation formulation
logical operation
formalizes
statement
quantification
projecting formulation
Figure 9.2
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
logical formulation FL
Definition: semantic formulation that formulates a proposition
Necessity: Each logical formulation is an instance of exactly one logical formulation kind.
Figure 9.3
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
variable FL
Definition: reference to an element of a set, whose referent may vary or is unknown
Note: The set of referents of a variable is defined by the two verb concepts ‘variable ranges over
concept’ and ‘logical formulation restricts variable’. The set is limited to instances of the
concept, if given. If the variable is restricted by a logical formulation, the set is further limited
to those things for which the meaning formulated by that logical formulation is true when the
thing is substituted for each occurrence of the variable in the formulation. If there is no
concept and no restricting logical formulation the set includes every thing.
Necessity: Each variable ranges over at most one concept.
Necessity: Each variable is restricted by at most one logical formulation.
Reference Scheme: a quantification that introduces the variable and the set of concepts that are ranged
over by the variable and the set of logical formulations that restrict the variable and
whether the variable is unitary
variable is unitary FL
Definition: the variable is meant to have exactly one referent in the context where the variable is
introduced
Note: This characteristic is used particularly in the formulation of definite descriptions.
If a set projection is on one variable and that variable is unitary, then the projection is meant to
have exactly one result. For any other projection on a unitary variable, the projection is meant
to have one referent for that variable for each combination of referents of other variables
(including auxiliary variables) in the same projection.
1. the unitary variable has exactly one referent, an instance of the concept, for which the
restricting logical formulation is satisfied.
1. the variable has at least one referent, an instance of the concept, for which the restricting
logical formulation is satisfied.
2. the logical formulation that the exactly-one quantification scopes over is satisfied for
exactly one referent from 1 above.
Example: Given the individual noun concept ‘London-Heathrow Branch’ defined as “the EU-Rent
branch located at London-Heathrow Airport,” the definition can be formulated as a projection
on a variable that ranges over the concept ‘EU-Rent branch’. The variable is unitary indicating
the sense of the definite article “the.” Based on this formulation, the concept ‘London-
Heathrow Branch’ is understood to be an individual noun concept. If the variable is not made
unitary, then the formulation captures only the characteristic of being located at London-
Heathrow Airport without any indication of the intended meaning that there is exactly one such
branch.
Example: A sensible projection formulating “the renter of a given rental” is on a unitary variable (renter)
and has an auxiliary variable (rental). The rental variable being unitary indicates there is
exactly one renter for each rental. But a set projection formulating “renter of at least one
rental” is not on a unitary variable because the variable for rental is introduced within the
logical formulation that constrains the projection and not by the projection itself. The
projection result can include multiple renters and does not relate these to particular rentals.
Example: A possible formulation of the rule, “The pick-up location of each rental must be a EU-Rent
branch,” has a variable for ‘pick-up location’ that is unitary with respect to each rental as
indicated by the use of the definite article “the.” The possible formulation is an obligation
formulation that embeds a universal quantification introducing a variable ranging over the
concept “rental” and that embeds a second universal quantification introducing a second
variable which is restricted by an atomic formulation based on the verb concept ‘rental has
pick-up location’. That second variable is unitary indicating that exactly one pick-up location
is meant for each rental. The second universal quantification scopes over a formulation of the
pick-up location being a EU-Rent branch. The overall formulation applies the obligation
formulation to the pick-up location being a EU-Rent branch. It does not apply the obligation
formulation to there being one pick-up branch per rental, which is understood structurally as
what is meant in the expression of the rule and not part of the obligation.
Note that if the universal quantifications of the formulation above are reversed such that a
quantification introducing the variable for ‘pick-up location’ embeds the quantification
introducing the variable for ‘rental’, then the variable for ‘pick-up rental’ is not unitary because
it would have multiple referents (one for each distinct pick-up location). Such a formulation
would not properly capture the sense of the rule statement.
bindable target FL
Definition: variable, expression or individual noun concept
Example: “The logo is inscribed on each EU-Rent vehicle.” This example is the same as
the one above except that the ‘expression’ role is bound to the logo .
is based on
atomic formulation verb concept
underlies 1
1
occurs
in
role
binding binds to
references
role binding bindable target
1
role
binding
Figure 9.4
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
atomic formulation FL
Definition: logical formulation that is based on a verb concept and that has a role binding of each role
of the verb concept and that formulates the meaning: there is an actuality that involves in
each role of the verb concept the thing to which the bindable target of the corresponding
role binding refers
Concept Type: logical formulation kind
Necessity: Each atomic formulation is based on exactly one verb concept.
Reference Scheme: the set of role bindings of the atomic formulation
Note: The meaning invoked by an atomic formulation puts each referent of each role binding in its
respective verb concept role. Where a verb concept role ranges over some general concept,
that meaning implies (as a separate secondary meaning) that the referent of the role binding for
that role is an instance of the general concept.
Example: “EU-Rent purchases from General Motors Company.”
The statement is formulated by an atomic formulation.
. The atomic formulation is based on the verb concept ‘company purchases from vendor’.
. The atomic formulation has a first role binding.
. . The first role binding is of the role ‘company’ of the verb concept.
. . The first role binding binds to the individual noun concept ‘EU-Rent’.
. The atomic formulation has a second role binding.
. . The second role binding is of the role ‘vendor’ of the verb concept.
. . The second role binding binds to the individual noun concept ‘General Motors Company’.
role binding FL
Definition: connection of an atomic formulation to a bindable target
Necessity: Each role binding occurs in exactly one atomic formulation.
Necessity: Each role binding is of a role of the verb concept that underlies the atomic formulation
that has the role binding.
Necessity: Each role binding binds to exactly one bindable target.
Necessity: Each role binding is of exactly one verb concept role.
Necessity: Each variable that is referenced by a role binding of an atomic formulation is free
within the atomic formulation.
Reference Scheme: the bindable target that is referenced by the role binding and the verb concept role that
has the role binding
co n sid e r s
in s t a n t ia t i o n f o rm u l a t i o n c o nc e p t
1
b in d s t o
b i n d a b le t a rg e t
is b o u n d to 1
Figure 9.5
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
instantiation formulation FL
Definition: logical formulation that considers a concept and binds to a bindable target and that
formulates the meaning: the thing to which the bindable target refers is an instance of the
concept
Concept Type: logical formulation kind
Necessity: Each instantiation formulation considers exactly one concept.
Necessity: Each instantiation formulation binds to exactly one bindable target.
lo g ic a l f o rm u l a t i o n
1
is e m b e d d e d in
e m b e ds
m o d a l f o r m u la t i o n
ne c e s s i ty o b l ig a t i o n p er m i ss i b il it y p o s s i b i li t y
f o rm u la t io n f o rm u la t io n f o rm u l a t i o n f o r m u la t i o n
Figure 9.6
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
modal formulation FL
Definition: logical formulation that formulates that the meaning of another logical formulation has a
particular relationship to possible worlds or to acceptable worlds
Necessity: Each modal formulation embeds exactly one logical formulation.
Necessity: Each variable that is free within a logical formulation that is embedded in a modal
formulation is free within the modal formulation.
necessity formulation FL
Definition: modal formulation that formulates that the meaning of its embedded logical formulation is
true in all possible worlds
Concept Type: logical formulation kind
Reference Scheme: the logical formulation that is embedded in the necessity formulation
obligation formulation FL
Definition: modal formulation that formulates that the meaning of its embedded logical formulation is
true in all acceptable worlds
Concept Type: logical formulation kind
Reference Scheme: the logical formulation that is embedded in the obligation formulation
Example: A rental may be open only if an estimated rental charge is provisionally charged for the rental".
The same rule can be stated this way: “It is prohibited that a rental is open if an estimated
rental charge is not provisionally charged for the rental.”
Both statements can be formulated in the same way:
possibility formulation FL
Definition: modal formulation that formulates that the meaning of its embedded logical formulation is
true in some possible world
Concept Type: logical formulation kind
Reference Scheme: the logical formulation that is embedded in the possibility formulation
logic al operand 1
{su b s e ts lo g i ca l o p e r a n d } 1
lo g ical n eg ati on bi n ary l o gi cal o per atio n
logic al operand 2
{su b s e ts lo g i ca l o p e r a n d } 1
co nj u nct io n
d i sju n ctio n
also: i n clu sive di sju n cti on
eq ui valen ce
also: m ateri al eq u i val en ce
n an d fo rm u l ati on
n o r fo rm u l atio n
consequent
{e q u a l sl o g i ca l o p e ra n d 1 } 1
wh eth er- or -n o t f or m u lat io n
inconsequent
{e q u a l sl o g i ca l o p e ra n d 2 } 1
Figure 9.7
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
logical operation FL
Definition: logical formulation that formulates a meaning based on only the truth or falseness of the
meanings of one or more other logical formulations (its logical operands)
Necessity: Each logical operation has at least one logical operand.
Necessity: Each variable that is free within a logical operand of a logical operation is free within
the logical operation.
logical operand FL
Definition: logical formulation upon which a given logical operation operates
Concept Type: role
logical operand 1 FL
Definition: logical operand that is the first of at least two operands to a logical operation
Concept Type: role
Necessity: Each logical operation has at most one logical operand 1.
logical operand 2 FL
Definition: logical operand that is the second of at least two operands to a logical operation
Concept Type: role
Necessity: Each logical operation has at most one logical operand 2.
conjunction FL
Definition: binary logical operation that formulates that the meaning of each of its logical operands is
true
Concept Type: logical formulation kind
Reference Scheme: the logical operand 1 of the conjunction and the logical operand 2 of the conjunction
disjunction FL
Definition: binary logical operation that formulates that the meaning of at least one of its logical
operands is true
Concept Type: logical formulation kind
Synonym: inclusive disjunction
Reference Scheme: the logical operand 1 of the disjunction and the logical operand 2 of the disjunction
equivalence FL
Definition: binary logical operation that formulates that the meaning of its logical operands are either
all true or all false
Concept Type: logical formulation kind
exclusive disjunction FL
Definition: binary logical operation that formulates that the meaning of one logical operand is true and
the meaning of the other logical operand is false
Concept Type: logical formulation kind
Reference Scheme: the logical operand 1 of the exclusive disjunction and the logical operand 2 of the
exclusive disjunction
implication FL
Definition: binary logical operation that operates on an antecedent and a consequent and that
formulates that the meaning of the consequent is true if the meaning of the antecedent is
true
Concept Type: logical formulation kind
Synonym: material implication
Necessity: Each implication has exactly one antecedent.
Necessity: Each implication has exactly one consequent.
Reference Scheme: the antecedent of the implication and the consequent of the implication
antecedent FL
Definition: logical operand that is the condition considered by a logical operation such as an
implication (e.g., what is meant by the p in “if p then q”)
Concept Type: role
consequent FL
Definition: logical operand that is the implied or result operand to a logical operation such as an
implication (e.g., what is meant by the q in “if p then q”)
Concept Type: role
logical negation FL
Definition: logical operation that has exactly one logical operand and that formulates that the meaning
of the logical operand is false
Concept Type: logical formulation kind
Necessity: Each logical negation has exactly one logical operand.
Reference Scheme: the logical operand of the logical negation
nor formulation FL
Definition: binary logical operation that formulates that the meaning of each of its logical operands is
false
Concept Type: logical formulation kind
Reference Scheme: the logical operand 1 of the nor formulation and the logical operand 2 of the nor
formulation
whether-or-not formulation FL
Definition: binary logical operation that has a consequent and an inconsequent and that formulates
that the meaning the consequent is true regardless of the meaning the inconsequent
Concept Type: logical formulation kind
Necessity: Each whether-or-not formulation has exactly one consequent.
Necessity: Each whether-or-not formulation has exactly one inconsequent.
Reference Scheme: the consequent of the whether-or-not formulation and the inconsequent of the
whether-or-not formulation
inconsequent FL
Definition: logical operand that is an operand irrelevant to the logical result of a logical operation such
as of a whether-or-not formulation
Concept Type: role
logical fo rmulation
0..1 scope formulation
scopes
over
introduces
quan tification variable
0..1 1
universal q uantificatio n
at-least-n q uantification
existential quantification
at-most-one q uantification
exactly-n q uantificatio n
Figure 9.8
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
quantification FL
Definition: logical formulation that introduces a variable and that has either the meaning: all referents
of the variable satisfy a scope formulation; or the meaning: a bounded number of referents of
the variable exist and satisfy a scope formulation, if there is one
Note: A referent of the introduced variable satisfies a scope formulation if the meaning formulated by
the scope formulation is true with every occurrence of the variable interpreted as referring to
the referent.
Note: If a quantification scopes over no logical formulation, the meaning is that the bounded number
of referents exist.
Note: Quantifications other than universal quantification and existential quantification involve
cardinalities in a way that requires distinguishability of the things a variable refers to - a means
universal quantification FL
Definition: quantification that scopes over a logical formulation and that has the meaning: for each
referent of the variable introduced by the quantification the meaning formulated by the
logical formulation for the referent is true
Concept Type: logical formulation kind
Necessity: Each universal quantification scopes over a logical formulation.
Reference Scheme: the logical formulation that is scoped over by the universal quantification and the
variable that is introduced by the universal quantification
existential quantification FL
Definition: at-least-n quantification that has the minimum cardinality 1
Note: An existential quantification, unlike other at-least-n quantifications, does not require
distinguishability of referents.
Reference Scheme: the set of logical formulations that are scoped over by the existential quantification and
the variable that is introduced by the existential quantification
maximum cardinality FL
Definition: nonnegative integer that is an upper bound in a quantification (such as an
at-most-n quantification)
Concept Type: role
minimum cardinality FL
Definition: nonnegative integer that is a lower bound in a quantification (such as an
at-least-n quantification)
Concept Type: role
at-least-n quantification FL
Definition: quantification that has a minimum cardinality and that has the meaning: the number of
referents of the variable introduced by the quantification that exist and that satisfy a scope
formulation, if there is one, is not less than the minimum cardinality, and if the minimum
cardinality is greater than one, the referents are distinct logical formulation kind
Note: For a minimum cardinality of 1, distinctness of referents is irrelevant.
Necessity: Each at-least-n quantification has exactly one minimum cardinality.
Necessity: The minimum cardinality of each at-least-n quantification is a positive integer.
Reference Scheme: the minimum cardinality of the at-least-n quantification and the set of logical
formulations that are scoped over by the at-least-n quantification and the variable that
is introduced by the at-least-n quantification
at-most-one quantification FL
Definition: at-most-n quantification that has the maximum cardinality 1
Note: A number of referents is at most one if and only if every referent is the same referent.
Reference Scheme: the set of logical formulations that are scoped over by the at-most-one quantification
and the variable that is introduced by the at-most-one quantification
exactly-n quantification FL
Definition: quantification that has a cardinality and that has the meaning: the number of referents of the
variable introduced by the quantification that exist and that satisfy a scope formulation, if
there is one, equals the cardinality
Necessity: Each exactly-n quantification has exactly one cardinality.
Necessity: The cardinality of each exactly-n quantification is a positive integer.
Reference Scheme: the cardinality of the exactly-n quantification and the set of logical formulations that
are scoped over by the exactly-n quantification and the variable that is introduced by
the exactly-n quantification
Note: An exactly-n quantification is logically equivalent to a conjunction of an at-least-n
quantification and an at-most-n quantification using the cardinality as minimum
cardinality and maximum cardinality respectively.
exactly-one quantification FL
Definition: exactly-n quantification that has the cardinality 1
Note: A number of referents is exactly one if and only if there is a referent and every referent is that
same referent.
Concept Type: logical formulation kind
Reference Scheme: the set of logical formulations that are scoped over by the exactly-one quantification
and the variable that is introduced by the exactly-one quantification
9.3.7 Objectifications
lo g ic a l f o r m u la t io n
1
c o n s id e r s
o b j e c t i f ic a t io n
bin d s to
b in d a b le t a rg e t
is b o u n d t o 1
Figure 9.9
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
projection
projection
1
binds to
projecting formulation bindable target
is bound to 1
aggregation formulation
question nominalization
answer nominalization
Figure 9.10
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
aggregation formulation FL
Definition: projecting formulation that formulates the meaning: the thing to which the bindable target
bound to the projecting formulation refers is the result of the projection of the projecting
formulation
Note: The aggregation formulation is used primarily to associate a variable with a set of things,
involvements, or actualities that satisfy some condition. That is, it formulates natural language
expressions of the form: “let <variable> be the set of all things t such that <some condition
involving t>,” so that <variable> can then be used in other formulations regarding the set. The
<condition involving t> often includes some free variable introduced in the context in which
the formulation is used.
Concept Type: logical formulation kind
Necessity: The projection of each aggregation formulation is on exactly one variable.
Reference Scheme: the bindable target that is bound to the aggregation formulation and the projection of
the aggregation formulation
Example: “The number of rental cars stored at a given branch must not exceed the car storage capacity of
the branch.” This example considers the number of elements in a set (the set of rental cars
stored at a branch). The projection of an aggregation formulation is used to define that set, and
the aggregation formulation restricts the third variable below so that its referent is that set.
The statement is formulated by an obligation formulation.
. The obligation formulation embeds a first universal quantification.
. . The first universal quantification introduces a first variable.
. . . The first variable ranges over the concept ‘branch’.
. . The first universal quantification scopes over a second universal quantification.
. . . The second universal quantification introduces a second variable.
. . . . The second variable ranges over the concept ‘number’.
. . . . The second variable is unitary.
. . . . The second variable is restricted by a third universal quantification.
. . . . . The third universal quantification introduces a third variable.
l o g i c a l f o r m u l a t io n
1
c o n s id e r s
p ro p o s i t i o n n o m in a li z a t i o n
b i nd s t o
b i n d a b le t a r g e t
is b o u n d t o 1
Figure 9.11
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
question nominalization
Definition: projecting formulation that formulates the meaning: the thing to which the bindable target
bound to the projecting formulation refers is the question that is meant by the projection of
the projecting formulation
Concept Type: logical formulation kind
Note: See ‘closed projection means question’ for an explanation and examples of how questions
are formulated.
Note: A closed projection means at most one question. In the case of variables being free within a
projection, the projection is considered to mean a question only in the context of there being a
referent thing given for each free variable.
Reference Scheme: the bindable target that is bound to the question nominalization and the projection of
the question nominalization
Example: “An agent asks each customer what car model the customer prefers”.
The statement is formulated by a universal quantification.
. The quantification introduces a first variable.
. . The first variable ranges over the concept ‘customer’.
. The quantification scopes over an existential quantification.
. . The existential quantification introduces a second variable.
. . . The second variable ranges over the concept ‘agent’.
. . The existential quantification scopes over a second existential quantification.
. . . The second existential quantification introduces a third variable.
. . . . The third variable ranges over the concept ‘question’.
. . . . The third variable is restricted by a question nominalization.
. . . . . The question nominalization binds to the third variable.
. . . . . The question nominalization considers a projection.
. . . . . . The projection is on a fourth variable.
. . . . . . . The variable ranges over the concept ‘car model’.
. . . . . . The projection is constrained by an atomic formulation.
. . . . . . . The atomic formulation is based on the verb concept ‘person prefers car model’.
. . . . . . . . The ‘person’ role is bound to the first variable.
. . . . . . . . The ‘car model’ role is bound to the fourth variable.
. . . The second existential quantification scopes over an atomic formulation.
. . . . The atomic formulation is based on the verb concept ‘person1 asks person2 question’.
. . . . . The ‘person1’ role is bound to the second variable.
. . . . . The ‘person2’ role is bound to the first variable.
. . . . . The ‘question’ role is bound to the third variable.
9.4 Projections
maps to
verb concept role
0..1
projection
variable 0 ..1
logical formulation variable positive integer
1..* projection
0..1 constraining position
formulation is in
is on
constrains 1
projection auxiliary variable
auxiliary
variable
closed projection
formalizes
definition
defines
noun concept
0..1
defines
verb concept
0..1
means
question
0..1
Figure 9.12
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
projection FL
Definition: semantic formulation that introduces one or more variables corresponding to involvements
in actualities and that is possibly constrained by a logical formulation and that projects one
or more of those variables
Necessity: Each projection is on at least one variable.
Necessity: Each projection is constrained by at most one logical formulation.
That is, the basic meaning of a projection is a verb concept in which all of the variables
introduced by the projection correspond to roles. The basic meaning corresponds to actualities
for which the following proposition holds:
t1 is a valid referent of v1
[ AND t2 is a valid referent of v2
...
AND tn is a valid referent of vn ]
[ AND S(t1, ..., tn) ]
where v1, ..., vn are the variables introduced by the projection, t1, ..., tn are things, and S(t1, ...,
tn) is the proposition formulated by the logical formulation that constrains the projection, if
any, with those things substituted for the occurrences of the corresponding variables.
The meaning of a projection in some uses, however, can be restricted to refer to the
involvements of the things in the roles (denoted by the projection variables) in those
actualities, or to the things that have those involvements.
Note: Projections introduce variables in two ways: projection variables (variables that the projection
‘is on’) and auxiliary variables. Both correspond to involvements in the actualities that
correspond to the basic meaning, but the result of a projection includes only the involvements
that correspond to the projection variables. Auxiliary variables are used in selecting the
actualities that correspond to the projection, but are not part of the intent of the projection
itself.
auxiliary variable FL
Definition: variable that is introduced by a projection, but which is left out of the result of the projection
thereby giving the possibility of duplicate results
Necessity: Each auxiliary variable is of exactly one projection.
Reference Scheme: a projection that has the auxiliary variable and a projection position of the auxiliary
variable and the set of concepts that are ranged over by the auxiliary variable and the
set of logical formulations that restrict the auxiliary variable and whether the auxiliary
variable is unitary
projection position FL
Definition: positive integer that distinguishes a variable introduced by a projection from others
introduced by the same projection
Concept Type: role
bag projection FL
Definition: projection that has an auxiliary variable
Note: A bag projection treats the resulting set of actualities as a set of the corresponding
involvements of referents of the projection variables in roles in those actualities. A thing that
participates in those involvements may participate in more than one involvement and therefore
have multiple “occurrences” in the projection result. In many cases, the use of the projection
reduces the set of involvements to the set of things involved (and ignores the fact of multiple
occurrence). But in some cases the distinguished involvements/occurrences are important.
Example: A projection formalizing the expression, “account balances of customers that are preferred,” is
on a variable (account balance) and has an auxiliary variable (customer). Only balances are
in the result, but there can be duplicates where multiple customers have the same balance.
closed projection FL
Definition: projection that is a closed semantic formulation
Example: A projection formalizing the expression, “customers that are preferred,” is closed – there is no
variable that is not introduced. But within a formulation of the expression, “Each branch must
report the number of car models offered by the branch,” the projection of “car models offered
by the branch” is open because it binds to a variable (branch) that is introduced outside of the
projection.
Note that definition of these nouns (underlined above) is outside the scope of SBVR.
However, the concept ‘cause’ is a role that ranges over the concept ‘actuality’ so an answer to
a ‘why’ question is often formulated using an objectification (the last example under
‘objectification’ considers one actuality as a cause of another).
Note: A true/false question is typically nominalized using the interrogative operator ‘whether’ as in
“The customer asked whether a car is available,” but is asked (in English) with no such
operator: “Is a car available?”. The meaning of ‘whether’ in this context is “What truth-value
does this proposition have?”. The formulation of such a question is a projection on a variable
that ranges over a characteristic type (here called ‘truth-value’) whose instances are the
characteristics ‘proposition is true’ and ‘proposition is false’. The projection is constrained
by the truth-value being that of the proposition “a car is available” formulated using
proposition nominalization.
Example: “Is a car available”?
The question is meant by a closed projection.
. The projection is on a unitary variable.
. . The variable ranges over the concept ‘truth-value’.
. The projection is constrained by a universal quantification.
. . The universal quantification introduces a second unitary variable.
Sub clause 10.1 provides a formal semantics for the concepts in the SBVR Vocabularies in Clauses 7, 8, 9, 11, and 12. Clause
10.3 provides the mapping of the concepts in the SBVR Vocabularies in Clauses 7, 8, 9, 11, and 12 to ISO Common Logic and
to OWL/ODM.
10.2.1.1 Introduction
A conceptual model includes both a conceptual schema and a population of facts that conform to the schema. A conceptual
model may cover any desired time span, and contain facts concerning the past, present, or future. This notion is distinct from
changes made to a conceptual model. Any change to a conceptual model, including any change to any fact in the fact
population, creates a different conceptual model. Each conceptual model is distinct and independent, although there may be
relationships between conceptual models that share the same conceptual schema.
‘Facts’ are one of the primary building blocks of the formal interpretation of SBVR presented here. A ‘Ground Fact’ is of a
particular ‘Fact Type.’ The lowest level logical unit in SBVR – an ‘Atomic Formulation’ – is a logical formulation based
directly upon a verb concept, involving no logical operation. An atomic formulation may be considered as an invocation of a
predicate.
The formal interpretation of SBVR presented here makes no distinction about how facts are known: for example, whether they
are asserted as 'ground facts' or obtained by inference. Inferences can be performed within a particular fact model. The formal
interpretation of SBVR presented here does not define any kind of inference that can be made between fact models.
Control over the order in which inferences can be made is a common feature in the automation of inference, as found, for
example, in rules engines. SBVR deals with declarative rules expressed from a business perspective. Transitions between fact
models and the mechanization of those rules in an automated system are outside the scope of SBVR.
Closed-world assumptions are often used in automated systems, such as the well-known ‘negation by failure’ in the Prolog
language. The business orientation of SBVR makes it natural to assume open-world semantics by default. For example, if we
assume that ‘Customers’ have some unary fact such as ‘Credit OK’ then we cannot assume anything like ‘Credit not OK’ in
the absence of this fact. The formal interpretation of SBVR presented here permits fact types to be explicitly identified as
closed where this makes business sense. For example, it may be appropriate to infer ‘Credit not OK’ for a subset of customers
identified as ‘Credit-Checked Customers’ in the absence of a ‘Credit OK’ fact.
The detailed definition of SBVR uses the vocabulary defined in SBVR – in other words, SBVR is defined in terms of itself.
This inevitably makes the SBVR vocabularies higher order, but this does not force any modeler to produce exclusively higher-
The SBVR (Semantics of Business Vocabulary and Business Rules) vocabularies are used to describe business vocabularies
and business rules that may be expressed either informally or formally. Business rule expressions are classified as formal only
if they are expressed purely in terms of noun concepts and verb concepts, as well as certain logical/ mathematical operators,
quantifiers, etc. The following discussion of business rule semantics is confined to formal statements of business rules. (A
closer definition of terms is given as needed later throughout this clause.)
The rest of this clause is structured as follows. 10.2.1.2 provides some basic background and terminology, explaining our
usage of terms such as “schema,’ “model,” and “fact.” 10.2.1.3 reviews the approach to choosing open or closed world
semantics. 10.2.1.4 provides an overview of the use of quantifiers as well as alethic or deontic modal operators in specifying
business rules. 10.2.1.5 and 10.2.1.6 respectively discuss the formal semantics for static, alethic constraints and static, deontic
constraints. 10.2.1.7 considers derivation rules. 10.2.1.8 examines dynamic constraints. 10.2.1.9 reviews the option for using
higher-order logic.
For any given business, the “universe of discourse” indicates those aspects of the business that are of interest. The term
“business domain” is commonly used in the modeling community, with equivalent meaning. A “model,” in the sense used
here, is a structure intended to describe a business domain, and is composed of a conceptual schema (fact structure) and a
population of ground facts (see later). A fact is a proposition taken to be true by the business. Population facts are restricted to
elementary and existential facts (see later).
Instantiated roles of facts refer to individuals (such as “Employee 123” or “the sales department”). These individuals are
considered as being of a particular type (such as “Employee” or “Department”) where type denotes “set of possible
individuals.”
SBVR’s ‘general concept’, ‘individual noun concept’ and ‘verb concept’ are three kinds of concept (unit of knowledge created
by a unique combination of characteristics [per ISO-1087-1]). Each is a kind of meaning – respectively, the meaning of an
improper noun phrase, the meaning of a proper noun and the meaning of a verb phrase in the context of a declarative sentence.
Instances of verb concepts are actualities that involve things that exist in the universe of discourse. These instances are not
propositions. In contrast, the logical underpinnings of these three kinds of concepts are ‘type of individual’, singleton ‘type of
individual’, and ‘fact type’, respectively.
• General concepts logically map to types of individual. Each type of individual is a set of possible instances of the
general concept according to a set of possible existential facts that can be formulated based on reference schemes.
• Individual noun concepts logically map to singleton types of individuals. Each single type of individual has exactly
one element, which is the instance of the individual noun concept.
Verb concepts map to fact types, each fact type being a set of possible ground facts that can be formulated based on the verb
concept and that use reference schemes to identify, for each fact, each thing that fills each role.
The conceptual schema declares the concepts, fact types (kinds of facts, such as “Employee works for Department”) and rules
relevant to the business domain.
The terms ‘rule’ and ‘business rule,’ in the senses used here, are defined in 12.2.2. Rules are effectively higher-level facts (i.e.,
facts about propositions), and in a loose sense are also sometimes considered under the generic term ‘fact.’ For clarity, the
term “ground fact” is used here to explicitly exclude such (meta) facts.
Static constraint
Each Employee was born on at most one Date
Dynamic constraint
A person’s marital status may change from single to married, but not from divorced to single
Derivation rules indicate how the population of a fact type may be derived from the populations of one or more fact types or
how a type of individual may be defined in terms of other types of individuals and fact types.
Derivation rules
Person1 is an uncle of Person2 if Person1 is a brother of some Person3 who is a parent of Person2,
Each Australian is a Person who is a citizen of Country ‘AU.’
A model of the kind considered here is a fact model, not a process model. The term knowledge base is sometimes used to
reflect this focus (on what is known, as opposed to what must be done). At least two kinds of fact model may be specified:
reality models; and in-practice models. Although both these models use the same set of fact types, they may differ in the
constraints imposed on those fact types. A reality model of a business domain is intended to reflect the constraints that actually
apply to the business domain in the real world. An in-practice model of a business domain reflects the constraints that the
business chooses in practice to impose on its knowledge of the business domain.
Suppose the following two fact types are of interest: Employee was born on Date; Employee has PhoneNumber.
In the real world, each employee is born, and may have more than one phone number. Hence the reality model
includes the constraint “Each Employee was born on at least one Date” and allows that “It is possible that the
same Employee has more than one PhoneNumber.” Now suppose that the business decides to make it
optional whether it knows an employee’s birth date. Suppose also that the business is interested in knowing at
most one phone number for any given employee. In this case, the in-practice model excludes the reality
constraint “Each Employee was born on at least one Date,” but it includes the following constraint that doesn’t
apply in the reality model: Each Employee has at most one PhoneNumber.
Constraint differences between reality and in-practice models have some restrictions (for instance, in-practice uniqueness
constraints need to be at least as strong as the corresponding real world uniqueness constraints, and if a fact type role is
optional in the real world it is optional in the in-practice world, but the converse need not apply).
Reality schemas are sometimes constructed first to help determine in-practice schemas. Although a population may be added
to any schema to form a model, it is common to add populations only to in-practice schemas. So in-practice models are more
common than reality models. The possibility of incomplete knowledge arises for both reality and in-practice models but is
We use the term “fact model” or “knowledge base” in a broad sense. Conceptually, the fact model is represented by a set of
sentences, each of which connotes either a rule or a ground fact. The fact model may be fully automated (as in, say, a database
system), manual (as in, say, a paper record system), or semi-automated. The knowledge may even be stored in human memory
(belonging to the business domain experts who may be collectively regarded as the authoritative source of those business facts
that are of interest). However, the knowledge must ultimately be expressible by sentences communicated between humans.
A fact model is a conceptual model of the business domain, using a suitable high level vocabulary and language that is readily
understood by the business domain experts. Typically this language will be a formal subset of a natural language. In particular,
the language is not a machine-oriented technical language (such as C# or Java) that might be used to implement a system to
enforce at least some of the business rules included in the model. Business domain models are meant to capture the relevant
business rules, not to implement them. Whether a given business rule is implemented at all, or how it might be implemented
(automated, semi-automated, or manual) are not issues here. Typically however, it is expected that many business rules
specified in a business domain model will likely be enforced in an automated way; and in such cases, the rules need to be
formally expressed.
Any fact model passes through a sequence of states, each of which includes a set of ground facts, which are either elementary
or existential. Roughly speaking, an elementary fact is a declaration that an individual has a property, or that one or more
individuals participate in a relationship, where the fact cannot be split into simpler facts with the same individuals (without
information loss).
An elementary fact may be treated as an instantiation of a typed, irreducible predicate of interest to the business, except that
multiple fact type readings using different predicates, possibly based on different orderings of the individuals, are considered
to express the same fact if they mean the same. Individuals are typically denoted by definite descriptions.
The sentences (1) and (2) below express the same fact:
(1) The President named ‘Bill Clinton’ was born in the State that has the State Name ‘Arkansas.’
(2) The State that has the State Name ‘Arkansas’ is the birthplace of the Presedent named ‘Bill Clinton.’
“The President named ‘Bill Clinton’” is treated here as shorthand for “The President who has the President
Name ‘Bill Clinton’” .
Instead of definite descriptions, proper names may be used if they function as individual constants in the business domain.
Lexical individuals denote themselves. Individual constants may also be introduced as abbreviations of definite descriptions.
A fact type may be identified by one or more fact type readings that declare typed predicates.
The Country that has the Country Name 'Ireland' is governed by the President named 'Mary McAleese'
is an instance of the fact type
Country is governed by President
Sub clause 10.2.1 uses initial capitals to denote types of individuals (other styles may be used for this purpose), and in general
allows predicates in mixfix notation.
Each predicate has a fixed arity, so variadic predicates are not supported.
For example, the unary "smokes" predicate in 'Person smokes' is considered to be different from the binary
"smokes" predicate in 'Person smokes Cigar Brand.'
For example, the “has” in 'Person has Disease' is considered to be a different predicate from the "has" in
'Disease has Cure.'
The fact model includes both the conceptual schema and the ground fact population (set of fact instances that instantiate the
fact types in the schema). The conceptual schema includes a generic component and a domain-specific component. The
generic component is common to all conceptual schemas: this includes relevant axioms from logic and mathematics1. The
domain-specific component includes the concept definitions and declarations of the ground fact types and business rules
relevant to the specific business domain.
Trivially, each fact model includes existential facts to declare the existence of generic constants such as numbers, but we
ignore these in our discussion, confining the use of “population” to the domain-specific population of interest. With that
understanding, the fact model at any point in time may be declared as a set of sentences that collectively express the
conceptual schema and the fact population of the domain-specific fact types in the conceptual schema.
Although in practice the conceptual schema may evolve over time (if the business domain changes its structure or scope of
interest) we ignore schema evolution here, treating the conceptual schema as fixed. Schema evolution may be handled as a
metametalevel concern. Model exchange must be enabled between a system supporting SBVR and other systems identified as
desirable targets for interoperability. Any exchange of a fact model takes place at a given point in time, and at that time the
conceptual schema is fixed (later exchanges may be used to update the fact model as required). Also, when a necessity is
originally stated, the intent is that by default the rule should stay in force.
In contrast to the conceptual schema, the (domain-specific) fact population is typically highly variable.
For example, the fact type "Employee works on Project" may initially have no instances, but over time thousands
of employees may be added or removed from various project teams.
Figure 10.1 provides a simplified picture of this situation, indicating that the fact model of sentences expressing population
facts (instances of domain-specific fact types) is a varset (variable-set) whose population at any given time is a set of facts.
Nr
sentences
Conceptual schema
Time
t0 t1 t2 t3 t4
Figure 10.1 - Evolution of the fact model (schema plus ground fact instances)
1. For a detailed discussion of one way to formalize this, see [Halp1989]. A fact model is specified as a set of sentences in a language
based on predicate logic with identity. An interpretation is defined in the usual way (e.g., each predicate symbol maps onto a relation
over the domain of individuals) and a model (not the same as fact model) is an interpretation where all the sentences are true.
Population f8
Facts f7
f5 f6
f4 f5 f4
f3 f3 f4 f3
f2 f2 f2 f2
f1 f1 f1 f1 Time
t0 t1 t2 t3 t4
In treating a fact model as a varset of facts that typically changes over time, we allow facts to be added or deleted
(see Figure 10.2). We might delete a fact because we revise our decision on whether it is (taken to be) true (for instance, we
might discover a mistake), or because we decide that fact is no longer of interest. Now consider the following description by
[Anto2001] of non-monotonic logic.
The term “non-monotonic logic” covers a family of formal frameworks devised to capture and represent defeasible
inference, i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the
right to retract them in the light of further information. Such inferences are called “non-monotonic” because the set of
conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of
the knowledge base itself. This is in contrast to classical (first-order) logic, whose inferences, being deductively valid,
can never be “undone” by new information.
On the surface, it would appear that we are committing to a non-monotonic logic, given that we allow facts to be deleted in
going from one state to another. However it seems reasonable to formalize those business rules that are static constraints in
terms of classical, non-monotonic logic.
For example, we might formalize the static constraint that each person was born on some date as an SBVR
logical formulation of the formula ∀x:Person ∃y:Date x was born on y.
In classifying the rule as a static constraint, we assert that it is true for each state of the fact model, taken individually. This
seems to be enough, from the point of view of exchanging fact models, which always involves just one state at that time. Note
also that the characterization of fact models as variable sets of sentences does not claim that propositions change their truth
value over time. We regard propositions to be atemporal: they are timelessly true or false, so never change their truth value.
For instance, given the static constraint that each person lives in at most one country, we might assert for the
fact model state 1 that Terry lives in Australia, for fact model state 2 we delete “Terry lives in Australia” and add
that Terry lives in Utah, and for fact model state 3 we delete “Terry lives in Utah” and add that Terry lives in
Australia. This does not involve any change in proposition truth values, because different propositions were
being asserted in the different states. Here the verb phrase “lives in” means “currently lives in,” where ‘currently”
may be unpacked into a time-indexed expression that includes the time of that fact model state.
Adopting closed world semantics basically means that all relevant facts are known (either as primitives – not defined in terms
of other things – or derivable). So if a proposition cannot be proved true, it is assumed to be false. This closed world
assumption entails negation by failure, since failure to find a fact implies its negation. Open world semantics allows that some
knowledge may be incomplete; so if a proposition and its negation are both absent, it is unknown whether the proposition is
true.
In modeling any given business domain, attention can be restricted to propositions of interest to that domain. If a proposition
is not relevant to that domain, it is not included as a fact there, but we do not assume it is false; rather we simply dismiss it
from consideration. For any business domain, we have a finite set of types of individuals and fact types (typed predicates), and
any type of individual or fact type outside this set is simply disregarded.
It is a practical issue whether one’s knowledge pertaining to the population of a given fact type is complete or not, since this
may impact how the business derives other facts (e.g., negations) or how it reacts to query results (e.g., whether to treat “not”
as “not the case” or merely “not known to be the case”). So we regard the issue of open/closed world semantics to be relevant
to the fact model itself, not just automated implementations of the fact model.
Many implementations treat “not” in the closed-world sense of either “not known” (as a primitive or derivable fact), i.e.,
negation as failure, or “not known as a primitive fact,” i.e., semi-positive negation. For instance, Prolog-based rule engines
rely on negation by failure, and the “not” in SQL means “not recorded in a base table or derivable in a view.”
SQL example,
Figure 10-3 depicts the relational schema and a sample population for a database fragment used to store the
employee number and name of each employee, as well as the cars they drive (if any).
Suppose we want to know the employee number and name of each employee. In SQL we might formulate this
query as select * from Employee, which returns the three rows of data shown in the Employee table. This result
returns the employee number and name of those employees referenced in the database. Whether this includes
all the employees in the business domain depends on whether the database is complete with respect to the
population of the elementary fact type Employee has EmployeeName. If it is complete, the fact type is closed,
and we may treat the SQL query as equivalent to our intended query about the business domain. If it is not
complete, then the fact type is open, and we may need to take into account that there may be more employees
than listed in the result.
Knowledge about completeness is typically not stored in databases, although in principle it could be. Users typically adopt the
closed world assumption when interpreting data in relational databases. If independently of the database system they know
how complete the data is, they may take that into account in deciding how completely the query results from the database
system relate to the real world of their business domain.
Suppose we want to know the employee number of each employee who does not drive a car for the database
shown in Figure 10-3. In SQL we might formulate this query as select empNr from Employee where empNr
not in (select empNr from Drives). This returns just one employee number (viz. 3). Whether this covers all the
non-driver employees in the business domain depends on whether the population of the two fact types
(Employee has EmployeeName and Employee drives Car) is complete or not. Again, this knowledge about
completeness could be stored in the database, but typically isn’t, in which case users need to rely on their own
knowledge about completeness to decide whether the data returned is complete or not.
Fact types
Employee has Employee Number
Employee has Employee Name
Car has Car Registration Number
Employee drives Car
To consider completeness claims, we can express additional requirements in terms of the fact model populations of types of
individuals and the sequences of fact type roles they play in the population of fact types. A schema, as described earlier, is
useful for clarifying the conditions under which completeness claims may be made.
For any given schema, the business might have complete knowledge about some parts and incomplete knowledge about other
parts. So in practice, a mixture of open and closed world assumptions may apply. We use the term “local closure” (or “relative
closure”) for the application of the closed world assumption to just some parts of the overall schema. One might assume open
world semantics by default, and then apply local closure to specific parts as desired; or alternatively, assume closed world
semantics by default and then apply “local openness.” We adopt the former approach as it seems more realistic when
modeling real business domains.
Closure (i.e., local closure) may be explicitly asserted for any type of individual, on a one-by-one basis, to declare that for
each state the fact model population agrees with that of the population of that type of individual in the actual business domain.
The relevant meta-fact type is: “type of individual is closed.” It may be reasonable to assume closure for types of individual
by default, but it seems unrealistic to assume closure for predicates.
Closure may also be asserted for fact types. Semi-closure is with respect to the fact model population of the types of individual
playing a fact type role in the predicate. If closure has also been declared for these types, then (full) closure also holds for the
fact type (i.e., closure with respect to the domain population of the types of individuals). The relevant meta-fact types are:
“fact type is semi-closed” and “fact type is closed.” The meta-fact type “concept is closed” applies to both types of individuals
and fact types, since both are concepts.
As seen earlier, closure for a fact type is sometimes implied. A functional fact type role is the complete argument of a
uniqueness constraint. For schemas whose functional fact type roles are also functional in the business domain, the following
implications hold. If a predicate includes a mandatory, functional fact type role, then that predicate is semi-closed by
implication (as in the employee name example earlier). This result may be generalized to the case of a mandatory fact type
role that has a frequency constraint of exactly n (although some attribute-based approaches do not deal reliably with various n-
ary cases). If a type of individual has a set of functional fact type roles that are disjunctively mandatory and mutually
For many fact types in a business domain, especially those without functional fact type roles, it is impractical to include all the
negative instances as primitive facts.
For example, for the fact type “Employee drives Car,” there might be many thousands of cars, so one would
normally not explicitly include negated facts such as “Employee 1 does not drive Car ‘AAA246’.”
In some cases however, especially with functional fact type roles or when the population is small, it is practical to include
negated facts as base facts.
Example
To provide a concrete example of the alternative, we can consider the characteristic 'Person smokes,' and three
instances of Person: Fred, Sue, and Tom (for simplicity we will ignore reference schemes and assume that a
person may be identified by their first name).
Assume that we know that Fred smokes. If we use open-world semantics, then it is unknown whether Sue or
Tom smoke. If we apply closed world semantics, then the absence of facts that Sue or Tom smoke entails that
they don't smoke.
If, for each Person, it is known whether that person smokes or not, then we could adopt one of two approaches
to model our business domain.
(a) Use two characteristics, such as 'Person smokes' and 'Person is a nonsmoker,' with an exclusive-or
constraint between the fact types. In other words, a Person must play one fact type role or the other, but cannot
play both.
(b) Use a binary fact type such as 'Person has Smoker Status' where Smoker Status is indicated by some
suitable code such as 'S' or 'NS' (for smoker or nonsmoker respectively), together with the constraint that a
Person has exactly one Smoker Status.
In each of these cases, negated facts are explicitly treated as primitive facts and the predicates are given open
world semantics. Semi-closure is implied because of the constraints.
Now consider a business domain where we know that Fred smokes, and that Sue doesn't smoke, but are
unsure whether Tom smokes. In this case we have three alternative approaches that we could consider.
(a) Use two characteristics, such as 'Person smokes' and 'Person is a nonsmoker,' with an exclusion constraint
between the fact types. In other words, a Person may play one fact type role or the other (but not both) or may
play neither fact type role. For the given scenario, we would have the facts 'Fred smokes,' 'Sue is a nonsmoker'
and no information for Tom.
The above discussion indicates some ways of declaring and inferring various kinds of closure in the underlying fact model,
based on a default, open world semantics. Here, all business rules that are parsed as formal are given a logical formulation
based on the fact types in the underlying model. When people formulate queries on the model population, they may either
adopt whatever closure guarantees are formally captured in the model, or instead informally rely on their own knowledge
about closure to decide whether the data returned is complete or not. Such informal knowledge is outside the fact model, and
does not impact the formal semantics of the logical formulation used in exchanging fact models.
In addition to specifying fact models at a conceptual level, languages may be defined for querying these models directly at a
conceptual level. These may include features such as the ability to specify projections in the scope of negation, as well as
projections in the scope of the “whether-or-not” operator which is used to perform conceptual left outer joins [Bloe1996.
Bloe1997] . Further details are outside the scope of this sub clause.
Static constraints apply to each state of the fact model, taken individually. These may typically be expressed as logical
formulations that are equivalent to formulae in 2-valued, first-order predicate calculus with identity. The 2-valued restriction
applies because the fact types on which the rules are based are elementary (irreducible), so their instances never involve nulls.
For convenience, we can use mixfix notation for predicates, and predefine some numeric quantifiers in addition to ∀ and ∃.
Table 10.1 summarizes the pre-defined quantifiers.
∃1 ∃1x Exactly-one There is exactly one (at least one and at most one) x
quantifier
(n ≥ 1, m ≥ 2) quantifier
The additional existential quantifiers are easily defined in terms of the standard quantifiers.
For example, the exactly-two quantifier ∃2 may be defined as follows. Let x, x1, x2 be individual variables and Φx
be a well formed formula with no free occurrences of x1, x2. Then:
∃2x Φx =df ∃x1∃x2 [Φx1 & Φx2 & x1 ≠ x2 & ∀y(Φy ⊃ (y = x1 ∨ y = x2))]
Definition schemas for the other quantifiers may be found on page 4-11 of [Halp1989].
The rule formulations covered here may use any of the basic alethic or deontic modal operators shown in Table 10.2. These
modal operators are treated as proposition-forming operators on propositions (rather than actions). Other equivalent readings
may be used in whatever concrete syntax is used to originally declare the logical rule (e.g., “necessary” might be replaced by
“required,” and “obligatory” might be replaced by “ought to be the case”). Derived modal operators may also be used in the
surface syntax, but are translated into the basic modal operators plus negation (~).
For example, “It is impossible that p” is defined as “It is not possible that p” (~◊p), and “It is forbidden that p” is
defined as “It is not permitted that p” (Fp =df ~Pp).
contingency ◊p & ~□p It is possible but not necessary ~(~ ◊p v □p) It is neither impossible nor
necessary that p
that p
the negation of ~Op It is not obligatory that p P~p It is permitted that not p
obligation:
non-obligation
the negation of ~Pp It is not permitted that p O~p It is obligatory that not p
permission: It is prohibited that p
prohibition Fp It is forbidden that p
optionality Pp & ~Op It is permitted but not obligatory ~ ( ~Pp v Op) It is neither prohibited nor
that p obligatory that p
Table Legend:
O obligation v or (inclusive-or)
P permission ~ not
Every constraint has an associated modality, determined by the logical modal operator that functions explicitly or implicitly as
its main operator. We can distinguish between positive, negative, and default verbalizations of constraints. In positive
verbalizations, an alethic modality of necessity is often assumed (if no modality is explicitly specified), but may be explicitly
prepended.
We interpret this in terms of possible world semantics, as introduced by Saul Kripke and other logicians in the 1950s. A
proposition is necessarily true if and only if it is true in all possible worlds. With respect to a static constraint declared for a
given business domain, a possible world corresponds to a state of the fact model that might exist at some point in time.
The constraint C1 in the example above means that for each state of the fact model, each instance in the
population of Person is born in at most one country.
A proposition is possible if and only if it is true in at least one possible world. A proposition is impossible if and only if it is
true in no possible world (i.e., it is false in all possible worlds).
In the example above, constraint C1 may be reformulated as the following negative verbalization:
C1” It is impossible that the same Person was born in more than one Country.
In practice, both positive and negative verbalizations are useful for validating constraints with domain experts, especially
when illustrated with sample populations that provide satisfying examples or counter-examples respectively. The approach
described here does not stipulate a high level language for rule verbalization, so many alternative verbalizations may be used.
Many business constraints are deontic rather than alethic in nature. To avoid confusion, we recommend that, when declaring a
deontic constraint, the deontic modality always be explicitly included.
In practice, most statements of business rules include only one modal operator, and this operator is the main operator of the
whole rule statement. For these cases, we simply tag the constraint as being of the modality corresponding to its main
operator, without committing to any particular modal logic. Apart from this modality tag, there are some basic modal
properties that may be used in transforming the original high level expression of the rule into a standard logical formulation.
At a minimum, these include the modal negation rules.
We also make use of equivalences that allow one to move the modal operator to the front of the formula.
For such tasks, we assume that the Barcan formulae and their converses apply, so that □ and ∀ are commutative, as are ◊ and
∃. In other words:
∀x □ Fx ≡ □ ∀xFx
∃x◊Fx ≡ ◊∃xFx
So far, our rule examples have included just one modal operator, which (perhaps after transformation) also turns out to be the
main operator. Ignoring dynamic aspects, we may handle such cases without needing to commit to the formal semantics of any
specific modal logic. The only impact of tagging a rule as a necessity or obligation is on the rule enforcement policy.
Enforcement of a necessity rule should never allow the necessity rule to be violated. Enforcement of an obligation rule should
allow states that do not satisfy the obligation rule, and take some other remedial action: the precise action to be taken is not
specified in SBVR, as it is out of scope. At any rate, a business person ought to be able to specify a deontic rule first at a high
level, without committing at that time to the precise action to be taken if the condition is not satisfied; of course, the action still
needs to be specified later in refining the rule to make it fully operational.
Rule formulations may make use of two alethic modal operators: □ = it is necessary that; ◊ = it is possible that. Static
constraints are treated as alethic necessities by default, where each state of the fact model corresponds to a possible world..
Given the fact type Person was born in Country, the constraint “Each Person was born in at most one Country”
may be captured by an SBVR logical formulation that may be automatically translated to the formula ∀x:Person
∃0..1y:Country x was born in y. This formula is understood to be true for each state of the knowledgebase.
Pragmatically, the rule is understood to apply to all future states of the fact model, until the rule is revoked or
changed. This understanding could be made explicit by prepending the formula with □ to yield the modal
formula □∀x:Person ∃0..1y:Country x was born in y.
For compliance with Common Logic, formulae such as those in the preceding example could then be treated as irregular
expressions, with the modal necessity operator treated as an uninterpreted symbol (e.g., using “[N]” for □). However we leave
this understanding as implicit, and do not commit to any particular modal logic.
For the model theory, we omit the necessity operator from the formula. Instead, we merely tag the rule as a necessity. The
implementation impact of the alethic necessity tag is that any attempted change that would cause the model of the business
domain to violate the constraint must be dealt with in a way that ensures the constraint is still satisfied (e.g., reject the change,
or take some compensatory action).
Typically, the only modal operator in an explicit rule formulation is □, and this is at the front of the rule formulation. This
common case was covered earlier. If an alethic modal operator is placed elsewhere in the rule formulation, we first try to
“normalize” it by moving the modal operator to the front, using transformation rules such as the modal negation rules (~□p ≡
◊~p; ~◊p ≡ □~p) and/or the Barcan formulae and their converses (∀x□Φx ≡ □∀xΦx and ∃x◊Φx ≡ ◊∃xΦx, i.e., □ and ∀ are
commutative, as are ◊ and ∃).
We also allow use of the following equivalences: □□p ≡ □p; ◊◊p ≡ ◊p; □◊□◊p ≡ □◊p; ◊□◊□p ≡ ◊□ p. These hold in S4, but
not in some modal logics, e.g., K or T [Girl2000, p. 35].
To make life interesting, SBVR also allows a single rule formulation to include multiple occurrences of modal operators,
including the nesting of a modal operator within the scope of another modal operator. While this expressibility may be needed
to capture some real business rules, it complicates attempts to provide a formal semantics.
In extremely rare cases, a formula for a static rule might contain an embedded alethic modality that cannot be eliminated by
transformation. For such cases, we could retain the modal operator in the rule formulation and adopt the formal semantics of a
particular modal logic. There are many normal modal logics to choose from (e.g., K, K4, KB, K5, DT, DB, D4, D5, T, Br, S4,
S5) as well as many non-normal modal logics (e.g., C2, ED2, E2, S0.5, S2, S3). For a discussion of these logics, and their
inter-relationships, see [Girl2000] (esp. pp. 48, 82). For SBVR, if we decide to retain the embedded alethic operator for such
cases, we choose S4 for the formal semantics. The possibility of schema evolution along with changes to necessity constraints
may seem to violate S4, where the accessibility relationship between possible worlds is transitive, but we resolve this by
treating such evolution as a metametalevel concern. Alternatively, we may handle such very rare cases by moving the
embedded alethic operators down to domain-level predicates (e.g., is necessary) in a similar fashion to the way we deal with
embedded deontics (see later).
Constraint formulations may make use of the standard deontic modal operators (O = it is obligatory that; P = it is permitted
that) as well as F = it is forbidden that (defined as ~P, i.e., “It is not permitted that”).
If the rule formulation includes exactly one deontic operator, O, and this is at the front, then the rule may be formalized as Op,
where p is a first-order formula that is tagged as obligatory (rather than necessary). For the purposes of this sub clause, this tag
is assigned only the following informal semantics: it ought to be the case that p (for all future states of the fact model, until the
constraint is revoked or changed). The implementation impact is that it is possible to have a state in which the rule is violated
(i.e., not satisfied), in which case some appropriate action (currently unspecified) ought to be taken to help reduce the chance
of future violations.
From a model-theoretic perspective, a model is an interpretation where each non-deontic formula evaluates to true, and the
model is classified as a permitted model if the p in each deontic formula (of the form Op) evaluates to true, otherwise the
model is a forbidden model (though it is still a model). Note that this approach removes any need to assign a truth value to
expressions of the form Op.
For example, suppose the fact type Person is a husband of Person is declared to be many to many, but that
each role of this fact type has a deontic uniqueness constraint to indicate that the fact type ought to be 1:1. The
deontic constraint on the husband fact type role verbalizes as: It is obligatory that each Person is a husband
of at most one Person. This formalizes as O∀x:Person ∃0..1y:Person x is a husband of y, which may be
captured by entering the rule body as ∀x:Person ∃0..1y:Person x is a husband of y and tagging the rule body as
deontic. The other deontic constraint (each wife should have at most one husband) may be handled in a similar
way. A more detailed treatment of this example is included in Annex J.
If a deontic modal operator is embedded later in the rule formulation, we first try to “normalize” the formula by moving the
modal operator to the front, using transformation rules such as p ⊃ Oq .≡. O(p ⊃ q) or deontic counterparts to the Barcan
formulae.
In some cases, a formula for a static rule might contain an embedded deontic modality that cannot be eliminated by
transformation. In this case, we still allow the business user to express the rule at a high level using such embedded deontic
operators, but where possible we transform the formula to a first-order formula without modalities by replacing the modal
operators by predicates at the business domain level. These predicates (e.g., is forbidden) are treated like any other predicate
in the domain, except that their names are reserved, and they are given some basic additional formal semantics to capture the
deontic modal negation rules: it is not obligatory that ≡ it is permitted that it is not the case that (~Op ≡ P~p); it is not permitted
that ≡ it is obligatory that it is not the case that (~Pp ≡ O~p). For example, these rules entail an exclusion constraint between
the predicates is forbidden and is permitted.
This latter approach may also be used as an alternative to tagging a rule body as deontic, thereby (where possible) moving
deontic aspects out of the metamodel and into the business domain model.
The approach to objectification described here works for those cases where a fact (proposition taken to be true) is being
objectified (which covers the usual cases of nominalization, including the EU-Rent Board and current marriage examples
discussed earlier), but it does not handle cases where no factual claim is being made of the proposition.
SBVR is intended to cater for rules that embed possibly non-factual propositions. However, there does not appear to be any
simple solution to providing explicit, formal semantics for such rules.
Alternatively, we could capture the structure of the rule using the current semantic formulation machinery, and then adopt one
of two extremes: (1) treat the rule overall as an uninterpreted sentence, or informal comment, for which humans are to provide
the semantics; (2) translate the semantic formulation directly into higher-order logic, which permits logical formulations
(which connote propositions) to be predicated over. The complexity and implementation overhead of option (2) would seem to
be very substantial.
We could try to push such cases down to first-order logic by providing the equivalent of the semantic formulation machinery
as a predefined package that may be imported into a domain model, and then identifying propositions by means of a structured
logical formulation. But that seems a fudge, because in order to assign formal semantics to such expressions, we must
effectively adopt the higher-order logic proposal mentioned in the previous paragraph.
The formal interpretation of SBVR presented here supports rules for deriving types of individuals (subtype definitions) or fact
types using either ‘if-and-only-if’ (equivalence) formulations for full derivation, or ‘if’ for partial derivation. A subtype may
be fully derived (defined in terms of fact type roles played by its supertype), asserted (without a derivation rule), or partly
derived.
Here is one simple example of each kind of derivation rule, stated first using a high-level textual language, as
described earlier, and then recast as a predicate logic formula. The transformation from a semantic formulation
structure in a high level language into predicate logic is straightforward.
Derivation rule for fully derived subtype:
Each Australian is a Person who was born in Country ‘AU.’
∀x [Australian x ≡ (Person x & ∃y:Country ∃z:CountryCode (x is a citizen of y & y has z & z = ‘AU’))]
Dynamic constraints apply restrictions on possible transitions between business states. The constraint may simply compare
one state to the next.
There are two issues here. First, what transformation rules did we rely on to license the transformation of the rule? It would
seem that we require an equivalence rule such as p ⊃ Oq .≡. O(p ⊃ q). While this formula is actually illegal in some deontic
logics, it does seem intuitively acceptable. At any rate, the preliminary transformation work in normalizing a rule formulation
might involve more than just the Barcan equivalences or their deontic counterparts. In principle, this issue might be ignored
for interoperability purposes, so long as the business domain expert is able to confirm that the final, normalized formulation
(perhaps produced manually by the business rules modeler) agrees with their intended semantics; it is only the final,
normalized formulation that is used for exchange with other software tools.
The second issue concerns the dynamic nature of the rule. While it is obvious how one may actually implement this logical
rule in a database system, capturing the formal semantics in an appropriate logic (e.g., a temporal or dynamic logic) is a harder
task. One possibility is to provide a temporal package that may be imported into a domain model, in order to provide a first-
order logic solution. Another possibility is to adopt a temporal modal logic (e.g., treat a possible world as a sequence of
accessible states of the fact model). It may well be reasonable to defer decisions on formal semantics for dynamic rules to a
later version of the SBVR standard.
Currently, SBVR allows users to either stay with first-order logic, or adopt higher-order logic restricted to Henkin semantics
(e.g., for dealing with categorization types). In general, standard higher-order logic allows quantification over uncountably
many possible predicates (or functions). If D = the domain of individuals, then the range of any unary predicate variable R is
the entire power set P(D) (i.e., the set of all subsets of D), the range of any binary predicate variable is the Cartesian product
P(D) × P(D), and so on for higher arity predicates. If D includes a denumerable (countable infinite, i.e., |D| = ℵ0) set, such as
the natural numbers, then P(D) is uncountably infinite. In contrast, Henkin semantics restricts quantifiers to range over only
individuals and those predicates (or functions) that are specified in the universe of discourse (a.k.a. business domain), where
the n-ary predicates/functions (n > 0) range over a fixed set of n-ary relations/operations. By restricting the ranges of predicate
and function variables, the Henkin interpretation retains certain desirable first-order properties (e.g., completeness,
compactness, and the Skolem-Löwenheim theorems) that are lost in the standard interpretation of higher-order logic.
Common Logic adopts the Henkin restriction on quantifier ranges, but does not adopt the Axiom of Comprehension, which
states that for each property there exists a set of elements having that property, i.e., for any formula φ(x) where x (possibly a
vector) is free in φ, ∃A∀x[x ∈ A ≡ φ(x)]. The intent of the Comprehension axiom (to ensure that every formula specifies a set)
may also be achieved by using lambda abstraction to name the set, e.g., λx.φ(x), which is equivalent to the set comprehension
{x| φ(x)}. The Axiom of Comprehension leads to Russell’s paradox (substituting x ∉ x for φ(x) generates a contradiction since
{x| x ∉ x} is simultaneously a member of itself and not a member of itself). The paradox may be avoided either by rejecting
Here we use set comprehensions (in a restricted sense) to define projections on schema path expressions, as a way to specify
result sets.
For example, given the fact type Employee(EmpNr) works for Company(Name), the query “Who works for
Microsoft?” corresponds to the following set comprehension:
{x:Employee | ∃ y:Company; z:CompanyName (x works for y & y has z & z = ‘Microsoft’)}
The formal semantics of such conceptual queries is based on that of the Conquer language, which provides a
sugared version of sorted finitary first-order logic with set comprehension [Anto2001].
The use here of set comprehension is quite restricted. Any expression we use to define a set must ultimately be expressible
only in terms of some basic logical operators (e.g., &) as well as predefined ground fact types which must be either elementary
or existential. Hence we adopt a limited version of the axiom of comprehension. Common Logic is open to extensions that
adopt restricted versions of the comprehension axiom. To avoid Russell’s paradox, we treat formulae such as x ∉ x as illegal.
The “is an instance of” predicate caters for set membership, but is constrained to be irreflexive, and the formation rules do not
permit expressions of the form x ∈ x – in other words, we cannot make statements involving self-membership. We do not
adopt a type theory such as Russell’s type theory, where each set may belong only to a set of a higher type.
The decision on whether to use higher-order types mainly impacts the following three aspects of fact modeling: categorization
schemes, un-normalized structures, and crossing levels/metalevels within the same model. In [Halp2004], some ways are
suggested to avoid higher-order types, by treating types as intensional individuals whose instances may sometimes be in 1:1
correspondence (but not identical) to subtypes, by requiring subtype definitions to be informative, by remodeling (including
demotion of metadata to data), and by treating types as individuals in separate models. For further discussion, see [Halp2004].
___________________________________________________
acceptable world
Definition: any state (situation) of some given universe of discourse (domain) that is implicitly
characterized, by someone with legal authority over that domain, as consistent with some set of
goals of that authority pursued by exercise of that authority
alethic modality
Source: CDP
Definition: Historically, any of the five central ways or modes in which a given proposition might be true
or false: necessity (and non-necessity), possibility (and impossibility), and contingency
Note: (1) Although these “modes” have historically been thought of as ways in which a proposition
might be true, we think of them as ways in which one might think of the truth of a proposition:
e.g., that a proposition be qualified with the alethic modality “necessity” does not imply it is a
fact, but only signifies that the semantic community is considering it (takes it to be)
necessarily true. For some issues arising from the former approach, cf. CDP, s.v. intensional
logic. For a thorough critique of it, see PEIL. The four “modal negation equivalences” (MLP,
p. 3), such as □p ≡ ∼◊∼p, still hold under the latter approach (cf. LEVS, p. 135), which is the
more useful one in the fields of linguistic semantics and linguistic pragmatics.
Note: (2) The four alethic modalities which we consider most basic, and to which the four “modal
negation equivalences” (MLP, p. 3) apply, are necessity, possibility, and their respective
negations (non-necessity and impossibility). We also define a fifth modality, contingency
for the idea “neither impossible nor necessary.” (CDP)
Note: (3) Alethic modal logic differs from deontic modal logic in that the former deals with people’s
estimate(s) of the possible truth of some proposition, whereas deontic modal logic deals with
people’s estimate(s) of the social desirability of some particular party’s making some
proposition true.
antecedent
Source: adapted from GFOL
Definition: The wff in [or more specifically, the proposition-wff in or else the proposition denoted by] the
if-clause of an implication.
Note: Interpolation ours. Otherwise the definition is from GFOL.
argument
Source: GFOL
Definition: a [logical-] subject-term for a predicate.
Note: Interpolation in square brackets ours. By “logical subject” we mean an object playing a role
(i.e., an object filling an object hole) in a logical predicate. Thus there may be one or more
logical-subject-terms in a logical predicate.
arity
Source: IMRD (pp. 10, 64)
Definition: A logical predicate’s number of roles (i.e., of object holes).
Note: A function may be thought of as a relation; accordingly, we treat a function as a logical
predicate. MATH defines arity of a function thus: “The number of arguments taken by
atomic formula
Source: GFOL [“atom”]
Definition: In predicate logic, a wff without quantifiers or connectives.
Note: (1) This definition is from the cited source s.v. atom, which we deem a synonym.
Note: (2) LSO says of atomic formula: “The simplest sort of wff of a formal language; an atomic
formula of the language of predicate logic is a predicate letter followed by zero or more name
letters.” Yet it can also be a propositional variable or a propositional constant, depending on
context.
consequent
Source: GFOL
Definition: The wff in [or more specifically, the proposition-wff in or else the proposition denoted by] the
then-clause of an implication.
Note: Interpolation ours.
contingency
Definition: alethic modality that is the conjunction of possibility and non-necessity
Note: Contingency (“it is possible but not necessary that p”) is the modal equivalent of “it is neither
impossible nor necessary that p”: ( ◊p & ~ □p) ≡ ∼ (∼ ◊p v □ p).
deontic modality
Source: CDP [“deontic operator”]; LEVS (pp. 276-77); LSO (p. 302); MLP (pp. 170-76)
Definition: Any of the five central ways or modes in which one might think of the social desirability of a
certain other person(s)’s making true some proposition, that is, the social desirability that the
act(s) be performed, by a certain other person(s), that would make the proposition true; viz.,
obligation (and its negation, non-obligation), permission (and its negation, nonpermission
(forbidden/prohibition)), and optionality.
Note: (1) The definition given is not quoted directly from any source, since we have not found the
term defined as such anywhere. Rather, we have based our definition on passages mainly in the
above-cited sources.
Note: (2) Alethic modal logic differs from deontic modal logic in that the former deals with people’s
estimate(s) of the possible truth of some proposition, whereas deontic modal logic deals with
people’s estimate(s) of the social desirability of some particular party’s making some
proposition true.
Note: (3) The four deontic modalities that we consider most basic, and to which the four “modal
negation equivalences” apply, are obligation, permission, and their respective negations
(non-obligation and prohibition). We also define a fifth modality, optionality, for the idea
“neither prohibited nor obligatory.”
domain
Source: GFOL
Definition: Of an interpretation of a formal language of predicate logic, the set of objects that may serve as
the assigned referents of the constants of the language, the arguments of functions, and the
arguments of predicates.
fact type
Definition: set of all possible facts of a given kind that, in logical terms, corresponds to a set of one or
more typed predicates that are semantically interchangeable except that the order of arguments
may vary
Example: In prefix notation the typed predicates drives(Person,Car), isDrivenBy(Car, Person), and
isaDriverOf(Person, Car) could each be used for the same fact type.
first-order instance
Source: GFOL
Definition: The objects or elements taken as the [logical] subjects of the predicates of first-order
predicate logic.
Definition: [CLARIFIED DEFINITION] object or element taken as a logical subject of a predicate of first
order logic.
Note: And the distinguishing characteristic of “first-order” predicate logic, in turn, is the additional
restriction, re the formation of wffs, that subjects of predicates cannot themselves be types
or predicates, but rather only individuals (or individual-constants, individual-variables, or
function-expressions). See first-order type.
first-order type
Source: LSO (pp. 280-84) [and “type system”]; META (p. 140); TTGG (p. 5)
Definition: A type whose extension includes no types or predicates, only first order instances, in
accordance with the grammatical restrictions in first-order predicate logic.
Note: The definition given is not quoted directly from any source, since we have not found the term
defined as such anywhere. Rather, we have based our definition on passages mainly in the
above-cited sources.
implication
Source: GFOL
Definition: expression of the form, “if A, then B,” when A and B stand for wffs or propositions. The wff
in the if-clause is called the antecedent (also the implicans and protasis). The wff in the then-
clause is called the consequent (also the implicate and apodosis). Also called a conditional, or
a conditional statement.
Note: In SBVR we treat “implication” as if it is “material implication” (i.e., ‘p q’ is equivalent to
‘~p v q’).
impossibility
Definition: alethic modality that is the negation of possibility
Note: A derived modal operator for ‘impossibility’ may be used in the surface syntax, but it is
translated into the basic modal operator for ‘possibility’ plus negation (~) (i.e., “It is
impossible that p” is defined as “It is not possible that p”: ~◊p).
Note: Impossibility (“it is impossible that p”) is the modal equivalent of “it is necessary that not p”:
~◊p ≡ □ ~p.
integer
Source: GFOL [“integers”]
The natural numbers supplemented by their negative counterparts. The set {...-3, -2, -1, 0, 1, 2,
3...}.
logical variable
Source: GFOL
Definition: A symbol whose referent varies or is unknown. A place-holder, as opposed to an abbreviation
or name (a constant).
Note: This definition is from the cited source s.v. variable, which we deem a synonym.
member
Source: DEAN (p. 6); GFOL [“membership”]
Definition: An element belonging to a set.
Note: The definition given is not quoted directly from any source, since we have not found the term
defined as such anywhere. Rather, we have based our definition on passages mainly in the
above-cited sources.
modal logic
Source: SEP
Definition: Narrowly construed, modal logic studies reasoning that involves the use of the expressions
‘necessarily’ and ‘possibly.’ However, the term ‘modal logic’ is used more broadly to cover a
family of logics with similar rules and a variety of different symbols.
non-necessity
Definition: alethic modality that is the negation of necessity
Note: Non-necessity (“it is not necessary that p”) is the modal equivalent of “it is possible that
not p”: ~ □p≡ ◊∼p
non-obligation
Definition: deontic modality that is the negation of obligation.
Note: Non-obligation (“it is not obligatory that p”) is the modal equivalent of “it is permitted that
not p”: ~Op ≡ P~p.
obligation
Source: CDP [“deontic logic”]; MLP (pp. 170-76)
Definition: One of the four main deontic modalities, which qualifies as socially obligatory the making
true a certain proposition (i.e., the doing a certain act) by a certain party or parties.
Note: The definition given is not quoted directly from any source, since we have not found the term
defined as such anywhere. Rather, we have based our definition on passages mainly in the
above-cited sources.
Note: Obligation (“it is obligatory that p”) is the modal equivalent of “it is not permitted that
not p”: Op ≡ ∼P~p
Note: The following modal negation rules apply:
“it is not obligatory that p” ≡ “it is permitted that not p”: ~Op ≡ P~p. See non-obligation.
optionality
Definition: deontic modality that is the conjunction of permission and non-obligation
Note: Optionality (“it is permitted but not obligatory that p”) is the modal equivalent of “it is neither
prohibited nor obligatory that p”: (Pp & ~Op ≡ ∼ (∼Pp v Op).
permission
Source: CDP [“deontic logic”]; MLP (pp. 170-76)
Definition: One of the four main deontic modalities, which qualifies as socially permissible the making
true a certain proposition (i.e., the doing a certain act) by a certain party or parties.
Note: The definition given is not quoted directly from any source, since we have not found the term
defined as such anywhere. Rather, we have based our definition on passages mainly in the
above-cited sources.
population
Source: IMRD (p. 164)
Definition: The extension of a type (whether type of individual, fact type, or role) for a given state of the
business domain.
possibility
Source: CDP
Definition: A modal property that qualifies an assertion of a whole proposition just when it is considered
possible that the proposition is true.
Note: The definition given is not quoted directly from any source. Rather, we have based our
definition on passages mainly in the above-cited source. See also alethic modality
Note: Possibility (“it is possible that p”) is the modal equivalent of “it is not necessary that
not p”: ◊p ≡ ∼□∼p.
Note: The following modal negation rules apply:
“it is not possible that p” ≡ “it is necessary that not p”: ~◊p ≡ □∼p. See impossibility.
possible world
Definition: any state (situation) of some given universe of discourse (domain) that is implicitly
characterized, by an accepted expert on that domain, as logically consistent with some set of
laws seen by that expert as applying to that domain
Note: “Possible world” means “logically possible world,” and not “physically possible world.”
Included within the sense of “possible world” is any “possible situation;” therefore, the notion
includes the “possible states” of any given set of objects [things] of interest - which set is
commonly called the “Universe of Discourse” (or “UoD”), a.k.a. the “domain” (or “business
domain”). Thus, in the context of a static constraint declared for a given business domain, a
“possible world” would correspond to (but not be identical to) a state of the domain’s fact
model that could exist at some point in time, which is the “present time” of the possible world.
predicate
Source: GFOL
Definition: Intuitively, whatever is said of the subject[s] of a sentence - function from individuals (or a
sequence of individuals) to truth-values
Note: Interpolation in square brackets ours. A predicate is distinguished from others by sentence
structure, not by proposition/meaning (see IMRD, pp. 63-66). Propositions or meanings
distinguish fact types, each of which may have 1 or more predicates.
prohibition
Source: CDP [“deontic logic”]; MLP (pp. 170-76)
Definition: One of the four main deontic modalities nonpermissibility, which qualifies as socially not
permissible the making true a certain proposition (i.e., the doing a certain act) by a certain
party or parties
Definition: deontic modality that is the negation of permission
proposition
Source: DL (p. 4)
Definition: That which is asserted when a sentence is uttered or inscribed
Note: Generally understood as “the meaning of” a declarative sentence. GFOL defines it thus: “In
logic generally (for some), the meaning of a sentence that is invariant through all the
paraphrases and translations of the sentence.”
propositional operator
Source: PLTS
Definition: An operator (or connective) joins … statements [i.e., propositions or proposition-wffs] into
compounds…. Connectives include conjunction, disjunction, implication and equivalence.
Negation is the only operator that is not a connective; it affects single statements [i.e.,
propositions or proposition-wffs] only, and does not join statements [i.e., propositions or
proposition-wffs] into compounds.
Note: By “proposition-wff” we mean a proposition-constant or proposition-variable, or a predicate
supplied with arguments so as to yield a proposition.
quantifier
Source: GFOL
Definition: In predicate logic, a symbol telling us … how many objects (in the domain) [instantiate] the
predicate…. The quantifier applies to, or binds, variables which stand as the arguments of
predicates. In first-order logic these variables must range over individuals; in higher-order
logics they may range over predicates.
Note: Interpolation in square brackets ours.
set
Source: GFOL
Definition: Intuitively, a collection of elements (called members). In a set, the order of members is
irrelevant, and repetition of members is [also irrelevant]. The intuitive notion of a set leads to
paradoxes, and there is considerable mathematical and philosophical disagreement on how best
to refine the intuitive notion.
Note: Interpolation in square brackets ours.
state of affairs
Source: CDP
Definition: A possibility, actuality or impossibility of the kind expressed by a nominalization of a
declarative sentence (e.g., “This die comes up six” may be nominalized by “that this die comes
up six” or “this die’s coming up six”) the resulting nominalizations might be interpreted as
naming corresponding propositions or states of affairs
subset
Source: GFOL
Definition: set all of whose members belong to a second set (a superset of the subset)
type
Source: adapted from HALT2004 (p. 8); cf. TTGG (p. 84)
Definition: named set of possible instances, where for any given state of the business domain, exactly one
subset of the type is the population of the type in that state
Note: At any given time, the population of a type is the set of instances of that type that exist in the
business domain (i.e., that are referenced within facts that are known and are of interest to the
business) at that time. It follows that if two types are equal, then for each state of the business
domain they must have the same population.
Note: “Possible instances” here means “instances which are considered part of the type’s population,
for some state of the business domain.”
Note: Because it is a formal object that behaves quite differently in first-order predicate logic than in
second-order predicate logic (and differently still in third order, and so on), the definition of
“type” proves to be anaphoric, having a different denotation depending on whether, in the
situation where used, the intended formalization is first-order, second-order, or other-order. In
our definitions of first-order type and restricted higher order type, at least some of this
indefiniteness is removed (by the specifying of either first-order logic or restricted higher-
order logic).
unbound variable
Source: GFOL
Definition: free variable [which, in GFOL, is defined thus:] in predicate logic, an individual variable at
least one of whose occurrences in a wff does not lie within the scope of a quantifier on the
same letter
Universe of Discourse
Definition: set of objects [things] of interest, including their states, relationships, and situations and
forming the context of a given discussion
wff
Source: GFOL
Definition: (acronym of “well-formed formula”) - a string of symbols, each from the alphabet of a formal
language, that conforms to the grammar of the formal language; in predicate logic, a closed
wff is a wff with no free occurrences of any variable; either it has constants in place of
variables, or its variables are bound, or both (also called a sentence); an open wff is a wff with
at least one free occurrence of a variable
world
Source: CSILL
Definition: a universe, whether real, imaginary, or hypothetical
Note: From CSILL: The truth-conditional approach to meaning allows model theory to be extended
to the study of natural languages. Sentences and their parts are mapped on to elements of a
model, which represents the truth-conditions for the sentences. In possible world semantics,
models are not restricted to domains of real entities but include possible objects; that is, model
theory can provide truth-conditions in terms of possible worlds, thus allowing meaningful
expressions without requiring ontological commitment.
conceptual schema
Definition: combination of concepts and facts (with semantic formulations that define them) of what is
possible, necessary, permissible, and obligatory in each possible world
fact model
Definition: combination of a conceptual schema and, for one possible world, a set of facts (defined by
semantic formulations using only the concepts of the conceptual schema)
Synonym: conceptual model
Note: Each necessity of the conceptual schema is satisfied by a fact model, but obligations are not
necessarily satisfied.
Note: The cells that are empty will be specified in a future revision of this specification.
Note: All SBVR Terms are “meanings” where all CL Terms are “representations of meanings.” Therefore there is a one-to-
many relationship between SBVR Terms as meanings and CL Terms as representations of meanings; i.e., there can be
multiple CL representations of one SBVR meaning.
SBVR Term ISO CL Term (or equivalent OWL Term (or equivalent Comment
expression) expression)
BASICS - Foundation
verb concept unary predicate defining the type Class description defining RDF Need 2 RDF/OWL
(binary verb concept) for a functional term or atomic property or OWL object property properties related
sentence that has exactly two (note: may only apply to OWL by inverse of = one
arguments Full) binary verb concept
verb concept has verb argument role in functional term the range of an rdf:Property or
concept role or atomic sentence that has owl:ObjectProperty;
(binary verb concept) exactly two arguments alternatively, may be specified
using a restriction on the
property in OWL
verb concept role unary predicate defining the role RDF/OWL subject or object
of a name/term that is an
argument
verb concept role ranges term over which argument value restriction on property
over general concept ranges
(role ranges over general
concept)
fundamental concept
reference scheme
extensionally uses role
situational role unary predicate defining the role RDF/OWL subject or object
of a name/term that is an
argument
situational role ranges term over which argument value restriction on property
over fundamental ranges
concept
(role ranges over general
concept)
concept has instance atom (concept thing) can be specified via an rdf:type
statement (i.e., thing rdf:type
concept.)
set set
BASICS - Intension:
Characteristic
characteristic is essential
to concept
characteristic type
delimiting characteristic
essential characteristic
implied characteristic
intension intension
necessary characteristic
BASICS - Intension: Categorization
categorization scheme
categorization type
category
concept1 specializes (forall (c1 c2) (if (specializes c1 rdfs:subClassOf + disjoint One way from
concept2 c2) (forall (x) (if (c1 x) (c2 x))))) SBVR to CL
(noun concept) (forall (c1 c2) (if (and
(specializes c1 c2) (specializes
c2 c3)) (specializes c1 c3)))
segmentation
BASICS - Modal Logic
element of guidance
authorizes state of affairs
element of guidance
obligates state of affairs
element of guidance
prohibits state of affairs
proposition is necessarily
true
proposition is obligated
to be true
proposition is permitted
to be true
proposition is possibly
true
rule
structural rule
BASICS - Misc.
quantity
SEMANTIC FORMULATIONS
aggregation formulation
antecedent
at-least-n-quantification
has minimum cardinality
at-most-n-quantification
has maximum cardinality
atomic formulation is
based on verb concept
auxiliary variable
bag projection
bindable target
closed logical
formulation formalizes
statement
closed logical
formulation means
proposition
closed projection
closed projection
defines verb concept
closed projection
defines noun concept
closed projection
means question
closed semantic
formulation
consequent
exactly-n quantification
has cardinality
implication has
antecedent
inconsequent
instantiation formulation
binds to bindable target
instantiation formulation
considers concept
logical formulation
constrains projection
modal formulation
embeds logical
formulation
necessity formulation
numeric range
quantification has
maximum cardinality
numeric range
quantification has
minimum cardinality
objectification
objectification binds to
bindable target
objectification considers
logical formulation
obligation formulation
permissibility formulation
possibility formulation
projecting formulation
projecting formulation
binds to bindable target
projecting formulation
has projection
projection
projection is on variable
projection position
semantic formulation
set projection
whether-or-not
formulation has
consequent
whether-or-not
formulation has
inconsequent
SEMANTIC FORMULATION - Nominalization
answer nominalization
verb concept
nominalization
proposition
nominalization
proposition
nominalization binds to
bindable target
proposition
nominalization considers
logical formulation
question
nominalization
concept is closed in
conceptual schema
conceptual schema
conceptual schema
includes concept
conceptual schema
includes fact model
________________________________________________________
Figure 11.1
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
11.2.1.1 Communities
community
Definition: group of people having a particular unifying characteristic in common
Dictionary Basis: group of people having a religion, race, profession, or other particular characteristic in
common [NODE ‘community’]
Reference Scheme: a URI of the community
Example: The Car Rental Community -- people who work in the car rental business
semantic community
Definition: community whose unifying characteristic is a shared understanding (perception) of the things
that they have to deal with
Example: The EU-Rent Community -- those who share the body of concepts about general and specific
things of importance to the EU-Rent business.
speech community
Definition: subcommunity of a given semantic community whose unifying characteristic is the
vocabulary and language that it uses
Dictionary Basis: group of people sharing a characteristic vocabulary, and grammatical and pronunciation
patterns for use in their normal intercommunication [W3ID ‘speech community’]
Example: The EU-Rent German Community shares the German-based vocabulary of designations used in
EU-Rent’s business. The designations include German words for EU-Rent’s concepts plus
designations adopted from other languages.
subcommunity
Concept Type: role
Definition: community that is a distinct grouping within another community
Dictionary Basis: distinct grouping within a community [NODE ‘sub-community’]
vocabulary
Definition: set of designations and verb concept wordings primarily drawn from a single language to
express concepts within a body of shared meanings
Dictionary Basis: sum or stock of words employed by a language, group, individual, or work, or in a field of
knowledge [MWCD ‘vocabulary’]
Example: The sets of designations represented in EU-Rent’s internal glossaries, in the natural languages
in which the company does business, together with the vocabularies it has adopted, including
those defined in:
* Industry standard glossaries for car rental business,
* Standard (e.g., ISO) glossaries of business terms,
* Authoritative dictionaries for the relevant natural languages.
Note: A vocabulary contains only designations and verb concept wordings. Contrast a terminological
dictionary, which further adds definitions, descriptions, etc. A rulebook includes everything
that is in a terminological dictionary, plus representations of behavioral elements of guidance
in a body of shared guidance.
Note: Enumerating the designations in a vocabulary is not a matter of listing signifiers, but of
associating signifiers with concepts, and a concept can be identified by a definition.
business vocabulary
Definition: vocabulary that is under business jurisdiction
terminological dictionary
Definition: collection of representations including at least one designation or definition of each of a set
of concepts from one or more specific subject fields, together with other specifications of
facts related to those concepts
Source: based on ISO 1087-1 English (3.7.1) [‘terminological dictionary’]
Reference Scheme: a URI of the terminological dictionary
Note: Terminological dictionaries include designations and verb concept wordings representing
concepts, and definitions, descriptions, descriptive examples, notes, structural rule statements
and other representations of information about the concepts.
Note: Contrast a terminological dictionary with a rulebook, which may include representations of
behavioral elements of guidance in a body of shared guidance.
Figure 11.2
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
essential characteristic
Source: ISO 1087-1 (English) (3.2.6) [‘essential characteristic’]
Definition: characteristic which is indispensable to understanding a concept
necessary characteristic
Definition: characteristic that is always true of each instance of a given concept
Concept Type: role
implied characteristic
Definition: necessary characteristic of a given concept that is not incorporated by the concept
Concept Type: role
Necessity: A concept has an implied characteristic only if it follows by logical implication from some
combination of incorporations of characteristics by concepts and/or structural rules that the
characteristic is always attributed to each instance of the concept.
delimiting characteristic
Source: ISO 1087-1 (English) (3.2.7) [‘delimiting characteristic’]
Definition: essential characteristic used for distinguishing a concept from related concepts
Concept Type: role
Note: Delimiting characteristics of a concept are inherited as essential characteristics by all
categories of that concept.
characteristic type
Source: ISO 1087-1 (English) (3.2.5) [‘type of characteristics’]
Definition: category of [the concept] ‘characteristic’ which serves as a criterion of subdivision when
establishing concept systems
General Concept: categorization type
Necessity: Each instance of each characteristic type is a characteristic.
Example: The extension of the characteristic type ‘color’ includes the characteristics ‘thing is blue’,
‘thing is red’, ‘thing is green’’ etc.
category
Source: ISO 1087-1 (English) (3.2.16) [‘specific concept’]
Definition: concept in a generic relation having the broader intension
Concept Type: role
Dictionary Basis: secondary or subordinate category [NODE ‘subcategory’]
Note: The broader intension of a category means that the category incorporates more
characteristics than its more general concept. Thus, it is possible that a category has a
smaller extension than its more general concept.
categorization scheme
Definition: scheme for partitioning things in the extension of a given general concept into the
extensions of categories of that general concept
Example: The general concept ‘person’ categorized by age range and gender into categories ‘boy’,
‘girl’’ ‘man’, ‘woman’.
Dictionary Basis: an orderly combination of related parts [AH (3) ‘scheme’]
segmentation
Definition: categorization scheme whose contained categories are complete (total) and disjoint with
respect to the general concept that has the categorization scheme
partitioning
See: segmentation
categorization type
Definition: concept type whose instances are always categories of a given concept
Note: A categorization type is either partial or complete. It is complete if it necessarily categorizes
everything of the general concept that it is for.
Example: EU-Rent’s categorization type for EU-Rent’s concept of ‘branch’ whose instances are
categories of branch: ‘airport branch’, ‘agency’, and ‘city branch’.
Figure 11.3
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
intensional definition
Source: ISO 1087-1 (English) (3.3.2) [‘intensional definition’]
Definition: definition which describes the intension of a concept by stating the superordinate concept and
the delimiting characteristics
definite description
Definition: intensional definition of an individual
Example: the car movement that has the movement id “UK-12345-abc-xyz”
Necessity: Each definition of an individual noun concept is a definite description.
Necessity: Each definite description is the definition of an individual noun concept.
Necessity: Each definite description uses a reference scheme for the individual.
extensional definition
Source: ISO 1087-1 (English) (3.3.3) [‘extensional definition’]
Definition: description of a concept by enumerating all of its subordinate concepts under one criterion of
subdivision
General Concept: definition
Necessity: No extensional definition is an intensional definition.
Definition Origin
Definition: the categorization scheme of the concept ‘definition’ that classifies a definition based on
whether it is owned by its speech community or adopted by its speech community
owned definition
Definition: definition that a speech community ‘owns’ and is responsible for creating and maintaining
Necessity: The concept ‘owned definition’ is included in Definition Origin.
Example: EU-Rent ‘owns’ its definition of the concept of ‘barred driver’.
adopted definition
Definition: definition that a speech community adopts from an external source by providing a
reference to the definition
Necessity: The concept ‘adopted definition’ is included in Definition Origin.
Necessity: Each adopted definition must be for a concept in the body of shared meanings of the
semantic community of the speech community.
Example: SBVR has adopted the concept ‘concept’ (‘unit of knowledge created by a unique combination
of characteristics’) from ISO 1087-1 (English) (3.2.1).
Note: By adopting the definition of ‘concept’, the SBVR community adopted the meaning of
‘concept’ as represented by the definition. A meaning cannot be adopted in the abstract; it is
adopted via a representation of the meaning - a definition.
derivable concept
Definition: concept whose extension can be determined from its definition or from rules
concept of
thing existing
independently
concept of
thing existing
dependently
concept of concept of
thing as thing as
occurrent unitary
concept
concept of concept of
thing as thing as
continuant composite
concept of
thing as
primitive
concept of
thing as
developed
Figure 11.4
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
Figure 11.5
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
association
Definition: verb concept that has more than one role and that has a nonhierarchical subject-oriented
connection drawn from experience, based on practical rather than theoretical considerations
Source: based on ISO 1087-1 (English) (3.2.23) [‘associative relation’, ‘pragmatic relation’]
Dictionary Basis: to join (things) together or connect (one thing) with another [MWU verb (3) ‘associate’]
Example: The verb concept ‘additional driver is authorized in rental’
Example: The verb concept ‘car manufacturer supplies car model’
Example: The verb concept ‘car manufacturer delivers consignment to branch’
property
Definition: quality or trait actually belonging to a thing itself
Dictionary Basis: a quality or trait belonging to a person or thing [MWUD property]
Example: Consider three statements: “Meeting 1 starts at 1PM”, “Meeting 2 starts at 2PM”, “Meeting 1
ends at 2PM”. These describe three distinguishable properties: starting at 1PM, ending at 2PM
and starting at 2PM. Each ‘property’ should not be confused with the verb concept role of the
respective property association (which roles could be labeled “starting time” or “ending time”),
because starting at 1PM is a different property than starting at 2PM. Also, the ‘property’ is not
the thing that fills role (it’s not 1PM or 2PM), because starting at 2PM is a different property
than ending at 2PM.
Example: Example: car group has daily price for member affiliation. This example involves a ternary
property association, rather than a binary one. (Examples of “member affiliation” might
include AARP membership, AAA membership, Costco membership, etc.)
Note: By “actually” we mean “in the universe of discourse” (the things that we are talking about), not
in a model of the universe of discourse. This meaning of “property” should not be confused
with the meaning of “property” in an IT modeling context. There is no 1:1 relationship
between “property association” in SBVR and “attribute” or “property” in a class or entity
model.
property association
Definition: association that is defined with respect to a given concept such that each instance of the
association is an actuality that a given instance of the concept has a particular property
Necessity: Each instance of each property association is an actuality that a thing has a particular
property.
categorization
Definition: proposition that a given general concept specializes a given general concept
Dictionary Basis: the state of being categorized [MWU]
Example: The general concept ‘high-end customer’ specializes the general concept ‘customer.’
Example: The general concept ‘points rental’ specializes the general concept ‘rental.’
Example: The general concept ‘airport branch’ specializes the general concept ‘branch.’
Note: For more discussion and examples see: Annex B.2.1, I.2, C.5, C.6, as well as the EU-Rent
examples in Annex G.
classification
Definition: proposition that the instance of a given individual noun concept is an instance of a
given general concept
Dictionary Basis: to place in the same group with others : associate in a class [MWU (3) “assort”]
assortment
See: classification
characterization
Definition: proposition that a given concept incorporates a given characteristic
Dictionary Basis: to describe the essential character or quality of [MWU (2) “characterize”]
Example: The proposition that the concept ‘authorized driver’ incorporates the characteristic ‘person is
licensed’
Example: The proposition that the concept ‘Eiffel Tower’ incorporates the characteristic ‘structure
is quadrilateral’
is-role-of proposition
Definition: proposition that a given role ranges over a given general concept in some situation
Example: The role ‘replacement car’ in the situation of a breakdown during a rental ranges over the
general concept ‘rental car’
Example: The role ‘pick-up branch’ in the situation of a rental ranges over the general concept ‘branch’
Note: For more discussion and examples see: Annex B.3.2, C.5, as well as the EU-Rent examples in
Annex G.
is-facet-of proposition
Definition: proposition that a given concept has a given facet
Example: The concept ‘rental car’ has the facet ‘asset’ from the viewpoint of financial accounting.
Example: The concept ‘person’ has the facet ‘driver’ from the viewpoint of car rental.
Note: A given community may choose to include any number of facets, including just one or none at
all.
Note: For more discussion and examples see: Annex B.3.3, as well as the EU-Rent examples in
Annex G.
11.2.5.2 Contextualization
Context of Thing
Definition: the segmentation of the concept ‘noun concept’ that classifies a noun concept based
on whether the noun concept’s real-world individuals are perceived by the semantic
community as in their uninvolved essence or as to their involvement in a situation or from a
viewpoint
Necessity: The concept ‘fundamental concept’ is included in Context of Thing.
Necessity: The concept ‘contextualized concept’ is included in Context of Thing.
contextualized concept
Definition: role or facet
General Concept: noun concept
situational role
Definition: general concept that corresponds to things being in some situation, such as playing a part,
assuming a function, or being used in some circumstances
General Concept: general concept, role
Concept Type: concept type
facet
Definition: concept that generalizes a given concept but incorporates only those characteristics that
are relevant to a particular viewpoint
General Concept: contextualized concept
Dictionary Basis: a particular way in which some thing may be considered; its particular nature, appearance, or
quality; the particular part or feature of it [NODE ‘aspect’]
Synonym: aspect
aspect
See: facet
situation
Definition: state of affairs that is a set of circumstances that provides the context from which roles
played may be understood or assessed
Dictionary Basis: a set of circumstances in which one finds oneself; a state of affairs [NODE ‘situation’]
Dictionary Basis: the circumstances that form the setting for an event, statement, or idea, and in terms of which it
can be fully understood or assessed [NODE ‘context’]
Note: A situation typically pertains for some period of time, during which changes may occur.
viewpoint
Definition: perspective from which something is considered
11.3.1 Symbolization
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
subject field
Definition: field of specific knowledge
Source: ISO 1087-1 (English) (3.1.2) [‘subject field’]
designation context
Concept Type: role
Definition: concept that characterizes the domain of usage within which the expression of a
representation has a unique meaning for a given speech community
Example: When EU-Rent uses the term ‘site’:
* within the context of the concept termed ‘vehicle rental’ (another EU-Rent term), it denotes
EU-Rent’s shared understanding of a ‘place from which EU-Rent vehicles are picked up and
returned’.
* within the context of the concept termed ‘vehicle maintenance’ (another EU-Rent term), it
denotes EU-Rent’s shared understanding of a ‘place where EU-Rent’s vehicle fleet is serviced
and repaired’.
Example: When EU-Rent uses the term ‘customer’:
* within the context of the concept termed ‘vehicle rental’ (another EU-Rent term), it denotes
EU-Rent’s shared understanding of ‘rental-customer-ness’ (Definition: ‘individual who
currently has a EU-Rent car on rental, or has a reservation for a future car rental, or has rented
a car from EU-Rent in the past 5 years’).
* within the context of the concept termed ‘vehicle sales’ (another EU-Rent term), it denotes
EU-Rent’s shared understanding of ‘car-purchaser-ness’ (Definition: ‘individual who has
purchased at least one car from EU-Rent that is still within its warranty period’).
term
Source: ISO 1087-1 (English) (3.4.3) [‘term’]
Definition: verbal designation of a general concept in a specific subject field
General Concept: designation
Note: A term is typically formed using a common noun or noun phrase.
Example: EU-Rent agrees the word ‘car’ denotes its shared understanding of ‘rental-car-ness’ within
<rental context>.
Example: EU-Rent agrees the word ‘vehicle’ denotes its shared understanding of ‘car-ness’ within
<rental context>.
Example: EU-Rent agrees the word ‘customer’ denotes its shared understanding of ‘rental-customer-
ness’ within <rental context>.
Example: EU-Rent agrees the word ‘customer’ denotes its shared understanding of ‘car-purchaser-ness’
within <car-sales context> -- i.e., when EU-Rent disposes of cars after they reach their mileage
or age threshold.
Example: EU-Rent agrees the word ‘renter’ denotes its shared understanding of ‘rental-customer-ness’.
(within any context).
nonverbal designation
Definition: designation that is not expressed as words of a language
Necessity: No nonverbal designation is a term.
Necessity: No nonverbal designation is a name.
Note: A verbal designation, such as a term or name, can contain parts that are nonverbal. Some
abbreviations are nonverbal while others, being expressed as words, are terms or names.
icon
Definition: nonverbal designation whose signifier is a picture
Dictionary Basis: a usu. pictorial representation [MWCD ‘icon’]
verb symbol
Definition: designation that represents a verb concept and that is demonstrated by a verb concept
wording
Reference Scheme: a verb concept wording that incorporates the verb symbol
Example: In the expression, ‘Each customer rents a car’, ‘rents’ is a verb symbol denoting a verb
concept.
Example: In the expression, ‘A driver of a car returns the car to a branch office’, ‘of’ is a verb symbol
for one verb concept (relating a driver to a car) and ‘returns to’ is another verb symbol
denoting a verb concept (relating a driver to a car and a branch office).
res
Definition: thing that is not a meaning
preferred designation
Definition: designation that is selected by its owning speech community for a given concept from
among alternative designations for that concept as being most desirable or productive
Example: EU-Rent’s preferred designations for indicating the USA Dollar, Canadian Dollar, and
Mexican Peso are, respectively, “USD”, “CAD”, and “MXN” (ISO 4217 currency codes).
prohibited designation
Definition: designation that is declared unacceptable by its owning speech community
Figure 11.7
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
Representation Formality
Definition: the segmentation of the concept ‘representation’ that classifies a representation based
on whether or not it is ‘formal’
informal representation
Definition: representation in which not every word is annotated (‘tagged’) in accordance with a notation
that can be mapped to SBVR
Necessity: No informal representation is a formal representation.
Necessity: The concept ‘informal representation’ is included in Representation Formality.
Note: Some of the words of an informal representation may be annotated -- i.e., defined, or ‘tagged’,
terms, names, verbs, or keywords.
description
Definition: representation that provides a detailed account of something, a verbal portrait
Dictionary Basis: a spoken or written representation or account of a person, object, or event [NODE ‘description’]
Necessity: No description that portrays a concept is a descriptive example that illustrates that
concept.
Necessity: No description that portrays a concept is a note that comments on that concept.
Necessity: No description that portrays a concept is a reference that supports that concept.
descriptive example
Definition: representation that provides descriptive material that is a sample of the thing defined
Source: based on MWCD and NODE
Dictionary Basis: one (as an item or incident) that is representative of all of a group or type [MWCD ‘example’]
Dictionary Basis: a thing characteristic of its kind or illustrating a general rule [NODE ‘example’]
Necessity: No descriptive example that illustrates a concept is a definition of that concept.
Necessity: No descriptive example that illustrates a concept is a description that portrays that
concept.
Necessity: No descriptive example that illustrates a concept is a note that comments on that
concept.
Necessity: No descriptive example that illustrates a concept is a reference that supports that
concept.
Example: Chris Cushing is an example of EU-Rent’s concept of ‘rental customer’.
Example: The vehicle with VIN#88744332 is an example of EU-Rent’s concept of ‘rental car’.
note
Definition: representation that annotates or explains
Necessity: No note that comments on a concept is a definition of that concept.
comment
See: note
remark
See: note
communication content
Definition: representation that is a subdivision of a written composition that consists of one or more
statements and deals with one point or gives the words of one speaker
Source: MWCD (1a)
Synonym: message content
Synonym: document content
document content
See: communication content
message content
See: communication content
reference
Definition: representation that is the mention or citation of a source of information used to direct a
reader elsewhere for additional information about a given concept
Dictionary Basis: a mention or citation of a source of information in a book or article [NODE ‘reference’]
Necessity: No reference that supports a concept is a definition of that concept.
Necessity: No reference that supports a concept is a description that portrays that concept.
Necessity: No reference that supports a concept is a descriptive example that illustrates that
concept.
Necessity: No reference that supports a concept is a note that comments on that concept.
Example: ‘The Highway Code’ published by HMSO, 2005.
Example: The descriptions of car models’ capacity, fuel economy, and performance taken from the
manufacturers’ specifications.
information source
Concept Type: role
Definition: communication content that is used as a resource to supply information or evidence
rulebook
Definition: terminological dictionary plus a collection of representations including at least one
guidance statement for each of a set of one or more elements of guidance, together with
any number of other representations of facts related to those elements of guidance
Reference Scheme: a URI of the rulebook
Note: Each rulebook includes a terminological dictionary plus, optionally, names of behavioral
elements of guidance, and guidance statements, synonymous statements, terms for guidance
types, descriptions, references, notes, descriptive examples, and other statements (e.g.,
regarding enforcement levels) about the behavioral elements of guidance.
Contrast a rulebook with a vocabulary, which contains only designations and verb concept
wordings. Also contrast a terminological dictionary, which contains everything that is in a
rulebook except representations of behavioral elements of guidance.
___________________________________________________________________
The degree of freedom removed by a rule might concern the behavior of people (in the case of an operative business rule), or
their understanding of concepts (in the case of a structural rule). In the latter case, the restricting of freedom is built-in (i.e.,
“structural” or “by definition”). In the former case, people can still potentially violate or ignore the rule - that is a matter of
free will, appropriate enforcement, and sometimes discretion (for example if the rule is offered simply as a guideline or
suggestion).
Nonetheless, an operative business rule always mandates or suggests some out-of-bounds criteria for behavior, thereby
potentially removing a degree of freedom. For example, the meaning of “It is prohibited that an order be paid by promissory
note” indicates that workers are not completely free to accept IOUs for payment of orders. That particular degree of freedom
has been removed or diminished. Depending on enforcement level, violating the rule could well invite response, which might
be anything from immediate prevention and/or severe sanction, to mild tutelage. Note that other degrees of freedom have not
been removed or diminished by this particular rule. For example, unless other rules pertain to how orders are paid, workers are
free to accept cash, credit cards, or other means of payment - those means are allowed. The general implication is that rules
indirectly prescribe what is allowable - whatever the rules do not specifically proscribe is allowed.
An advice is just the opposite of a rule. Whereas a rule always potentially removes some degree of freedom, an advice always
confirms or reminds that some degree of freedom does exist or is allowed. That degree of freedom might concern the behavior
of people (in the case of an operative business rule), or their understanding of concepts (in the case of a structural rule).
It might be helpful to think of an advice as an ‘un-rule’ or ‘no-rule’. For example, the meaning of “It is permitted that an order
be paid by cash” is that such behavior is allowed - that indeed, paying by cash is acceptable. In other words, there is (or should
be) no rule to the contrary.
Since an advice never removes degrees of freedom, why is it sometimes useful to capture? There are many possible reasons,
but probably foremost among them are to re-assure workers or others that some degree of freedom does exist; to use as a basis
for admonishing workers about applying some rule that actually does not exist; or to ‘remember’ the resolutions to some rule-
related issue where the outcome was in favor of ‘no rule’.
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
12.2.1 Guidance
element of guidance
General Concept: proposition
Definition: means that guides, defines, or constrains some aspect of an enterprise
Note: This sense of ‘means’ (as in ‘ends and means’, rather than ‘is meant as’) arises from the
Business Motivation Model [BMM].
Note: The formulation of an element of guidance is under an enterprise’s control by a party
authorized to manage, control or regulate the enterprise, by selection from alternatives in
response to a combination of assessments.
element of governance
Definition: element of guidance that is concerned with directly controlling, influencing, or regulating the
actions of an enterprise and the people in it
Dictionary Basis: conduct the policy, actions, and affairs of (a state, organization, or people) with authority:
control, influence, or regulate (a person, action, or course of events) [ODE, “govern”]
business policy
Definition: element of governance that is not directly enforceable whose purpose is to guide an
enterprise
Note: Compared to a Business Rule, a Business Policy tends to be:
- less structured
- less discrete or not atomic
- less carefully expressed in terms of a standard vocabulary
- not directly enforceable.
Dictionary Basis: definite course or method of action selected (as by a government, institution, group, or
individual) from among alternatives and in the light of given conditions to guide and usually
determine present and future decisions [MWUD “Policy” 5a]
Necessity: No business policy is a business rule.
Example: The policy expressed as “A prisoner is considered to be on a hunger strike after missing several
meals in a row.”
Example: The policy expressed as “The prison medical authority will intervene if a hunger striker’s life
is in danger.”
Example: The EU-Rent policy expressed as “Rental cars must not be exported.”
Example: The policy expressed as “Each customer who complains will be personally contacted by a
representative of the company.”
12.2.2 Rules
rule
Definition: proposition that is a claim of obligation or of necessity
Dictionary Basis: one of a set of explicit or understood regulations or principles governing conduct or procedure
within a particular area of activity ... a law or principle that operates within a particular sphere
of knowledge, describing, or prescribing what is possible or allowable. [ODE]
business rule
Definition: rule that is under business jurisdiction
General Concept: rule, element of guidance
Note: A rule’s being under business jurisdiction means that it is under the jurisdiction of an authority
that can opt to change or discard the rule at its own discretion. Laws of physics may be relevant
to a company; legislation and regulations may be imposed on it; external standards and best
practices (other than business rules) may be relied upon. These things are not business rules
There is also a special relationship between directive and regulation - that a directive from an
authoritative source within an enterprise may be treated like a regulation by other organization
units in the enterprise. For example, if the Health and Safety Unit of a business issued a
directive about safe handling of products and materials, other organization units (such as
Manufacturing, Warehousing and Distribution) would treat it as a regulation, in that they
would have to comply with it in an acceptable way, although their assessments of its impact on
their operations and their decisions on compliance might well be different.
structural rule
Definition: rule that is a claim of necessity
Synonym: definitional rule
definitional rule
See: structural rule
12.2.3 Enforcement
enforcement level
Definition: a position in a graded or ordered scale of values that specifies the severity of action imposed in
order to put or keep an operative business rule in force
Dictionary Basis: a position on a real or imaginary scale of amount, quantity, extent, or quality [NODE ‘level’]
Dictionary Basis: compel observance of or compliance with [NODE ‘enforcement’]
Synonym: level of enforcement
Example: An example set of levels of enforcement, based on [BMM]
advice
Definition: element of guidance that is practicable and that is a claim of permission or of possibility
advice of possibility
Definition: advice that is a claim of possibility
Note: Every necessity implies a possibility. So if a necessity is introduced by a structural rule, there is
no practical reason to introduce the implied possibility. In such cases, best practice generally
favors keeping the number of elements of guidance to be managed to a minimum.
Example: (In a bank) The element of guidance that “It is possible that an account balance is negative.”
Necessity: No advice of possibility is an advice of permission.
advice of contingency
Definition: advice of possibility that is a claim of contingency
Note: The purpose of an advice of contingency is to preempt application of definitional “rules” that
might be assumed to exist, but are not actually included in the body of shared guidance of the
authority. Often, the reason for this assumption in a business is that other, similar businesses
have such rules. Typically, the reason for providing such explicit advice is that people in the
business have mistakenly applied the non-existent rule in the past.
Note: In alethic logic, a proposition that is possible but not necessary is termed ‘contingent’. If
people in a business were to treat it as a necessity, they would miscategorize things in the real
world. This typically leads to refusal of activity (that should be permitted) because unnecessary
preconditions are not met, e.g., refusing to accept a rental booking because the person wishing
to rent is under 21.
Example: (In EU-Rent) Advising that it is not necessary for a qualified driver to be over 21. This might
be expressed in various ways, for example as: “It is neither necessary nor impossible that the
age of a qualified driver is at least 21,” or “It is possible (but not necessary) that a qualified
driver be under 21.”
Example: (In EU-Rent) Advising that it is not necessary for a bad experience that occurs during a rental
to be notified before the end of the rental. This might be expressed in various ways, for
example as: “It is neither necessary nor impossible that the notification date/time of a bad
experience during a rental is the actual return date/time of the rental or earlier.” It is possible
(but not necessary) that the notification of a bad experience during a rental occurs after the car
has been returned.”
advice of permission
Definition: advice that is a claim of permission
Note: Every obligation implies a permission. So if an obligation is introduced by a behavioral rule,
there is no practical reason to introduce the implied permission. In such cases, best practice
generally favors keeping the number of elements of guidance to be managed to a minimum.
Example: (In a bank) There is no rule that a person must be over some given age in order to open a
savings account: “There is no minimum age for opening a savings account.” This is understood
as an advice of permission because ‘minimum age’ is defined as “age that must be reached in
order to take part in a given activity” and no restriction has been placed on it. In other words,
the behavior ‘opening a bank account’ is not to be disallowed based on age.
advice of optionality
Definition: advice of permission that is a claim of optionality
Note: The purpose of an advice of optionality is to preempt application of behavioral "rules" that
might be assumed to exist, but are not actually included in the body of shared guidance of the
authority. Often, the reason for this assumption in a business is that other, similar businesses
have such rules. Typically, the reason for providing such explicit advice is that people in the
business have mistakenly applied the non-existent rule in the past.
Note: In deontic logic, a proposition that is permissible but not obligatory is termed ‘optional’. If
people in a business were to treat it as an obligation, they would demand compliance that is not
required by the business, e.g., to be shown picture id, or that the car be driven to the specified
return branch (as the following examples illustrate).
Example: (In EU-Rent) Advising that it is not obligatory that a renter show picture identification at the
time of a rental pick-up. This might be expressed in various ways, for example as: “It is neither
obligatory nor prohibited that at rental pick-up time the renter shows picture identification,” or
“It is not obligatory (but permitted) that a renter shows picture id in order to pick up his car.”
Example: (In EU-Rent) Advising that it is not obligatory (or prohibited) that a rented car be dropped off
only at the return branch specified in the rental agreement. This might be expressed, for
example, as “At the end of a rental, it is not obligatory (but permitted) that a rental car be
dropped off at the rental agreement-specified EU-Rent return branch.”
The categories presented in this sub clause are intended for business people. Business people see and hear surface syntax.
Therefore, the categories defined in 12.2 are based on form or style of expression. For example, if a business person says “It is
obligatory that not p,” the form or style of the expression remains an obligation statement. That interpretation reflects the
‘common sense’ of the statement.
This emphasis on form or style of expression distinguishes this sub clause from Clause 10, which provides deeper logical
analysis. For example, if a business person says “It is obligatory that not p,” logical analysis following Clause 10 takes the
meaning of the expression to be a prohibition (which might not be “common sense”). The key to distinguishing the perspective
of this sub clause from the logical analysis of Clause 10 is emphasized by the unfailing use of “statement” in the names of the
concepts in this sub clause. When “statement” appears, it is always the case that the concept so named refers to the style and
form of surface expression, rather than underlying meaning based on logical analysis.
guidance
statement
operative structural
business rule rule
statement statement advice of 1 advice of 1
1 1 permission expresses possibility expresses
operative structural
statement of advice statement of advice
business rule rule
of permission of possibility
obligation necessity
optionality contingency
statement statement permission possibility
statement statement
statement statement
prohibition impossibility expresses expresses
statement statement non-obligation non-necessity
1 1
statement statement
restricted advice of advice of
restricted
permission optionality contingency
possibility
statement statement
Figure 12.2
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
guidance statement
Definition: statement that expresses an element of guidance
Definition: statement that provides advice or information aimed at resolving a problem or difficulty,
especially as given by someone in authority
Dictionary Basis: a statement that provides advice or information aimed at resolving a problem or difficulty,
especially as given by someone in authority [NODE ‘guidance’]
rule statement
Definition: guidance statement that expresses an operative business rule or a structural rule
Necessity: The concept ‘rule statement’ is included in Kind of Guidance Statement.
advice statement
Definition: guidance statement that expresses an advice of permission or an advice of possibility
Necessity: The concept ‘advice statement’ is included in Kind of Guidance Statement.
obligation statement
Definition: operative business rule statement that is expressed positively in terms of obligation rather
than negatively in terms of prohibition
Necessity: No obligation statement is a prohibition statement.
Necessity: No obligation statement is a restricted permission statement.
Example: “It is obligatory that a rental incurs a location penalty charge if the drop-off location of the
rental is not the EU-Rent site of the return branch of the rental.”
Example: “A rental must incur a location penalty charge if the drop-off location of the rental is not the
EU-Rent site of the return branch of the rental.”
prohibition statement
Definition: operative business rule statement that is expressed negatively in terms of prohibition
rather than positively in terms of obligation
Necessity: No prohibition statement is a restricted permission statement.
Example: “It is prohibited that the duration of a rental be more than 90 rental days.”
Example: “The duration of a rental must not be more than 90 rental days.”
necessity statement
Definition: structural rule statement that is expressed positively in terms of necessity rather than
negatively in terms of impossibility
Necessity: No necessity statement is an impossibility statement.
Necessity: No necessity statement is a restricted possibility statement.
Example: “It is necessary that each rental has exactly one requested car group.”
Example: “Each rental always has exactly one requested car group.”
impossibility statement
Definition: structural rule statement that is expressed negatively in terms of impossibility rather than
positively in terms of necessity
Necessity: No impossibility statement is a restricted possibility statement.
Example: “It is impossible that the same rental car is owned by more than one branch.”
Example: “The same rental car is never owned by more than one branch.”
permission statement
Definition: statement of advice of permission that is expressed positively in terms of permission
rather than negatively in terms of non-obligation
Necessity: No permission statement is a non-obligation statement.
Example: “It is permitted that the drop-off branch of a rental is not the return branch of the rental.”
non-obligation statement
Definition: statement of advice of permission that is expressed negatively in terms of non-obligation
rather than positively in terms of permission
Example: “It is not obligatory that the drop-off branch of a rental be the return branch of the rental.”
Example: “The drop-off branch of a rental need not be the return branch of the rental.”
optionality statement
Definition: statement of advice of permission that expresses an advice of optionality
Note: An optionality statement may take various forms, each expressing the meaning of the same
advice of optionality, as illustrated by the following examples.
Example: “It is neither prohibited nor obligatory that the renter shows photo identification at the pick-up
time of a rental.”
Example: “It is permitted but not obligatory that the renter shows picture identification at the pick-up
time of the rental.”
possibility statement
Definition: statement of advice of possibility that is expressed positively in terms of possibility rather
than negatively in terms of non-necessity
Necessity: No possibility statement is a non-necessity statement.
Example: “It is possible that the notification date/time of a bad experience that occurs during a rental is
after the actual return date/time of the rental.”
Example: “The notification date/time of a bad experience that occurs during a rental can be after the
actual return date/time of the rental.”
non-necessity statement
Definition: statement of advice of possibility that is expressed negatively in terms of non-necessity
rather than positively in terms of possibility
Example: “It is not necessary that the notification date/time of a bad experience that occurs during a
rental be on or before the actual return date/time of the rental.”
contingency statement
Definition: statement of advice of possibility that expresses an advice of contingency
Note: A contingency statement may take various forms, each expressing the meaning of the same
advice of contingency, as illustrated by the following examples.
Example: “It is possible but not necessary that a renter’s age is less than 21 years.”
Example: “It is neither impossible nor necessary that a renter’s age is less than 21 years.”
In everyday business, elements of guidance are individual elements of meaning that exist separately. Often, they are also
expressed separately – e.g., by individual sentences. In a body of shared guidance of any size, such separate expression of
dissimilar or disjoint elements of guidance is a practical necessity for readability and manageability.
In SBVR, a body of shared guidance is nonetheless logically considered as a whole. In other words, each element of guidance
is always applied in all situations where that element of guidance is relevant – even if expressed separately. This is true even if
the element of guidance is expressed without direct reference to related elements of guidance that are relevant for the same
situation.
This captures the sense of what SBVR means by ‘severable’. If one element of guidance is invalidated or violated somehow,
the rest still apply.
It should be noted that expressing elements of guidance separately and without reference to related elements of guidance may
increase the chance of conflicts, but does not create it per se. Even a single element of guidance can have internal conflicts.
Conflicts must be resolved by proper specification, including cases where exceptions are intended, as discussed in
“Accommodations, Exceptions and Authorizations” on page 185.
It should also be noted that the Severability Principle does not apply across separate bodies of shared guidance. Therefore
conflicts and exceptions, as discussed in “Accommodations, Exceptions and Authorizations” on page 185, can only exist
within a single body of shared guidance. They cannot exist across two or more bodies of shared guidance.
Exceptions to elements of guidance must be accommodated explicitly; that is, cases where exceptions to elements of guidance
are intended must be worded in such a way to avoid any conflict in the meanings.
1. This SBVR principle is the business counterpart to what in propositional logic is often called the universal ‘and’. This assumption
requires that all separate Propositions be true (for a body of shared guidance). Therefore, an implicit ‘and’ must be considered to exist
between all such Propositions.
Each element of guidance must be self-contained; that is, no need to appeal to any other element(s) of guidance should ever
arise in understanding the full meaning of a given element of guidance.
The full impact of an element of guidance for a body of shared guidance, of course, cannot be understood in isolation. For
example, an element of guidance might be in conflict with another element of guidance, or act as an authorization in the body
of shared guidance. The Wholeness Principle simply means that if a body of shared guidance is deemed free of conflicts, then
with respect to guidance, the full meaning of each element of guidance does not require examination of any other element of
guidance. In other words, each element of guidance can be taken at face value for whatever it says.
Figure 12.3
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
12.5.2 Authorizations
SBVR makes a ‘light world’2 assumption about rules. In a light world, anything that is not expressly prohibited is assumed
permitted, and anything not expressly declared as impossible is assumed possible. Business rule practice indicates that this
choice is the appropriate one for the large majority of business problems.
Occasionally, practitioners may discover ‘dark areas in a light world’ – areas in which the opposite assumption is appropriate.
In such a dark area, anything not expressly permitted is assumed prohibited, or anything not expressly declared as possible is
assumed impossible. Dark areas of the former kind – the more important and common of the two cases – might involve use of,
and/or access to, resources that are deemed especially sensitive, dangerous, scarce, and/or valuable. For that reason, it makes
sense to grant permission for use and/or access explicitly. Such permissions are often called ‘authorizations’.
In everyday business language, an authorization is generally understood to mean a sanction or a warrant [MWUD].
[MWUD “sanction” noun]: 6a. explicit permission or recognition by one in authority that gives validity to the act of
another person or body
[MWUD “warrant” noun]: 2a. a commission or document giving authority to do something : an act, instrument, or
obligation by which one person authorizes another to do something which he has not otherwise a right to do and thus
secures him from loss or damage
For SBVR, it is important to note that an authorization is explicit (from “sanction”), and that without it, there is not otherwise
a right to do something (from “warrant”).
12.5.3 Exceptions
Authorizations fall under the more general topic of exception. In everyday business language, to ‘make an exception’ is
generally understood to mean [MWUD “exception” 1] “the act of excepting or excluding: exclusion or restriction (as of a
class, statement, or rule) by taking out something that would otherwise be included.” An ‘exception’ is what is omitted from
consideration.
In SBVR, the Severability Principle permits elements of guidance to be given separately (individually), raising the possibility
that one element of guidance might actually be intended as an exception with respect to another. The general element of
guidance and its exceptions are always in the same body of shared guidance.
SBVR’s approach to exceptions, which includes authorizations, is based on the fundamental principles for elements of
guidance given in sub clause 12.3. The following describes how exceptions and authorizations may be specified in SBVR.
This approach uses the verb concepts specified above (in 12.4.1) to allow for more specific cases to be specified for some
more general element of guidance. This discussion will use the ‘element of guidance authorizes state of affairs’ verb
2. Ronald G. Ross, “The Light World vs. the Dark World ~ Business Rules for Authorization,” Business Rules Journal, Vol. 5, No. 8
(August 2004), URL: http://www.BRCommunity.com/a2004/b201.html
A state of affairs being ‘authorized’ means that some specific element of guidance in a body of shared guidance entails that the
state of affairs may validly occur, i.e., is not an error or conflict with the more general rule. Support for exceptions (and
authorizations) in this approach is accomplished as follows.
• An operative business rule is specified to declare that some given area of business activity is prohibited except where
there is some explicit advice of permission given (i.e., a ‘dark’ area is declared).
• Explicit advice(s) of permission, qualified as appropriate, are specified to declare selective exceptions/authorizations.
Without such permissions, there would otherwise be no right to do something.
In general, a logical OR is always assumed between the more specific cases given separately from the more general element of
guidance. The body of shared guidance can contain any number of ‘exceptions’ to general cases without introducing conflicts
as long as the general case element of guidance allows for exceptions.
The two Examples illustrate different subjects for authorization. The first authorizes an action (use of a vehicle on an ice road)
under given conditions, whereas the second authorizes people to carry out an action (making a payment).
EXAMPLE
Two guidance statements, expressing a general rule and a more specific case for EU-Rent:
Vehicle Usage Rule
A vehicle may use an ice road only if the use is authorized by a Vehicle Usage Advice.
Arctic Circle Exemption
Any ice road that is north of the Arctic Circle may be used by any vehicle.
The Arctic Circle Exemption is a Vehicle Usage Advice.
These elements of guidance work together like this:
The first element (an operative business rule) sets up the dark area, prohibiting
any use that is not explicitly authorized. It does this by use of the verb concept
‘element of guidance authorizes state of affairs’.
The second element is one of perhaps many Vehicle Usage Advices. The
concept ‘Vehicle Usage Advice’ is a category of advices within EU-Rent’s
body of shared guidance.
Note that this Example assumes the standard SBVR constructs have been used, e.g., ‘vehicle’ and ‘ice road’ are assumed to
be defined terms; as well as the verb concept (vehicle uses ice road) being defined and objectified as ‘use’. For simplicity,
‘being north of the Arctic Circle’ is taken to be a characteristic of an ice road, but other, more elaborate solutions could have
been worked out.
Three guidance statements, expressing a general case and two more specific cases, with facts that classify the specific cases
and connect them to the general case:
Guidance Statements:
Payments Business Rule
A person may make a payment only if a Payment Authorization authorizes that the person make the
payment.
Senior Manager Exemption
Any senior manager may make any payment.
Jane Smith may make any payment.
Facts:
The Senior Manager Exemption is a Payment Authorization.
“Jane Smith may make any payment” is a Payment Authorization.
The first element (an operative business rule) sets up the dark area, prohibiting any payment that is not explicitly
authorized. The verb concept used is ‘element of guidance authorizes state of affairs’.
The second element is a blanket advice of permission that allows any person who is a senior manager to make a payment.
The third element stipulates that a specific person (Jane Smith) may make payments.
This Example assumes the defined verb concept ‘person makes payment’. It also assumes that the terms used are defined
(e.g., person, payment) and that Jane Smith is a known person (and no assumption beyond that is made about her). The two
facts classify the second and third elements as ‘Payment Authorizations’, a category of advices of permission in the body of
shared guidance, and thus relate them to the general case, in which ‘Payment Authorization’ plays a role.
Regarding any person and payment, the exception condition of the rule statement is that the person be explicitly permitted to
make the payment, either directly (as in the case of Jane Smith) or indirectly (as in the case of any senior manager). The
advice of permission statements express, for certain persons and any payment, that a person is permitted to make the
payment. It can be determined, for every instance of the verb concept ‘person makes payment’, that the condition is
satisfied. As long as a person satisfies either exception condition of the rule, that person is permitted to make any payment
– i.e., that he or she has ‘authorization’.
Another acceptable approach, illustrated below by a reworking of the second Example given for Approach 1, is that the
business has some concept(s) to help express authorizations.
Consider the following rule and supporting statements that use the concept ‘authorized payer’, which has been defined as
“person that may make any payment”.
Given the definition of ‘authorized payer’, these two statements meet the same business requirement as the advice
statements in the second Example given for Approach 1 – that senior managers and Jane Smith may make any payment.
Regardless of the definition of ‘authorized payer’, these two statements clearly satisfy the condition of the rule statement by
identifying instances of ‘authorized payer’, which is the concept considered by the condition in the rule.
A third approach is to simply specify a set of elements of guidance whose conditions are mutually-exclusive.
EXAMPLE
1. The state sales tax must be charged on each order shipped within the state.
2. The state sales tax must not be charged on an order shipped out-of-state.
Note that the second rule above would not be considered to be “an exception” to the first. Rather, its expression includes
“out-of-state” to differentiate it from orders shipped “within the state”. This accommodation avoids a collision between the
meanings of the rules that would otherwise arise.
1. A structural rule uses universal quantification (e.g., “each” or “all”) to propose a necessary characteristic of a concept.
The structural rule proposes that something is always true about all instances of the concept.
2. A structural rule proposes a necessary characteristic of an individual noun concept - no universal quantification is
used because it is implicit in referring to the one and only instance of the individual noun concept.
3. Cases other than 1 and 2 above: a structural rule does not propose a necessary characteristic of a concept, but it
proposes something to be necessarily true. See Rule 4 in the examples below.
A fact that a concept has a necessary characteristic is a structural rule that the characteristic is always true about each instance
of the concept. How is it a structural rule? It is a proposition that the necessary characteristic is always true of each instance
of the concept. Conversely, a structural rule proposes that a characteristic is a necessary characteristic of a concept if and only
There is a logical connection between concepts and structural rules. A starting point of the logical connection is these two
necessary truths about concepts:
1. For each concept, each characteristic it incorporates is attributed to each instance of the concept.
2. For each individual noun concept, the instance of the individual noun concept exists.
From this starting point, considering concepts together, there are any number of propositions can be proved to be true by
logical implication. A structural rule is logically connected to concepts when it proposes that one of these propositions is
necessarily true. Structural rule statements often facilitate a deeper understanding of concepts, but a structural rule never
changes a concept. Rather, it proposes what logically follows from an understanding of concepts, and in some cases, from
business decisions that define specific thresholds.
In cases where definitions of concepts taken together do not logically imply something proposed in a structural rule statement,
there is an inadequacy or mistake in either the relevant definitions or in the rule statement. The case of inadequate definitions
is common and is acceptable in some communities. It occurs when a community shares a tacit understanding of many of its
concepts. Words either have no explicit definitions or have definitions that use words that have no explicit definitions.
Structural rule statements in this context can be correct, even if they logically follow from a tacit understanding of what
characteristics are incorporated by concepts.
Practices of developing concept systems range from creating highly precise, rigorously complete definitions for all concepts to
creating no or few definitions, or largely descriptive or informal ones, but many structural rules. Where highly precise,
rigorously complete definitions are given there is less need for structural rules because such rules would appear redundant.
Where definitions are missing or unclear, or largely descriptive or informal, structural rules are important to sharing a common
understanding of concepts.
Advices of possibility relate to concepts following the same pattern by which structural rules relate to concepts.
Where there is a definition, a concept is just what the definition says, no more and no less. Something called a “definition” as
used in common speech is not necessarily a definition as defined by SBVR. It might be just a general description. It is only a
definition if it defines the concept, differentiating it from others. As a matter of practice, a simple test for adequacy and
correctness of definitions is to restate a rule by substituting a definition of a concept into a rule statement in place of the
concept’s designation. Does the restatement express the same meaning as the original statement? If not, the so-called
definition is inadequate or incorrect. Consider the example below:
sports car
Definition: kind of car
A restatement of Rule 1, “A rental of a kind of car must include collision coverage,” expresses a different meaning, so the
definition is inadequate. Here is an adequate definition:
sports car
Definition: small, fast automobile equipped for racing
When the adequate definition is substituted into a restatement of the rule, the same rule is expressed. Consider some examples
of structural rules related to ‘sports car’.
Rule 3 does not change the meaning of ‘sports car’. Rather, it expresses an understanding that every Corvette is a small, fast
automobile equipped for racing. This understanding is found in the meaning of Corvette. Agreement on this understanding
might come from analysis of a definition of ‘Corvette’, or it might be established by a business decision about meaning based
on tacit knowledge. Structural rules expressing such business decisions are often important guides to business knowledge.
EU-Rent Speedway
Definition: the test track owned by EU-Rent where any small car is testable
Rule 4 follows logically from the individual noun concept ‘EU-Rent Speedway’. An individual noun concept always has one
instance. So there is always a EU-Rent Speedway, and therefore, a test track.
Rule 5 does not appear to follow logically from an understanding of definitions. It might well be true that the EU-Rent
Speedway is in Germany, but Rule 5 proposes that it is always true - true in all possible worlds. Structural rules are about what
is true in all possible worlds, so a statement of a fact, not a rule, is more appropriate here:
Finally, Rule 7 proposes a necessary characteristic of the concept ‘sports car’. This characteristic is an implied characteristic
because it is not an incorporated characteristic of ‘sports car’. It follows logically from the combination of characteristics of
‘sports car’ and ‘EU-Rent Speedway’.
12.7.1 General
Certain organizations, called authorities, have the need and the standing to create and adopt elements of guidance. Such
organizations are not merely communities – they must conduct business in some organized fashion.
Elements of guidance may be adopted from external authorities. These external authorities might be membership-based
associations for certain industries (e.g., finance, healthcare, telecommunications), for certain professional practices (e.g.,
accountancy, law, human resources), or for certain domain expertise (e.g., biofuels, photography, software engineering). If
elements of guidance are adopted, the concepts – noun concepts and verb concepts – used in defining the elements of guidance
must be included in the body of shared concepts of the adopting authority. This usually means that the concepts have been
adopted from, or defined in collaboration with, the providing authority that is the source of the adopted elements of guidance.
This diagram shows the SBVR XMI Metamodel and SBVR vocabulary by two different interpretations. See Clause 13 and Annex C.
authority
Definition: organization with the standing to create or adopt elements of guidance
Dictionary Basis: power to require and receive submission : the right to expect obedience : superiority derived
from a status that carries with it the right to command and give final decisions [MWUD ;
authority’ 2a]
power to influence thought and opinion [MWUD ; authority’ 3a]
Example: a business (e.g., EU-Rent), a governmental body, a standards organization, a professional
society, a club, a homeowner’s association
Note: People who create, adopt or use elements of guidance must understand the concepts on which
they are based. Therefore, any person working within an authority who is involved in creating,
adopting, and/or using an element of guidance must be a member of the semantic community
for each concept referenced within the statement(s) for such element of guidance.
Note: An authority might be a specialist body that creates elements of guidance for other authorities
to adopt, rather than applying the elements of guidance itself.
Note: The group of people and organizations to which given elements of guidance apply is often
broader than the authority that has jurisdiction over the elements of guidance. Example: The
group of people to whom the elements of guidance of an airline frequent-flyer program apply
is much wider than the authority (airline or airline suborganization) that has jurisdiction over
those elements of guidance.
Note: It is possible and common for a person or organization to be subject to business rules of more
than one authority.
adopting authority
Concept Type: role
Definition: authority that adopts some element of guidance
owning authority
Concept Type: role
Definition: authority that has business jurisdiction over some element of guidance
adopting authority adopts element of guidance from owning authority citing reference
Definition: the authority adopts the element of guidance from the owning authority citing a
reference that points to a guidance statement that expresses the element of guidance
Necessity: The reference that is cited by an owning authority that adopts an element of guidance
from an owning authority points to a guidance statement that expresses the element of
guidance and that is included in a rulebook that is determined by a speech community
of the owning authority.
Note: An element of guidance cannot be adopted in the abstract; it is adopted via a representation of
the meaning - a guidance statement
Note: Subsequent guidance statements of the adopted element of guidance (e.g., in other natural
languages) must have the same meaning as the first adopted guidance statement.
Note: When a guidance statement is adopted, all concepts in the referenced source that are used in the
guidance statement are also adopted. These adoptions may be explicit in the adopting
authority’s vocabulary, or implicit, within the source vocabulary.
Note: The primary guidance statement used for the element of guidance does not have to be the same
as the primary guidance statement in the source. Concepts used in the element of guidance
should be represented by their preferred terms and verb symbols in the adopting body of shared
guidance.
Example: EU-Rent has adopted an behavioral business rule from from an industry glossary: “Before
handover of a rented car, the rental contract must be signed by the customer responsible for the
rental”. EU-Rent uses its own preferred terms, ‘rental contract document’ and ‘renter’ for its
primary guidance statement: “The rental contract document of a rental must be signed by the
renter of the rental before handover of the rented car of the rental”.
SBVR’s use of MOF and how the SBVR XMI Metamodel handles certain semantic modeling challenges using MOF 2.0
are described below. The SBVR XMI Metamodel is available as an XML document (see 15.2). It is drawn from the text
of Clauses 8, 9, 11 and 12. UML Figures in those clauses illustrate the Metamodel using an interpretation explained in
13.2 below. This interpretation should not be confused with the 'Business Object Model' interpretation of the same
figures explained in Annex C, which is based on a different profile. An example model that instantiates the SBVR XMI
Metamodel is then shown and explained. Finally, the SBVR Content Model for SBVR is explained.
Models of business concepts, business vocabularies and business guidance can be communicated in terms of SBVR using
XML documents that conform to the SBVR XMI XML schema (see Clause 15.3) created from the SBVR XMI
Metamodel (see 15.2).
How each of these is used with respect to SBVR is explained below. The UML figures in Clauses 8 through 11 use
normal UML notation to show the SBVR XMI Metamodel except for custom notations described below.
13.2.1 Metamodels
A model is a representation of facts. A model instantiates a metamodel which describes the structure and language by
which facts are represented in models. A metamodel is itself a model which instantiates the MOF model (the meta-
metamodel). The diagram below illustrates how SBVR fits into the MOF metamodeling architecture.
«instantiates» «instantiates»
«instantiates» «instantiates»
The SBVR XMI Metamodel (see Clause 15.2) instantiates the MOF model. It describes SBVR Content models, which
represent facts built on SBVR concepts represented in these vocabularies:
The SBVR XMI Metamodel does not include definitions, rules, notes, examples or semantic formulations. Rather, it
mirrors the SBVR namespaces for those vocabularies. It provides a MOF means of expression (classes and associations)
where the SBVR vocabulary namespaces identify an English language means of expression (designations and verb
concept wordings). Both use the same signifiers. A result of this alignment of the SBVR XMI Metamodel with the SBVR
vocabulary is that knowledge of the vocabulary implies knowledge of the Metamodel and vice versa. The SBVR XMI
Metamodel is serialized as an XML document (see 15.2).
SBVR Content models represent facts that are about or within a body of shared meanings. For example, facts about EU-
Rent’s concepts, rules, their representations and their semantic formulations can be represented in a SBVR Content
model. A thing represented in a model is identified by facts about the thing that satisfy a reference scheme. An example
SBVR Content model is shown in 13.4 below. SBVR Content models are often incomplete representations of a body of
shared meanings. The size of a model depends on what facts are being represented, which can be as little as a single fact.
One particular SBVR Content model is the SBVR Content Model for SBVR (see sub clause 15.4), which is a model of
SBVR in terms of itself. It is described in sub clause 13.5 below.
All uses of the terms “conceptual schema” and “fact model” in this clause are as defined in sub clause 10.2.2.1.
SBVR model content is represented in SBVR Content models according to the SBVR XMI Metamodel. SBVR Content
models instantiate the SBVR XMI Metamodel, not the UML Metamodel. Another transform would be needed to represent
SBVR model content using UML.
Both the mapping of the SBVR Vocabulary to MOF and the representation of SBVR model content using MOF are
described below, divided using the following headings.
Heading Purpose
MOF Elements of the SBVR XMI Metamodel Prescriptive description of the mapping of the SBVR Vocabulary into a
MOF-based metamodel
Elements of SBVR Content Models Prescriptive description of how facts are represented within an SBVR
Content model
Rationale Design rationale explaining aspects of SBVR or MOF that led to the MOF
representations described here
«merge»
«merge»
Vocabulary f or Describing
Business Vocabularies
Vocabulary f or Describing
Business Rules
«merge»
«merge»
SBVR
The merge relationships between the packages exactly reflects the include relationships between the corresponding SBVR
vocabularies.
Rationale
Each of the packages merged into the SBVR package can serve as a metamodel in its own right as a subset of the overall
SBVR XMI Metamodel. These packages correspond with compliance points described in Clause 2.
SBVR XMI Metamodel packages can be imported or merged into other MOF-based metamodels. For example, a
metamodel of organizational structure can import SBVR’s ‘Meaning and Representation Vocabulary’ package as a
starting point for modeling organization types and organizational roles. Similarly, a metamodel of business process can
import SBVR’s ‘Vocabulary for Describing Business Rules’ package in order to relate processes to rules and can
import SBVR’s ‘Logical Formulation of Semantics Vocabulary’ package for modeling semantic formulations of rules
that govern processes. Such rules can use concepts from the metamodel of business process (e.g., ‘process’) if those
concepts are also modeled using elements of classes in the SBVR XMI Metamodel packages (e.g., an element of the class
‘noun concept’ for the concept ‘process’). Also, other metamodels can import individual model elements from SBVR in
cases where a portion of SBVR smaller than a package is wanted. Importing from SBVR is appropriate only when using
SBVR concepts as defined by SBVR.
The metamodel includes generalizations between classes reflecting generalizations between the represented noun
concepts. Each SBVR concept besides ‘thing’ specializes ‘thing’, so the classes have the class ‘thing’ as a superclass
either directly or indirectly.
The classes in the metamodel that mirror the following concepts are abstract (isAbstract = true):
Clause 8: meaning, concept, expression, state of affairs, actuality, thing, set, fact
Clause 9: semantic formulation, closed semantic formulation, logical formulation, modal formulation,
logical operation, binary logical operation, quantification, projecting formulation,
bindable target
Example Vocabulary:
characteristic
General Concept: verb concept
Synonym: unary verb concept
Figure:
verb concept
characteristic
also: unary verb concept
characteristic
{element import characteristic as unary verb concept}
An element of an abstract class exists in a MOF-based model only by instantiating a nonabstract subclass of that abstract
class.
Rationale
Use of aliasing, though not common in MOF-based metamodels, keeps a strong alignment of the SBVR XMI Metamodel
with the SBVR vocabulary.
The SBVR XMI metamodel is intended to provide for representing meanings and their representations. It is not intended
for representing things in general. Making some classes abstract simplifies interpretation of SBVR Content models by
limiting them to SBVR’s scope.
Some UML figures in Clauses 8 through 12 show partitioning or disjoint categories using UML notation, but those
features are not included in MOF 2.0, so partitioning and disjointness are not reflected in the SBVR XMI Metamodel.
Also, MOF 2.0 does not support association classes. Each case of an association class in a figure corresponds with a verb
concept and a noun concept, and each of the two is represented separately in the SBVR XMI Metamodel.
Example Vocabulary:
variable is unitary
Figure:
v a ri a b l e
is u n it a r y
variab le
Rationale
The attribute is optional in support of the Open World Assumption, explained in 13.4.2 below.
In cases of more than one verb concept wording (synonymous forms), one is chosen to name the association that does not
imply a designation in an attributive namespace. Then there is an alias for the association for each other verb concept
wording that has matching placeholder expressions (which implies matching association end names).
In figures in the normative clauses, a label on an association line that includes a reading direction arrow (“ ”)
is meant to be read starting with the name of the class on the first end and ending with the name of the class on the other
end, except where a name for an end is already in the label. The association names match this reading exactly. Including
the names of an association's ends in the association’s name makes the association's name unique within a package, as
required by MOF.
In cases where an association’s ends both connect to the same class, subscripts are used on placeholders to distinguish
them. In the association name and its ends’ names the subscripts are raised to normal text and serve to distinguish the
ends.
Example Vocabulary:
Figure:
specializes
generalizes
concept
concept1
concept2
concept
Some structural rules impose multiplicity constraints for binary verb concepts. These are shown in the Figures in Clauses
8 through 12 and are included in the SBVR XMI Metamodel.
Example Vocabulary:
thing is in set
Synonymous Form: set includes thing
Synonymous Form: set has element
Figure:
includes
set thing
is in element
In each case where an attribute and an association end represent the same role, the SBVR XMI Metamodel includes a tag
that tags both the attribute and the association end. The tag connects them to show their correlation. The tag’s name is
“org.omg.sbvr.sameRole,” its value is "" (the empty string), and its elements are the attribute and the association end.
Where structural rules impose multiplicity constraints, they are shown in figures and are included in the SBVR XMI
Metamodel for association ends and for attributes.
Rationale
The attributes described in the sub clause are in addition to the associations that represent the binary verb concepts - the
reason for the distinction is explained below.
Example Vocabulary:
Figure:
thing
text integer
The concepts ‘text’, ‘integer’, and ‘number’ are SBVR noun concepts, so their instances can be represented like
instances of other noun concepts (see 13.2.2 MOF classes for SBVR Noun Concepts) without using the ‘value’ attributes
shown above. A specific number can be identified by a designation. The ISO 6093 Number Namespace includes
designations of all integers and of numbers with decimal places. Each designation in the ISO 6093 Number Namespace shall
be interpreted according to [ISO 6093].
Each text value is a Unicode string and is considered without regard to markup.
Rationale
The attributes are optional because SBVR allows that texts and integers, like other kinds of things, can be described by
facts without necessarily being identified. Also, the data types ‘String’ and ‘Integer’ in MOF have size limitations, so
the attributes cannot be used for all cases. To refer to a string or integer that is beyond the MOF limitations, a model can
identify the string or integer using facts about it that satisfy a reference scheme. For example, the number 999999999999
can be identified as having a designation in the ISO 6093 Number Namespace with the signifier “999999999999”.
13.4.1 Multiclassification
MOF 2.0 requires that each element is described by one class (its “metaClass”). Sometimes a thing cannot be represented
by an element of a single class. This happens when a thing is an instance of multiple concepts, neither one specializing
the other. To represent this case, multiple elements are used, one per concept. A link of the association ‘thing1 is
thing2’ (representing the verb concept ‘thing1 is thing2’) is used to indicate that the multiple elements represent the
same thing. A consumer of a model in which two elements represent the same thing should assume that a fact represented
in reference to either element applies to both elements (since they both represent the same thing).
As an example, consider the noun concepts ‘closed logical formulation’ and ‘obligation formulation.’ Neither
specializes the other. Where an obligation formulation is a closed formulation that formulates a proposition, a model uses
one element of type ‘closed logical formulation’ and a separate element of type ‘obligation formulation’ along
with a ‘thing1 is thing2’ link that says the two elements represent the same thing.
The open world assumption is that representation of facts in a model does not imply that those are the only facts of a
particular type nor that they are the only facts of a particular type about a subject thing - there are no implications to be
taken from what is not represented in a model. For example, consider facts about a set S. The two facts, “1 is in S” and
“2 is in S,” do not convey the same meaning as “S = {1, 2}” because the two facts do not imply anything about whether
other things are in S.
In general, models represent facts with an open world assumption. But some reference schemes use roles of binary verb
concepts extensionally, so models represent a complete extension with respect to a subject thing being identified.
MOF supports the open world assumption about instantiation of classifiers (classes and associations). MOF’s attributes
support representation of an entire extension of an attribute with respect to a given subject. In order to enable a clear
distinction in a model between individual facts and complete extensions with respect to a subject, association links are
used to represent individual facts of a binary verb concept while attributes are used when identifying a complete
extension of a binary verb concept with respect to a particular subject. This means that a fact can in one model be
represented by a link, and in another by a value of an attribute of an element. The fact is represented using an attribute
only when the complete extension of the verb concept is being represented for the subject. Examples of both cases
appear in the example below. SBVR has a designation in an attributive namespace for every role that is extensionally
used by a reference scheme such that the SBVR XMI Metamodel has the required attributes to satisfy all of SBVR’s
reference schemes.
company
officer
EU-Rent
The following figure is a UML instance diagram showing an SBVR Content model of the example. For simplicity, only
facts expressible in terms of the Meaning And Representation Vocabulary and the Logical Formulation of Semantics
Vocabulary are shown. Some end names are elided where they are obvious from the class names or for ‘thing1 is
thing2’ (where it makes no difference). For elements of the vocabulary, the three layers of expression, representation,
and meaning are apparent in the diagram. The rule, shown at the bottom, connects to the meanings of the elements of the
vocabulary though its logical formulation.
</xmi:XMI>
The example shows some of the points explained previously about SBVR Content models.
• Fact Model - the entire XML content represents a fact model, which is a combination of a conceptual schema and a
set of facts. The conceptual schema of the fact model is identified in the heading where it says, xmlns:sbvr=”http://
www.omg.org/spec/SBVR/20070901/SBVR.xml.” The URL identifies a document that serializes the SBVR Content Model
for SBVR, which describes the concepts and rules that make up the conceptual schema (see 13.4 and 15.3). The
elements of the XML content represent the set of facts of the fact model.
• Multiclassification - There is an occurrence of ‘thing1IsThing2’ which is used to connect a pair of elements that represent
the same thing. There is an element of type ‘obligationFormulation’ (xmi:id="ob") and another element of type
‘closedLogicalFormulation’ (xmi:id="ob2"). Neither type specializes the other so there is one element of each type and a
‘thing1IsThing2’ link indicates that the two elements represent the same thing.
• Open World Assumption - Links, rather than attributes, are always used where there is an open world assumption, such
as for the fact that the individual noun concept ‘EU-Rent’ specializes the concept ‘company’ - there is no indication
that these concepts are not involved in other specializations.
• Attributes giving Complete Extensions for a Subject - Each specification of an attribute occurs where the entire
extension of the attribute is being specified for a subject thing, such as for identifying the two placeholders of the verb
concept wording ‘company appoints officer’ or the two roles of the verb concept. The one ‘variable’ in the example is
serialized with “restrictingFormulation=””” representing that it has no restricting formulation. In a number of cases,
attributes are unspecified because the entire extension of the attribute for an element is not being specified. For
example, the attribute ‘representation’ is unspecified for the elements representing meanings (e.g., ‘company-c’ and
‘officer-c’ - there can be any number of representations of a meaning, and the example model does not specify them all.
However, each representation has exactly one meaning, so the ‘meaning’ attribute is specified for each representation to
identify its one meaning.
The XML patterns provide a normative definition of which SBVR concepts are represented by each use of SBVR
Structured English in the vocabulary descriptions and entries contained in Clauses 7 through 12.
The general principles used for the patterns are these: First, the facts of what is presented using SBVR Structured English
are represented using XML. Second, for the objects referenced by those facts, further facts are represented to satisfy
reference schemes for those objects wherever sufficient detail is given. The principles are applicable to SBVR-based
communication in general. The XML files identified in sub clause 13.3, which are created based on these principles
following the patterns below, are examples of XML serializations of SBVR Content models.
The xmi:id values used in the patterns below are replaced by different values in the actual XML documents because the
multitude of repetitions of the patterns need their own unique xmi:id values. But the xmi:id values shown below
consistently and correctly show relationships within the patterns. Most xmi:id values are referenced only locally within
the XML elements for the same Structured English entry, but some are referenced beyond that scope and are shown in
bold blue (e.g., "vocabulary") so that references to them are easily followed. The different types of vocabulary entries
(term, name and verb concept wording) are mutually exclusive. They each introduce an xmi:id value "meaning" which is
referenced in other patterns.
Made-up names (e.g., “Xyz Vocabulary”), terms (e.g., “example term”) and verb concept wordings (e.g., “example is
seen”) are used to show the patterns and to show how signifiers and other expressions appear in XML. Certain
assumptions are made by the patterns based on the way the vocabularies in Clauses 7 through 12 are interrelated. The
patterns assume that a vocabulary being described has a name in the Vocabulary Registration Vocabulary (of Clause 7). The
patterns assume that where a term or name is used with a formal interpretation in Structured English, that term or name
is found by way of the vocabulary namespace derived from the vocabulary being described. These assumptions are
correct regarding Clauses 7 through 12, but they cannot necessarily be assumed about all vocabulary descriptions.
Each pattern has a part that remains unchanged for the kind of entry or caption shown (except for differences in xmi:id
values as described above) and a part that varies based on the content of the entry. The part that varies is shown in bold
italics. It can be a text or integer value, a quoted xmi:id of an object introduced elsewhere, or an XML tag.
The final XML documents created from the vocabulary clauses can differ slightly from what is exactly produced from the
templates, but the represented meaning does not differ. In cases where two objects are created and then connected by a
‘thing1IsThing2’ link, the objects can be combined into one if they are of the same class or if one class specializes the
other. In cases where the patterns would create two identical XML elements, only one is actually created. For example,
all uses of an element for the integer 1 can use the same element.
Xyz Vocabulary
<sbvr:vocabulary xmi:id="vocabulary"/>
<sbvr:nameReferencesThing thing="vocabulary" name="XyzVocabulary"/>
<sbvr:language xmi:id="language"/>
<sbvr:vocabularyNamespaceIsForLanguage vocabularyNamespace="vocabularyNamespace" language="language"/>
<sbvr:nameReferencesThing thing="language" name="English"/>
<sbvr:name xmi:id="English" signifier="l-s" meaning="l-c"/>
<sbvr:individualConcept xmi:id="l-c" instance="language"/>
<sbvr:text xmi:id="l-s" value="English"/>
<sbvr:designationIsInNamespace designation="English" namespace="ISO639-2English"/>
<sbvr:vocabularyNamespace xmi:id="ISO639-2English"/>
<sbvr:namespaceHasURI namespace="ISO639-2English" URI="lm-u"/>
<sbvr:URI xmi:id="lm-u"
value="http://www.loc.gov/standards/iso639-2/php/English_list.php"/>
Namespace URI: http://some.uri
<sbvr:namespaceHasURI namespace="vocabularyNamespace" URI="vn-uri"/>
<sbvr:URI xmi:id="vn-uri" value="http://some.uri"/>
Speech Community: English Mechanics
<sbvr:speechCommunityOwnsVocabulary speechCommunity="em" vocabulary="vocabulary"/>
<sbvr:conceptHasInstance concept="em-concept" instance="em"/>
<sbvr:speechCommunity xmi:id="em"/>
It is assumed for this entry that there is a name ‘English Mechanics’ for an individual noun concept like this:
<sbvr:name xmi:id="em-name" signifier="em-s" meaning="em-concept"/>
<sbvr:individualConcept xmi:id="em-concept"/>
<sbvr:text xmi:id="em-s" value="English Mechanics"/>
The captions “Description:”, “Note:” and “Source:” are handled for a vocabulary in the same way as for terms within a
vocabulary, as shown below, except that the related meaning is given as meaning="vocabulary-concept".
example term
Reference Scheme: An id of the example term and the set of authors of the example term
<sbvr:referenceScheme xmi:id="refScheme" simplyUsedRole="ethi-r2" extensionallyUsedRole="etha-r2"
identifyingCharacteristic=""/>
It is assumed for this entry that there is a binary verb concept ‘example term has id’ whose ‘id’ role has
xmi:id="ethi-r2".
It is assumed for this entry that there is a binary verb concept ‘example term has author’ whose ‘author’ role has
xmi:id="etha-r2".
Example Name
The captions “Concept Type:”, “Description:”, “Dictionary Basis:”, “Example:”, “General Concept:”, “Necessity:”,
“Note:”, “Possibility:”, “See:”, “Source:”, “Subject Field:” and “Synonym:” are handled for a name in the same way as
for terms as shown above.
example is seen
<sbvr:sententialForm xmi:id="exampleIsSeen" expression="eis-e" meaning="meaning" placeholder="eis-p"/>
<sbvr:verbSymbol xmi:id="example.isSeen" signifier="isSeen-s" meaning="meaning"/>
<sbvr:characteristic xmi:id="meaning" role="eis-r"/>
Xyz Rules
<sbvr:set xmi:id="ruleSet"/>
<sbvr:nameReferencesThing thing="ruleSet" name="XyzRules"/>
<sbvr:name xmi:id="XyzRules" signifier="XyzRules-s" meaning="ruleSet-concept"/>
None.
The captions “Description:”, “Note:”, and “Source:” are handled for a rule set in the same way as for terms within a
vocabulary, as shown above, except that the related meaning is given as meaning="ruleSet-concept".
In this case where the guidance type is an SBVR concept, the line above that says,
“<sbvr:elementOfGuidance xmi:id="meaning"/>”, is replaced with this:
<sbvr:operativeBusinessRule xmi:id="meaning"/>
Guidance Type: exemplary rule
<sbvr:conceptHasInstance concept="exemplaryRule-c" instance="meaning"/>
This pattern is used if the concept type is not an SBVR concept. There is assumed to be a term ‘exemplary rule’ for
a general concept like this:
<sbvr:term xmi:id="exemplaryRule" signifier="exemplaryRule-s" meaning="exemplaryRule-c"/>
<sbvr:generalConcept xmi:id="exemplaryRule-c"/>
<sbvr:text xmi:id="exemplaryRule-s" value="exemplary rule"/>
Enforcement Level: strict
<sbvr:operativeBusinessRuleHasLevelOfEnforcement
operativeBusinessRule="meaning"
levelOfEnforcement="strict-instance"/>
<sbvr:conceptHasInstance concept="strict-concept" instance="strict-instance"/>
<sbvr:levelOfEnforcement xmi:id="strict-instance"/>
It is assumed that the name ‘strict’ represents an individual noun concept like this:
<sbvr:name xmi:id="strict" signifier="strict-s" meaning="strict-concept"/>
<sbvr:individualConcept xmi:id="strict-concept"/>
<sbvr:text xmi:id="strict-s" value="strict"/>
Name: Rule 25
The captions “Description:”, “Example:”, “Note:” and “Source:” are handled for a guidance statement in the same way as
for terms as shown above.
A
acceptable world 117
actual world 118
adopted definition 150
adopting authority 193
adopting authority adopts element of guidance from owning authority citing reference 193
advice 176
advice is derived from business policy 177
advice of contingency 177
advice of optionality 178
advice of permission 177
advice of possibility 177
advice statement 180
aggregation formulation 76
alethic modality 118
answer nominalization 82
antecedent 67, 118
argument 118
arity 118
aspect 158
association 155
assortment 157
at-least-n quantification 72
at-least-n quantification has minimum cardinality 71
at-most-n quantification 72
at-most-n quantification has maximum cardinality 72
at-most-one quantification 72
atomic formula 119
atomic formulation 60
atomic formulation has role binding 60
atomic formulation is based on verb concept 61
attributive namespace is for subject concept 40
attributive namespace is within vocabulary namespace 40
attributive namespace 39
authority 192
authority authors guidance statement 193
authority defines element of guidance 193
authority has business jurisdiction over element of guidance 193
auxiliary variable 85
B
bag projection 86
behavioral business rule 176
binary logical operation 66
binary logical operation has logical operand 1 66
binary logical operation has logical operand 2 66
binary verb concept 24
bindable target 58
body of shared concepts includes concept 142
C
cardinality 49
categorization 156
categorization scheme 148
categorization scheme contains category 148
categorization scheme is for general concept 148
categorization type is for general concept 149
categorization type 149
category 148
characteristic 24
characteristic is essential to concept 147
characteristic type 147
characterization 157
classification 156
closed logical formulation 55
closed logical formulation formalizes statement 56
closed logical formulation means proposition 56
closed projection 86
closed projection defines noun concept 86
closed projection defines verb concept 87
closed projection formalizes definition 86
closed projection means question 89
closed semantic formulation 54
closed semantic formulation formulates meaning 54
comment 167
communication content is composed of representation 167
communication content 167
community has subcommunity 141
community has URI 141
community 140
concept has definition 33
concept has designation 33
concept has extension 46
concept has facet 158
concept has implied characteristic 147
D
definite description 150
Definition Origin 150
definition serves as designation 151
definition 33
definitional business rule 175
definitional rule 175
delimiting characteristic 147
deontic modality 119
derivable concept 151
description portrays meaning 166
description 166
descriptive example illustrates meaning 166
descriptive example 166
designation context 161
designation has signifier 33
designation is implicitly understood 151
designation is in namespace 39
designation 32
disjunction 66
document content 167
domain grammar 120
domain 119
F
facet 158
fact 29
fact model 127
fact model includes fact 127
fact model is based on conceptual schema 127
fact type 120
fact type has fact in fact model 127
fact type is elementary in conceptual schema 127
fact type is internally closed in conceptual schema 127
first-order instance 120
first-order type 120
Formal Logic and Mathematics Vocabulary 17, 117
formal model 121
formal representation 166
fundamental concept 158
G
general concept 21
general concept objectifies verb concept 159
general verb concept 23
I
icon 162
implication 67, 121
implication has antecedent 67
implication has consequent 67
implied characteristic 147
impossibility 121
impossibility statement 182
inconsequent 68
individual noun concept 25
individual verb concept 24
informal representation 165
information source 168
instance 45
instantiation formulation 61
instantiation formulation binds to bindable target 62
instantiation formulation considers concept 62
integer 49, 121
intensional definition 149
intensional definition uses delimiting characteristic 150
is-facet-of proposition 157
ISO 1087-1 (English) 18
ISO 6093 Number Namespace 18
ISO 639-2 (Alpha-3 Code) 18
ISO 639-2 (English) 18
is-property-of verb concept 156
is-role-of proposition 157
K
Kind of Guidance Statement 179
L
language 40
logical formulation 55
logical formulation constrains projection 85
logical formulation kind 55
Logical Formulation of Semantics Vocabulary 17, 53, 196
logical formulation restricts variable 57
logical negation 67
logical operand 65
logical operand 1 66
logical operand 2 66
logical operation 65
logical operation has logical operand 66
logical variable 121
N
name 162
namespace 39
namespace has URI 39
namespace1 incorporates namespace2 39
nand formulation 68
necessary characteristic 147
necessity 122
necessity formulation 63
necessity statement 182
non-necessity 122
non-necessity statement 183
nonnegative integer 49
non-obligation 122
non-obligation statement 183
nonverbal designation 162
nor formulation 68
note comments on meaning 166
note 166
noun concept 21
noun concept nominalization 77
noun form 36
number 49
numeric range quantification 73
numeric range quantification has maximum cardinality 73
numeric range quantification has minimum cardinality 73
O
objectification 74
objectification binds to bindable target 75
objectification considers logical formulation 75
objectified verb concept 159
obligation 122
P
partitioning 149
partitive verb concept 156
part-whole verb concept 156
permissibility formulation 64
permission 122
permission statement 183
placeholder uses designation 38
placeholder 37
population 123
positive integer 49
possibility 123
possibility formulation 64
possibility statement 183
possible world 123
predicate 123
preferred designation 163
prohibited designation 163
prohibition 123
prohibition statement 181
projecting formulation 76
projecting formulation binds to bindable target 76
projecting formulation has projection 76
projection 83
projection has auxiliary variable 85
projection is on variable 85
projection position 85
property 155
property association 155
proposition 29
proposition corresponds to state of affairs 44
proposition is based on verb concept 174
proposition is false 29
proposition is necessarily true 30
proposition is obligated to be false 30
proposition is obligated to be true 30
proposition is permitted to be true 30
proposition is possibly true 30
proposition is true 29
proposition nominalization 80
proposition nominalization binds to bindable target 81
proposition nominalization considers logical formulation 81
proposition 124
propositional operator 124
R
Real-world Numerical Correspondence 146
reference 167
reference points to information source 168
reference scheme 41
reference scheme extensionally uses verb concept role 42
reference scheme is for concept 42
reference scheme simply uses verb concept role 42
reference scheme uses characteristic 42
reference supports meaning 167
remark 167
representation 32
Representation Formality 165
representation has expression 32
representation is in designation context 161
representation is in subject field 160
representation represents meaning 32
representation uses vocabulary 168
res is sensory manifestation of signifier 163
res 163
restricted higher-order instance 124
restricted higher-order type 125
restricted permission statement 181
restricted possibility statement 182
role 22
role binding 61
role binding binds to bindable target 61
role ranges over general concept 27
rule statement 179
rule 174
rulebook 168
rulebook has URI 169
T
term 161
term denotes thing 163
terminological dictionary 144
terminological dictionary expresses body of shared meanings 145
terminological dictionary has URI 144
terminological dictionary includes representation 144
terminological dictionary presents vocabulary 145
text 30
thing 48
thing has name 163
U
UML 2 Infrastructure 18
unary verb concept 155
unbound variable 126
Unicode Glossary 18
Uniform Resource Identifiers Vocabulary 18
unitary noun concept 24
unitary verb concept 23
universal quantification 71
Universe of Discourse 126
URI 31
V
variable 56
variable has projection position 85
variable is free within semantic formulation 58
variable is unitary 57
variable maps to verb concept role 88
variable ranges over concept 57
verb concept 23
verb concept has role 28
verb concept has verb concept wording 36
verb concept nominalization 78
verb concept objectification 159
verb concept role 22
verb concept role designation 162
verb concept role has role binding 61
verb concept wording 35
verb concept wording demonstrates designation 36
verb concept wording has placeholder 36
verb concept wording incorporates verb symbol 162
verb concept wording is in namespace 39
verb symbol 162
viewpoint 159
vocabulary 143
Vocabulary for Describing Business Rules 18, 171, 196
Vocabulary for Describing Business Vocabularies 17, 139, 196
vocabulary is designed for speech community 143
vocabulary is expressed in language 143
vocabulary namespace 39
vocabulary namespace is for language 40
vocabulary namespace is specific to designation context 161
vocabulary namespace is specific to subject field 160
W
wff 126
whether-or-not formulation 68
whether-or-not formulation has consequent 68
whether-or-not formulation has inconsequent 68
world 126
15.1 General
Several XML documents are derived from this document, particularly for the following vocabularies specified in Clauses 7
through 13. Each of these has a namespace URI specified in Clause 7.
SBVR Vocabulary
In each of the XML documents, an xmi:id used for a designation in a vocabulary namespace is constructed from the signifier
of the designation by upcasing each character that follows a blank and then removing the blanks. Similarly, an xmi:id for a
verb concept wording is constructed from the expression of the verb concept wording by removing subscripts, upcasing each
character that follows a blank and then removing the blanks. This allows any of these designations and verb concept wordings
described by one of the documents to be referenced using a URI which appends a “#” and an xmi:id to the document’s URL.
For example, a URI for ‘noun concept’ is
http://www.omg.org/spec/SBVR/20130601/SBVR-Content-Model-for-SBVR.xml#nounConcept
D- Additional References
NOTE: The SBVR Annexes in the table below are now published as stand-alone documents at the URIs shown solely for
convenience and ease of use. The fact that they are published as separate SBVR specification documents makes no change
to their status as part of the SBVR specification, or the way in which they can be updated under OMG Policies and
Procedures.
URIs:
A.1 General
The most common means of expressing definitions and business rules is through statements, not diagrams. While diagrams
are helpful for seeing how concepts are related, they are impractical as a primary means of defining vocabularies and
expressing business rules.
This specification defines an English vocabulary for describing vocabularies and stating rules. There are many different ways
that this vocabulary and other English vocabularies described using SBVR can be combined with common English words and
structures to express definitions and statements. However expressed, the semantics of definitions and rules can be formally
represented in terms of the SBVR vocabulary and, particularly, in terms of logical formulations (the SBVR conceptualization
of formal logic).
This annex describes one such way of using English that maps mechanically to SBVR concepts. It is not meant to offer all of
the variety of common English, but rather, it uses a small number of English structures and common words to provide a simple
and straightforward mapping.
All formal definitions and rules in this document that are part of ‘SBVR in terms of itself’ are stated using the SBVR
Structured English. These statements can then be interpreted automatically in order to create MOF and/or XMI
representations.
The description of the SBVR Structured English is divided into sub clauses.
term The ‘term’ font is used for a designation for a noun concept (other than an individual noun concept), one that
is part of a vocabulary being used or defined (e.g., modal formulation, verb concept). This style is applied
to the designation where it is defined and wherever it is used.
Terms are usually defined using lower case letters unless they include a proper noun. Terms are defined in
singular form. Plural forms are implicitly available for use.
Names appear using appropriate capitalization, which is usually the first letter of each word, but not
necessarily.
verb The ‘verb’ font is used for designations for verb concepts — usually a verb, preposition, or combination
thereof. Such a designation is defined in the context of a verb concept wording. This font is used both in the
context of showing a verb concept wording (e.g.,
‘reference scheme is for concept’)
and in the context of using it in a statement (e.g.,
“Each reference scheme is for at least one concept.”)
See the definition of ‘verb concept wording’ in Part II for more details.
Verb concept wordings shown as vocabulary entries use singular, active forms of verbs with the exception
that present participles are sometimes used for characteristics. Infinitive, subjunctive, passive, and plural
forms of verbs are implicitly usable in statements and definitions. For a binary verb concept, the implicit
passive form of a verb uses the past participle of the verb preceded by the word “is” and followed by the
preposition “by.” For example, the implicit passive form of ‘expression represents meaning’ is
‘meaning is represented by expression’. The same pattern holds for verb concepts with more than two
roles where a verb is used between the first two placeholders. For example, the implicit passive form of
‘thing fills role in actuality’ is ‘role is filled by thing in actuality’. Note that there is no inverse implication
of an active form from a passive form.
keyword The ‘keyword’ font is used for linguistic symbols used to construct statements – the words that can be
combined with other designations to form statements and definitions (e.g., ‘each’ and ‘it is obligatory
that’). Key words and phrases are listed below.
Quotation marks are also in the ‘keyword’ font. The text within quotes is in ordinary font if the meaning of
the quotation is uninterpreted text. The text within quotes is in styled text if the meaning of the quotation is
formally represented. Single quotation marks are used to quote a designation or verb concept wording that
is being mentioned. If a designation is mentioned (where the designation is itself the subject of a statement)
it appears within single quote marks (e.g., ‘actuality’ and ‘California’ used to talk about those designations).
Single quotes are also used around a verb concept wording that is being mentioned (e.g., ’reference
scheme is for concept’ used to talk about that verb concept wording). Double quotation marks are used in
other cases, such as to quote a statement.
Single quotation marks are also used to mention a concept – to refer to the concept itself rather than to the
things it denotes. In this case, a quoted designation or verb concept wording is preceded by the word
‘concept’ or by a term for a kind of concept. For example, the statement,
“The concept ‘quantification’ is a category of the concept ‘logical formulation’”
refers to the named concepts, not to quantifications and logical formulations. A role can be named with
respect to a verb concept in this same way (e.g.,
“the role ‘meaning’ of the verb concept ‘expression represents meaning’”).
Periods also appear in the ‘keyword’ font. A period is used to terminate a statement, but not a definition.
Other punctuation symbols (e.g., parentheses, comma) also apply the ‘keyword’ font when part of a formal
expression.
A.2.1.1 Quantification
p and q conjunction
p or q disjunction
if p then q implication
q if p implication
p if and only if q equivalence (see exception explained under Modal Operations below)
Where a subject is repeated when using ‘and’ or ‘or’ the repeated subject can be elided. For example, the statement, “An
implication has an antecedent and the implication is embedded in a modal formulation,” can be abbreviated to this: “An
implication has an antecedent and is embedded in a modal formulation.” Similarly, a repeated subject and verb can be elided.
For example, the statement, “An implication has an antecedent and the implication has a consequent,” can be abbreviated to
this: “An implication has an antecedent and a consequent.”
The keyword ‘not’ is used within an expression after the verb “is” as a way of introducing a logical negation. Also, the
keywords “does not” are used before other verbs (modified to be infinitive) to introduce a logical negation.
The following key words are used within expressions having a verb to form verb complexes that add a modal operation.
The key word phrase “only if” is used in combination with some of the key words and phrases shown above to invert a
modality.
For example, the following two statements have the same meaning.
The key word “only” can also be used before a preposition in combination with “may” to invert a modality. The noun phrase
after the preposition is then understood as a negated restriction as shown in these two equivalent statements:
Because of the use of “only” in stating modal operations, the pattern “p if and only if q” for equivalence is not used if p
involves a modal operation.
another (used with a term that has been previously used in the same statement) existential quantification plus a
condition that the referent thing is not the same thing as the referent of the previous use of the term
a given universal quantification pushed outside of a logical formulation where ‘a given’ is used such that it
represents one thing at a time – this is used to avoid ambiguity where the ‘a’ by itself could otherwise be
interpreted as an existential quantification. Within a definition, ‘a given’ introduces an auxiliary variable
into the closed projection that formalizes the definition.
that 1. when preceding a designation for a noun concept, this is a binding to a variable (as with ‘the’).
2. when after a designation for a noun concept and before a designation for a verb concept, this is used to
introduce a restriction on things denoted by the previous designation based on facts about them.
3. when followed by a propositional statement, this is used to introduce a nominalization of the proposition
or an objectification, depending on whether the expected result is a proposition or a state of affairs.
See A.2.5.
who the same as the second use of ‘that’ but used for a person
is of The common preposition “of” is used as a shorthand for “that is of.” For any sentential form that takes the
general form of ‘<placeholder 1> has <placeholder 2>’ there is an implicit reversed form of
‘<placeholder 2> is of <placeholder 1>’ that has the same meaning.
what used to introduce a variable in a projection as well as indicate that a projection is being formulated to be
considered by a question or answer nominalization. See A.2.5 below.
A.2.3 Examples
The example above includes three key words or phrases, two designations for noun concepts and one for a verb concept (from
a verb concept wording), as illustrated below.
Using the font styles of SBVR Structured English, these rule statements are:
The characteristic ‘driver is of age’ has the following definition: “the age of the driver is at least the EU-Rent Minimum
Driving Age.” Below is the definition using the SBVR Structured English styles.
Definition: the age of the driver is at least the EU-Rent Minimum Driving Age
The signifier “customer” is used in two ways in the EU-Rent English Vocabulary. So the first rule above uses “customer” for its
meaning in the subject field ‘car rental responsibility’.
If the same rule is stated in a place where the EU-Rent English Vocabulary is not understood to be in use, the rule would be
stated as follows in order to fully qualify its terms:
Necessity: Each customer (EU-Rent English Vocabulary, car rental responsibility) is a corporate renter
(EU-Rent English Vocabulary) or is an individual customer (EU-Rent English Vocabulary).
The first example is a structural rule statement whose logical formulation includes an objectification. It states that a car
assignment is an actuality denoted by the proposition that a given car is assigned to a given rental. Note that only the third use
of ‘that’ in the example below introduces an objectification. The others introduce restrictions
Necessity: A car assignment that involves a car and that is to a rental is an actuality that the
car is assigned to the rental.
An objectification uses a propositional expression to identify a state of affairs or event. States and events can then be related to
times and durations or be involved in any number of verb concepts that concern states or events. Consider the following
examples of verb concepts.
A car must be assigned to a rental before the pick-up date of the rental.
These implicit forms enable objectifying directly within a statement without separately defining a verb concept objectification
for each verb concept whose instances might be objectified. For example, using the second verb concept listed above the
following rule can be formed even though no general concept is defined to objectify the verb concept ‘rental is guaranteed
by credit card’.
A rental must be guaranteed by a credit card before a car is assigned to the rental.
The next example is a proposition nominalization. It uses the additional verb concepts ‘report specifies fact’ and ‘rental has
rental report’. The keyword ‘that’ nominalizes a fact to be specified.
If a car is assigned to a rental then the rental report of the rental must specify that the car is assigned to
the rental.
The next example is an answer nominalization. The keyword ‘what’ is used to put variables in a projection.
The rental report of each rental must specify what car is assigned to the rental.
An expression of a statement can include the keyword ‘what’ multiple times, putting more variables in the projection (for
example, “what car is assigned to what rental”). A question nominalization is formed in the same way as an answer
nominalization, but nominalizes the question itself rather than an answer to it.
The SBVR Structured English uses a special syntactic clue to identify placeholders for intensional roles in verb concept
wordings. A placeholder that ends with an asterisk is taken to indicate that a noun concept nominalization is used in the
formulations of uses of the verb concept wording so that rather than binding to what is directly denoted by an expression, the
role binds to the concept of what is expressed. The asterisk is part of the placeholder. An example of a logical formulation
based on the first verb concept below is in the description of noun concept nominalization in Clause 9. Note that the
examples below are not part of the normative SBVR vocabularies.
<Vocabulary Name>
Description:
Source:
Speech Community:
Language:
Included Vocabulary:
Note:
A.3.2 Description
The ‘Description’ caption is used to introduce the scope and purpose of the vocabulary.
A.3.5 Language
The ‘Language’ caption is used to name the language that is the basis of the vocabulary. Language names are from ISO 639-2
(English). By default, English is assumed. Note that the SBVR Structured English is based only on English, so descriptions,
definitions, and other details are in English but representations being defined can be in another language.
A.3.7 Note
The ‘Note’ caption labels explanatory notes that do not go under the other captions.
Any of several kinds of captioned details can be listed under the primary representation. A skeleton of a vocabulary entry is
shown below followed by an explanation of the use of each caption.
<primary representation>
Definition:
Source:
Dictionary Basis:
General Concept:
Concept Type:
Necessity:
Possibility:
Reference Scheme:
Note:
Example:
The primary representation for a verb concept is a verb concept wording. The expression of a placeholder is generally the
underlined signifier of a designation used by the placeholder to indicate that expressions substituted for the placeholder are
understood to denote instances of the designated concept. A designation used by a placeholder for a verb concept role is a
designation of a general concept that the verb concept role ranges over. That general concept can be a situational role.
Sometimes the designation of the general concept has the same signifier as a designation of the verb concept role. In the
unusual verb concept wording where multiple placeholders use the same designation, the expression of a placeholder can
include a subscript to make the expressions of placeholders distinct within the verb concept wording. Subscripts also help to
correlate placeholders across synonymous forms as shown in the example below.
The verb concept wordings in the example above represent one verb concept that has two verb concept roles. From the
primary entry it is seen that each of the verb concept roles ranges over the concept ‘concept’. From the second synonymous
form, it is seen that the second verb concept role more specifically ranges over the general concept ‘more general concept’
(which is a situational role). From the third synonymous form, it is seen that the first verb concept role more specifically
ranges over the general concept ‘category’ (which is also a situational role).
Note: The primary representation for a verb concept is a verb concept wording rather than a designation because designations
of verb concepts typically have nonunique signifiers (e.g., “has”).
The primary representation, whether a designation or verb concept wording, is in the vocabulary namespace for the
vocabulary. Also, if a verb concept wording is of the pattern “<placeholder 1> has <placeholder 2>”, the expression of
<placeholder 2>, less any subscript, is taken as the signifier of a designation of the second verb concept role. That designation
is in an attributive namespace for the subject concept represented by the designation used for <placeholder 1>. Having a
designation for the second verb concept role in an attributive namespace means that the designation is recognized as
representing the role when it is used in the context of being attributed to instances of the subject concept. From the example
above two designations of verb concept roles are found in an attributive namespace having the subject concept ‘concept’.
These designations have the signifiers “more general concept” and “category.” Although these designations have the same
signifiers as designations of the general concepts ‘more general concept’ and ‘category’, they are different designations.
They are within the attributive namespace and represent different concepts (the verb concept roles, not the general concepts).
See examples in Clause 8 under ‘attributive namespace’. Also, if a verb concept wording is for a unary characteristic, a
It is recommended that quantifiers (including articles) and logical operators not be embedded within designations and verb
concept wordings.
A.4.2 Definition
A definition is shown as an expression that can be logically substituted for the primary representation. It is not a sentence, so it
does not end in a period.
A definition can be fully formal, partly formal or informal. It is fully formal if all of it is styled as described above. A partially-
formal definition starts with a styled designation for a more general concept but other details depend on external concepts.
A common pattern of definition begins with a designation for a more general concept followed by the keyword ‘that’ (used in
the second sense defined for ‘that’ in the Other Keywords sub clause above) and then an expression of necessary and sufficient
characteristics that distinguish a thing of the defined concept from other things of the more general concept. Another less used
pattern also leads with a designation for a more general concept but then uses the word ‘of’ with another expression as
explained in the Other Keywords sub clause above.
1. A fact that the concept being defined is a category of a particular more general concept
Only the first kind of information is formally expressed by a partially formal definition. A partially formal definition leads
with a styled designation that is for a more general concept. That designation is generally followed by the keyword ‘that’ and
then an informal expression of necessary and sufficient characteristics.
The following example shows a partially formal definition. It formally expresses the fact that the concept ‘icon’ is a category
of the concept ‘nonverbal designation’, but it uses words that are external to the formally available vocabulary.
icon
Definition: nonverbal designation that is a pictorial representation
The next example is fully formal. Its formal interpretation includes that the concept ‘representation’ specializes the concept
‘actuality‘ and includes a closed projection conveying semantics of the definition.
representation
Definition: actuality that a given expression represents a given meaning
The next example is not formal at all. It defines the most general concept used by SBVR.
thing
Definition: anything perceivable or conceivable
A <designation> is a <definition>.
Another style of formal definition is extensional. It uses disjunction to combine a number of concepts. For example, a
contextualized concept is anything that is a role or a facet.
contextualized concept
Definition: role or facet
A semantic formulation of the extensional definition above is the same as for the logically equivalent definition, “thing that is
a role or that is a facet.”
A definition of an individual noun concept must be a definite description of one single thing. It can start with a definite article
(e.g., “the”). It can generally be read as a statement using the following pattern. The leading “The” is optionally used
depending on the designation.
It is often the case that an individual noun concept has no definition because it is widely understood. In such a case the
‘General Concept’ caption can be used to state the type of the named thing. Here is an example.
Switzerland
General Concept: country
A definition given for a verb concept is an expression that can be substituted for a simple statement expressed using a verb
concept wording of the verb concept.
The definition must refer to the placeholders in the verb concept wording. This is done in order to relate the definition to the
things that play a role in instances of the verb concept. Whether or not the definition is formal, each reference to a placeholder
appears in the ‘term’ font and is preceded by the definite article, “the”.
The second definition above is formal such that it translates to a closed projection.
A definition of a verb concept can generally be read using the pattern below, which is shown for a binary verb concept but
works for verb concepts of any arity (“a” represents either “a” or “an”).
For example: A fact that a given statement expresses a given proposition is a fact that the proposition is what is meant by the
statement.
Similarly, the equivalence understood from a definition of a verb concept can generally be read using the following pattern:
A <placeholder 1> <verb concept designation> a <placeholder 2> if and only if <definition>.
For example: A statement expresses a proposition if and only if the proposition is what is meant by the statement.
A.4.3 Source
The ‘Source’ caption is used to indicate a source vocabulary or document for a concept.
The source’s designation for the concept is given in square brackets and quoted after the name of the source. It might or might
not match the entry’s primary representation. If the source has a name for the concept itself, the name is given in square
brackets unquoted. The designation from the source is quoted if it is a term for the concept.
thing
Source: ISO 1087-1 (English) (3.1.1) [‘object’]
The keywords “based on” indicate the definition of the concept is largely derived from the given source but had some
modification, as in the following example.
language
Definition: system of arbitrary signals (such as voice sounds or written symbols) and rules for combining
them as used by a nation, people or other distinct community
Source: based on AH
Switzerland
General Concept: country
• For a verb concept wording, one placeholder implies a characteristic and two placeholders imply a binary verb
concept. For example, ‘variable has type’ is implicitly for a binary verb concept.
• Where a definition formally gives a more general concept, the concept being defined specializes that more general
concept.
If more than one concept type is mentioned, then they are separated by commas. Order is insignificant.
The concept type ‘role’ is commonly used where the primary entry is a term. The example below shows that the concept
‘logical operand’ is a role that is played by a logical formulation. Since the entry concept of a term is implicitly a general
concept, the additional indication that it is a role implies that it is, by definition, a situational role.
logical operand
Concept Type: role
Definition: logical formulation upon which a given logical operation operates
Any general concept that specializes the concept ‘concept’ can be given as a concept type. The concept ‘obligation
formulation’ is a logical formulation kind, which is defined below.
obligation formulation
Concept Type: logical formulation kind
The key phrase “it is necessary that” can be omitted from a statement of a structural rule captioned “Necessity” because it is
implied by the caption. Here are examples -- two necessity claims and one possibility claim.
Definitions express characteristics that are necessary and sufficient to distinguish things denoted by a concept. Sometimes
there are necessities beyond what is sufficient. The ‘Necessity’ caption is used to state such necessities.
An article (‘a’, ‘an’, or ‘the’) indicates a simple use of a role in which a single instance is used in a reference. The definite
article ‘the’ is only appropriate where there can be at most one instance of the role. The words ‘the set of’ indicate that the
extension is used. The word ‘and’ is used to connect the expressions of use of multiple roles by a reference scheme.
The following examples of reference schemes are taken from the SBVR Vocabularies. The first one below uses a single value
of the ‘closed logical formulation’ role of the verb concept ‘closed logical formulation means proposition’ meaning that
a proposition can be identified by any closed logical formulation whose meaning is the proposition. The second uses two verb
concept roles. It uses a definite article because each role binding has exactly one bindable target and is for exactly one
verb concept role.
proposition
Reference Scheme: a closed logical formulation that means the proposition
role binding
Reference Scheme: the bindable target that is referenced by the role binding and the verb concept role that
has the role binding
The reference scheme for the concept of reference scheme itself uses three roles extensionally.
reference scheme
Reference Scheme: the set of verb concept roles that are simply used by the reference scheme and the set
of verb concept roles that are extensionally used by the reference scheme and the set
of characteristics that are used by the reference scheme
A.4.9 Note
A ‘Note’ caption is used to label explanatory notes that do not fit within the other captions.
A.4.10 Example
The ‘Example’ caption labels examples involving the entry concept.
The examples below show two synonyms for one concept having one definition. The preferred designation is given as the
primary representation.
implication
Definition: logical formulation that applies the logical “(MATERIALLY) IMPLIES” operation () to an
antecedent and a consequent
Synonym: material implication
The meaning of two designations being synonyms is that they represent the same concept. Each synonym is in the vocabulary
namespace of the vocabulary.
A synonymous form can appear elsewhere as its own entry. However, this is not typically done if the synonymous form is
simply a passive form of the primary representation. The following example shows a synonymous form that reverses the order
of verb concept roles. Because the synonymous form is simply a passive form of the primary representation, it does not appear
as a separate entry.
A synonymous form does not necessarily use the same designations for all placeholders as are used in the primary designation.
One placeholder can use a different designation. The ones using the same designation as placeholders of the primary form
represent the corresponding verb concept roles, and the one placeholder that does not match represents the remaining verb
concept role. The example below shows two entries, both for the same concept. One is expressed in terms of a role (instance)
and the other is not.
If the same term is used for multiple placeholders, then subscripts can be used to distinguish them.
thing1 is thing2
Synonymous Form: thing1 equals thing2
A.4.13 See
Where the primary representation is not a preferred representation for the entry concept, the “See:” caption introduces the
preferred representation. No definition is given in this case.
customer
Subject Field: Car Rental Responsibility
See: renter
customer
Subject Field: Vehicle Sales
Definition: person who purchases a rental car from EU-Rent at the end of its rental life
A.5.2 Description
The ‘Description’ caption is used to describe the scope and purpose of the rules.
A.5.3 Vocabulary
The ‘Vocabulary’ caption is used to identify what vocabulary (defined in terms of SBVR) is used by statements in the rule set.
A.5.4 Source
The ‘Source’ caption is used if the rule set is based on a separately-defined work. It labels a reference to such a work, such as
a legal statute.
A.5.5 Note
The ‘Note’ caption is used to label explanatory notes that do not fit within the other captions.
Business rules include only those rules under business jurisdiction. Entries can also be made for structural rules that are not
under business jurisdiction. Each entry includes the statement itself and optionally includes other information labeled by the
captions shown below.
<Guidance Statement>
Name:
Guidance Type:
Description:
Source:
Synonymous Statement:
Note:
Example:
Enforcement Level:
A.6.2 Name
The ‘Name’ caption is used to specify a name for the element of guidance. The name is then part of the formal vocabulary.
A.6.4 Description
The ‘Description’ caption is used to capture the expression of the element of guidance informally (as supplied by a business
user).
A.6.5 Source
The ‘Source’ caption is used if the guidance is from a separate source. It labels a reference to that source.
A.6.7 Note
The ‘Note’ caption is used to label explanatory notes that do not fit within the other captions.
A.6.8 Example
The ‘Example’ caption labels examples of application of the element of guidance.
B.1 General
This annex contains material compiled to aid the interpretation of ‘SBVR in SBVR Structured English’ vocabulary entries, as
documented in Annex A and applied in the text and diagram forms of Part II and Annex G. This ‘language patterns’ material
falls into two main categories:
A third sub clause contains the brief discussion of a useful pattern that, while not often applied in the text of Part II, is
illustrated in Annex G (and, in particular, in the “10 Introductory Examples” given there and in the RuleSpeak and ORM
Annexes). This discussion introduces the use of a ‘short form’ verb concept that can be used to simplify the formulation and
representation of vocabularies and sets of elements of guidance.
When there is an associated way to depict the construct in a graphic notation, a cross-reference is provided, when applicable,
to the ‘Use of UML Notation in a Business Context to Represent SBVR-based Vocabularies’ (Annex C) -- referred to here as
the ‘UML style’ -- and to the ‘Concept Diagram Graphic Notation (Annex I)’ -- referred to here as the ‘CDG style’.
• Terms
• Names
• Verb symbols
‘community’ is a term for a general concept. And it is the ‘primary’ term used for the
concept.
Figure B.1 - Recognizing an entry that is the primary term for a general concept
For how to depict this in graphics, see C.2 (UML style) and CDG style (sub clause I.2 in Annex I).
This is a typical designation kind of entry presented as a ‘term’ -- the primary term for a general concept. For this kind of
entry, draw a labeled box.
It is possible to have additional terms for a given general concept (i.e., terms that are synonyms). Even when documented in
the text form (using the ‘Synonym’ caption), the non-primary terms of a concept are not typically reflected on the graphic.
When it is considered useful to make explicit entries for the non-primary terms in a presentation of the vocabulary, the non-
primary terms can appear using the ‘See’ caption to refer back to the concept’s primary term.
Figure B.2 - Recognizing an entry that is the primary name for an individual noun concept
For how to depict this in graphics, see C.3 (UML style). There is no specified way to depict this in the CDG graphic notation.
Commentary:
This is a typical designation kind of entry presented as a ‘name’ -- the primary name for an individual noun concept. For this
kind of entry, draw a labeled box, with the ‘name’ underlined.
It is possible to have additional names for a given individual noun concept (i.e., names that are synonyms). Even when
documented in the text form (using the ‘Synonym’ caption), the non-primary terms of a concept are not typically reflected on
the graphic. When it is considered useful to make explicit entries for the non-primary names in a presentation of the
vocabulary, the non-primary names can appear using the ‘See’ caption to refer back to the concept’s primary name.
B.2.3.1 Primary Reading (‘Sentential Form’) for a Verb Concept -- Binary Verb Concept
When I see a vocabulary entry as shown in Figure B.3, I know to vocalize it as:
There is a verb concept relating these two concepts and it uses the designation ‘shares
understanding of’ when the concept terms are in this order. Optionally, alternative readings
can be provided using the ‘Synonymous Form’ caption (as illustrated at the bottom of Figure
B.3).
For how to depict this in graphics, see C.4.1 (UML style) and CDG style (sub clause I.4.1 in Annex I). There is a special case
of depicting a binary verb concept that uses ‘has’ in the UML style. For how to depict this in graphics, see C.4.2 (UML style).
There is no special way to depict this in the CDG graphic notation.
Commentary:
This is a typical sentential form kind of entry for a verb concept -- in this case, a binary verb concept. For this kind of entry,
draw a labeled line between the boxes for the designations of the participating concepts. The reading is clockwise (when the
tool does not provide a graphic symbol for indicating the directionality of the reading).
It is possible to have additional readings for a given verb concept (i.e., readings that are ‘synonymous forms’ of the verb
concept). Additional readings are optional in both the graphic and text forms. When defined in the text form, the
‘Synonymous Form’ caption is used. Even when provided in the text, more than one reading is not typically reflected on the
graphic. However, having inverse readings on an association would be an extension to UML. (This can be handled legally by
defining a ‘UML profile’, which allows additional information and custom graphics in a model.)
An alternative graphic style is to apply the n-ary graphic style (described below) for all verb concepts, including binary.
B.2.3.2 Primary Reading (‘Sentential Form’) for a Verb Concept -- N-ary Verb Concept
When I see a vocabulary entry as shown in Figure B.4, I know to vocalize it as:
There is a ternary verb concept relating these three concepts, using ‘is replaced by ... in’
when the verb concept uses these terms for the concepts in this sequence.
Figure B.4 - Recognizing an entry that is the primary reading for an n-ary verb concept
For how to depict this in graphics, see C.4.3 (UML style) and CDG style (sub clause I.4.2 in Annex I).
Commentary:
This is a sentential form kind of entry for a verb concept -- in this case, an n-ary verb concept. For this kind of entry, there are
two diagrams forms. The first diagram is the box-in-box style as defined in Annex I, sub clause I.4.2. The second diagram
(UML-style) uses a box, given a stereotype that names the category of verb concept, and a label that reflects the primary
reading for the verb concept. The concept terms are placed in [ ].
When I see a vocabulary entry as shown in Figure B.5, I know to vocalize it as:
Figure B.5 - Recognizing an entry that is the primary reading for a characteristic
For how to depict this in graphics, see C.4.4 (UML style) and CDG style (sub clause I.4.3 in Annex I).
Commentary:
This is a sentential form kind of entry for a verb concept -- in this case, a characteristic. For this kind of entry, the two graphic
notations use different forms. The first diagram above shows the box-in-box style as defined in Annex I (sub clause I.4.3 in
Annex I). For the UML-style, three alternatives are offered:
NOTE: The notation for characteristic would be an extension to UML, handled legally by defining a ‘UML profile’.
B.2.3.4 Two Vocabulary Entries (Sentential Form and Term) for a Concept
When I see a pair of vocabulary entries as shown in , I know to vocalize this case as:
These two entries are for coextensive concepts. I understand that, even though these are
two entries in the vocabulary, they have the same instances.
Figure B.6- Recognizing a pair of entries (sentential form and term) for a concept
car recovery
Definition: actuality that a given rented car is recovered from a given non-EU-Rent site to a given
branch
For how to depict this in graphics, see C.9 (UML style) and CDG style (sub clause I.4.4 in Annex I).
• categorization
• is-role-of proposition
• is-facet-of proposition
• partitive verb concept
• classification (‘predefined extension’)
• categorization type
• categorization scheme
B.3.1 Categorization
When I see this:
semantic community
Definition: community whose unifying characteristic is a shared understanding (perception) of the things
that they have to deal with
semantic community
Concept Type: category
Definition: community whose unifying characteristic is a shared understanding (perception) of the things
that they have to deal with
The concept ‘semantic community’ is a ‘category’ of the more general concept ‘community’.
Furthermore, I know that what distinguishes this particular kind of community from the
general case is that it is ... <distinctions brought out in the rest of the definition>
For how to depict this in graphics, see C.6 (UML style) and CDG style (sub clause I.3.1 in Annex I).
renter
Concept Type: role
Definition: driver who ...
For how to depict this in graphics, see C.5 (UML style) and CDG style (sub clause I.5 in Annex I). The CDG style does not
distinguish the various ways to depict roles as in the UML style (see treatment in C.5.1, C.5.2, and C.5.3).
driver
Concept Type: facet
Definition: person who ...
The concept ‘driver’ is a facet (or aspect) of person, specifically just those characteristics of ‘person’
relevant to ... <distinctions brought out in the rest of the definition>
How to depict this in graphics, (UML style) is illustrated in the EU-Rent Annex (see Annex G), in the “Customers”
Vocabulary sub clause.
For how to depict this in graphics, see C.8 (UML style). There is no specified way to depict this in the CDG graphic notation.
For how to depict this in graphics, see C.8 (UML style). There is no specified way to depict this in the CDG graphic notation.
Canada
General Concept: country
For how to depict this in graphics, see the discussion of ‘Primary Name for an Individual Noun Concept’ above.
Typically, this kind of entry is simply ‘indicated’ (or perhaps ‘adopted’), with no definition. However, when a definition is
written, its styling can specify the general concept, in which case, the ‘General Concept’ caption can be omitted. For example,
the entry below defines ‘Car Rental Industry’ to be an instance of ‘semantic community’.
Commentary:
When you find this pattern, draw it in the UML style using UML’s arrow style for ‘instantiation’. The notation has been
adapted from standard UML notation to make it more ‘business friendly’. For example, in UML, in instance (‘object’) would
be labeled as, Canada: country. Predefined extension instances are not typically depicted in the box-in-box style.
branch type
Definition: concept that specializes the concept ‘branch’ and that classifies a branch based on its
hours of operation and car storage capacity
city branch
Concept Type: branch type
Definition: branch that operates in a city
The concept ‘branch type’ has instances that are certain categories of the concept ‘branch.’
For how to depict this in graphics, see C.7.2 (UML style). There is no specified way to depict this in the CDG graphic
notation.
Commentary:
1. that the mentioned other-concept has categories for which the other-concept is the more general concept, and
2. that the entry being defined is itself a category of concept, one whose instances are the categories of the mentioned
more general concept.
Furthermore, the vocabulary entries for the certain category include a ‘Concept Type:’ caption that mentions the categorization
type. For example, the vocabulary entry for ‘city branch’ mentions ‘branch type’ as its Concept Type.
Branches by Type
Description: segmentation that is for branch and subdivides branch based on branch type
Necessity: Branches by Type contains the categories ‘airport branch’ and ‘city branch’ and ‘agency’.
agency
Definition: branch that does not have a EU-Rent location and has minimal car storage and has
on-demand operation
Necessity: agency is included in Branches by Type.
airport branch
Definition: branch that has a EU-Rent location and has large car storage and has 24-7 operation
Necessity: airport branch is included in Branches by Type.
city branch
Definition: branch that has a EU-Rent location and has moderate car storage and has long
business hours
Necessity: city branch is included in Branches by Type.
For how to depict this in graphics, see C.7.1 (UML style) and CDG style (sub clause I.3.2 in Annex I).
Commentary:
When you find this pattern -- under a ‘name’ designation with a ‘Definition’ caption that begins,
the categorization scheme that is for the concept ‘mentioned-other-concept’ and subdivides mentioned-other-
concept based on...
or
the segmentation that is for the concept ‘mentioned-other-concept’ and subdivides
mentioned-other-concept based on...
-- it is a compact, textual way to say multiple things, as follows:
1. that the entry being defined is a categorization scheme (or a categorization scheme that is a segmentation), and
2. that the mentioned concept is the concept that is the scheme is for.
Furthermore, each vocabulary entry for one of the categories in the scheme identifies itself as part of the scheme
using a ‘Necessity’ caption. (Note that a category can be part of more than one scheme.)
It is necessary that each rental has exactly one requested car group.
This is easy to grasp. Now, consider the full form of this rule if the rule were based solely on a sparse EU-Rent vocabulary.
The rule would then be as follows:
It is necessary that each rental has exactly one car group that is specified in the car movement that
is included in the rental.
As this simple example demonstrates, the full form of a rule (or advice) can become quite verbose when several verb concepts
are involved.
The compact form of this rule makes use of the short form verb concept ‘rental has requested car group’, a redundant
concept that has been created for the purpose of simplification of formulation and representation. This verb concept specifies
its instances as being derived from (equivalent to) the concatenation of other verb concepts -- the verbose form -- as illustrated
by the following entry that specifies the concept:
This technique is particularly useful when the short form verb concept is used in a number of elements of guidance. For
another example, from Annex G, the verb concept ‘rented car is assigned to rental’ is a basis element for three of the ten
introductory examples.
Note, however, the choice to apply this pattern is a matter of practice. Decisions on reuse and redundancy are business
decisions made by the semantic community (here, EU-Rent) to help it manage its body of shared meanings and vocabularies.
C.1 General
A purpose of the UML diagrams in Clauses 8 through 12 and Annex E is to display a vocabulary graphically. This kind of
UML model is commonly called a ‘Business Object Model’ (BOM). Note that diagrams in Clauses 8 through 12 also show
SBVR’s MOF-based metamodel using an interpretation explained in Clause 13. The vocabulary interpretation described
below and the MOF interpretation explained in Clause 13 use the same diagrams, but the two interpretations should not be
confused. The two interpretations are based on different profiles.
A BOM is commonly used to convey a business vocabulary (e.g., the SBVR vocabulary) so its use should be familiar. The
diagrams do not show any special stereotypes as long as conventions are explained. This Annex provides that explanation.
If there are additional terms for the concept they can be added within the rectangle, labeled as such (e.g., “also: is-category-of
verb concept” as depicted in Figure C.1).
While it is possible to have additional names for a given individual noun concept (i.e., names that are synonyms), the non-
primary names of an individual noun concept are not typically reflected on the diagram. Figure C.2 depicts two individual
noun concepts.
Figure C.3- Three individual noun concepts as instances of the related general concept
Alternatively, both wordings can be shown, one above the line and the other below. Either the ‘clockwise reading rule’ or a
solid triangle as an arrow can be used to show the direction of reading. C.4 illustrates three alternative presentations of a binary
verb concept.
Figure C.5- Depicting the verb concept ‘cash rental has lowest rental price’
When a binary verb concept’s wording uses ‘has’ and there is no specialized role, the second role name is still reflected on the
diagram in this consistent way (on the line adjacent to the rectangle) and ‘has’ is not displayed. This is illustrated in Figure
C.6.
Figure C.8- Depicting the characteristic ‘advance rental is assigned’ as a Boolean attribute
However, the SBVR characteristic is more accurately modeled in UML using an alternative style, which applies the same
conventions described in sub clause H.4.3, adapted for the unary case shown in Figure C.9.
Figure C.9- Depicting the characteristic ‘advance rental is assigned’ using association notation
C.5 Roles
Note that a ‘role’ in SBVR is a concept in its own right.
Note: Figure C.10 shows two verb concept wordings for the same verb concept (see also sub clause C.4.2).
speech community uses vocabulary
vocabulary has audience
Figure C.12 gives an example. In the verb concept “rental incurs late return charge” (from EU-Rent), ‘late return charge’ is a
term for a role -- the general concept is ‘penalty charge’. Rather than put “incurs” on the association line connecting “rental”
to “penalty charge,” the text on the line incorporates the term for the role and reads, “incurs late return charge.”
C.6 Generalizations
Generalizations are shown in the normal UML way as shown in Figure C.13.
The diagram on the left of Figure C.16 shows the verb concept wordings for the partitive verb concepts that ‘body of shared
meanings’ is involved in.
body of shared meanings includes body of shared concepts
body of shared meanings includes body of shared guidance
The diagram on the left of Figure C.16 also illustrates the verb concept wordings for the partitive verb concepts that ‘body of
shared meanings’ is involved in.
body of shared meanings1 contains body of shared meanings2
Note that the subscripts in the verb concept wording are not reflected on the diagram.
As the diagrams of Figure C.16 illustrate, reflecting the verb phrase of a partitive verb concept on the diagram is optional.
C.10 Multiplicities
Multiplicities are typically not shown. However, display of UML multiplicity is a diagram-level option. When UML
multiplicity is used on a diagram (as a whole), this element is used to depict a formally-stated alethic necessity of a particular
multiplicity. UML multiplicity is used for no other case. In a diagram that uses UML multiplicity, the default assumption for
an unannotated association end is ‘*’ (which is interpreted as ‘0 or more’ -- i.e., unconstrained).
[Anto2001] Antonelli, A. Non-Monotonic Logic, Stanford Encyclopedia of Philosophy, 2001. Available from
http://plato.stanford.edu/entries/logic-nonmonotonic/
[Bloe1996] Bloesch, A.C., and Terry A. Halpin. “ConQuer: a Conceptual Query Language”. In Proc. ER’96: 15th
Int. Conf. on Conceptual Modeling, 121-133: Springer LNCS, 1996. Available from
http://www.orm.net/pdf/ER96.pdf
[Bloe1997] ________. “Conceptual Queries using ConQuer-II”. In Proc. ER’97: 16th Int. Conf. on Conceptual
Modeling, 113-126: Springer LNCS, 1997. Available from http://www.orm.net/pdf/ER97-final.pdf
[BMM] Business Rules Group. The Business Motivation Model ~ Business Governance in a Volatile World. 1.2
ed., Sept. 2005. Originally published as Organizing Business Plans ~ The Standard Model for Business Rule
Motivation, Nov. 2000. Available from http://www.BusinessRulesGroup.org
[BRM] Business Rules Group. Ronald G. Ross, ed. Business Rules Manifesto ~ The Principles of Rule
Independence. 1.2 ed. The Business Rules Group, 2003. Updated Jan. 8, 2003. PDF. Available from
http://www.BusinessRulesGroup.org/brmanifesto.htm
[BRG2002] Business Rules Group. Defining Business Rules ~ What Are They Really? 4th ed., July 2002.
Originally published as GUIDE Business Rules Project Report, 1995. Available from http://
www.BusinessRulesGroup.org
[BRJ2005] Editors of BRCommunity.com. “A Brief History of the Business Rule Approach”. The Business Rules
Journal 6, no. 1 (2005). Available from http://www.BRCommunity.com/a2005/b216.html
[CDP] The Cambridge Dictionary of Philosophy. 2nd ed.: Cambridge University Press, 1999.
[CSILL] Cognitive Science Initiative: Language Lexicon. University of Houston. Available from
http://www.hfac.uh.edu/COGSCI/lang/Entries/
[Dean1997] Dean, Neville. The Essence of Discrete Mathematics, The Essence of Computing Series: Prentice-
Hall, 1997.
[Fitt2002 (or TTGG)] Fitting, Melvin. Types, Tableaus, and Gödel’s God, Trends in Logic, Studia Logica Library.
Dordrecht, the Netherlands: Kluwer Academic Publishers, 2002.
[Girl2000 (or MLP)] Girle, Rod A. Modal Logics and Philosophy: McGill-Queen's University Press, 2000.
[Halp2000] ________. Object-Role Modeling: An Overview. San Francisco: Springer, 2000. Available from
http://www.orm.net/pdf/springer.pdf
[Halp2001 (or IMRD)] ________. Information Modeling and Relational Databases. San Francisco: Morgan
Kaufmann, 2001.
[Halp2003a] ________. “Verbalizing Business Rules: Part 1”. The Business Rules Journal 4, no. 4 (2003).
Available from http://www.BRCommunity.com/a2003/b138.html
[Halp2003b] ________. “Verbalizing Business Rules: Part 2”. The Business Rules Journal 4, no. 6 (2003).
Available from http://www.BRCommunity.com/a2003/b152.html
[Halp2003c] ________. “Verbalizing Business Rules: Part 3”. The Business Rules Journal 4, no. 8 (2003).
Available from http://www.BRCommunity.com/a2003/b163.html
[Halp2003d] ________. “Verbalizing Business Rules: Part 4”. The Business Rules Journal 4, no. 10 (2003).
Available from http://www.BRCommunity.com/a2003/b172.html
[Halp2004 (or HALT2004)] ________. “Information Modeling and Higher-Order Types”. In Proc. CAiSE'04
Workshops, eds. J. Grundspenkis and M. Kirkova, 1, 233-248: Riga Tech. University, 2004. Available from
http://www.orm.net/pdf/EMMSAD2004.pdf
[Halp2004b] ________. “Business Rule Verbalization”. In Lecture Notes in Informatics, eds. A. Doroshenko, Terry
A. Halpin and S. Liddle, P-48, 39-52. Salt Lake City: Proc. ISTA-2004, 2004.
[Halp2004c] ________. “Verbalizing Business Rules: Part 5”. The Business Rules Journal 5, no. 2 (2004).
Available from http://www.BRCommunity.com/a2004/b179.html
[Halp2004d] ________. “Verbalizing Business Rules: Part 6”. The Business Rules Journal 5, no. 4 (2004).
Available from http://www.BRCommunity.com/a2004/b183.html
[Halp2004e] ________. “Verbalizing Business Rules: Part 7”. The Business Rules Journal 5, no. 7 (2004).
Available from http://www.BRCommunity.com/a2004/b198.html
[Halp2004f] ________. “Verbalizing Business Rules: Part 8”. The Business Rules Journal 5, no. 9 (2004).
Available from http://www.BRCommunity.com/a2004/b205.html
[Halp2004g] ________. “Verbalizing Business Rules: Part 9”. The Business Rules Journal 5, no. 12 (2004).
Available from http://www.BRCommunity.com/a2004/b215.html
[Halp2005a] ________. “Verbalizing Business Rules: Part 10”. The Business Rules Journal 6, no. 4 (2005).
Available from http://www.BRCommunity.com/a2005/b229.html
[Halp2005c] ________. “Verbalizing Business Rules: Part 12”. The Business Rules Journal 6, no. 10 (2005).
Available from http://www.BRCommunity.com/a2005/b252.html
[Halp2005d] ________. “Verbalizing Business Rules: Part 13”. The Business Rules Journal 6, no. 12 (2005).
Available from http://www.BRCommunity.com/a2005/b261.html
[Halp1981 (or DL)] Halpin, Terry A., and Rod A. Girle. Deductive Logic. 2nd ed. Brisbane: Logiqpress, 1981.
[Hunt1971 (or META)] Hunter, Geoffrey. An Introduction to the Metatheory of Standard First Order Logic:
University of California Press, 1971.
[IETF RFC 2396] Berners-Lee, Tim, R. Fielding, and L. Masinter. Uniform Resource Identifiers (URI): Generic
Syntax. The Internet Society, 1998. Updated August 1998. Available from http://www.ietf.org/rfc/rfc2396.txt
[ISO704] ________. Terminology work - Principles and Methods. English ed.: ISO, 2000.
[ISO1087-1] ________. Terminology work - Vocabulary - Part 1: Theory and Application. English/French ed.:
ISO, 2000.
[ISO860] ________. Terminology work - Harmonization of Concepts and Terms. ISO, 1996.
[ISO639-2] ________. Codes for the Representation of Names of Languages-- Part 2: Alpha-3 Code. Library of
Congress, 2002. Available from http://www.loc.gov/standards/iso639-2/langcodes.html
[ISO/IEC CD 24707] ________. Information technology -- Common Logic (CL) -- A Framework for a Family of
Logic-Based Languages: ISO, 2005. Available from
http://www.iso.org/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=39175
[Levi1983 (or LEVS)] Levinson, Stephen C. Pragmatics, Cambridge Textbooks in Linguistics: Cambridge
University Press, 1983.
[Mend1997 (or MEN97)] Mendelson, Elliott. Introduction to Mathematical Logic. 4th ed.: Chapman & Hall, 1997.
[Nijs1978] ________. “A Framework for Discussion.” In: ISO/TC97/SC5/WG3 and comments on 78.04/01 and
78.05/03, 1-144.
[Nijs1980] ________. “A Framework for Advanced Mass Storage Applications.” In: Proc. IFIP MEDINFO’80,
3rd World Conference on Medical Informatics: North Holland Publishing Company, 1980.
[Nijs1986] ________. “On Experience with Large-scale Teaching and Use of Fact-Based Conceptual Schemas in
Industry and University.” In: Proc. DS-1’85: IFIP WG 2.6 Working Conference on Data Semantics, eds. T.B. Steel
and R. Meersman, 189-204: North Holland Publishing Company, 1986.
[Nijs2006] Nijssen, Sjir, and R. Bijlsma. “A Conceptual Structure of Knowledge as a Basis for Instructional
Designs.” In: Proc. ICALT’06, IEEE: 6th Int. Conf. on Advanced Learning Technologies, eds. R. Kinshuk, P.
Koper, P. Kommers, D. Kirschner, G. Sampson, and W.E. Didderen, 7-9: IEEE, 2006.
[Nolt1998 (or LSO)] Nolt, John, Dennis Rohatyn, and Achille Varzi. Logic. 2nd ed., Schaum's Outlines. New York:
McGraw-Hill, 1998.
[Peik (or PEIL)] Peikoff, Leonard. “The Analytic-Synthetic Dichotomy”. In Rand1990, 88-121.
[Rand1990 (or RANA90)] Rand, Ayn. Introduction to Objectivist Epistemology. expanded 2nd ed. New York:
Meridian, 1990.
[Ross1997] Ross, Ronald G. The Business Rule Book -- Classifying, Defining and Modeling Rules. 2nd ed.
Houston, TX: Business Rule Solutions, Inc., 1997. Originally published as The Business Rule Book (1st Ed.), 1994.
Available from http://www.BRSolutions.com
[Ross2003] ________. Principles of the Business Rule Approach. Boston, MA: Addison-Wesley, 2003. Available
from http://www.BRSolutions.com
[Ross2005] ________. Business Rule Concepts: Getting to the Point of Knowledge. 2nd ed.: Business Rule
Solutions, LLC, 2005. Available from http://www.BRSolutions.com
[RuleSpeak] Business Rule Solutions. BRS RuleSpeak® Practitioner’s Kit. Business Rule Solutions, LLC, 2001-
2004. PDF. Available from http://BRSolutions.com/p_rulespeak.php
[SEP] Stanford Encyclopedia of Philosophy. Edward N. Zalta, ed. The Metaphysics Research Lab, Center for the
Study of Language and Information, Stanford University. Available from http://plato.stanford.edu/
[SubePLTS (or PLTS)] Suber, Peter. Propositional Logic Terms and Symbols. Philosophy Department, Earlham
College, 1997. Available from http://www.earlham.edu/~peters/courses/log/terms2.htm
[SubeGFOL (or GFOL)] ________. Glossary of First-Order Logic. Philosophy Department, Earlham College,
1999-2002. Available from http://www.earlham.edu/~peters/courses/logsys/glossary.htm
[UML2infr] Object Management Group (OMG). Unified Modeling Language: Infrastructure. Ver. 2.0: OMG.
[Unicode4] “The Unicode Standard, Version 4.0.0”. In The Unicode Standard, Version 4.0. Boston, MA: Addison-
Wesley, 2003. Available from http://www.unicode.org/versions/Unicode4.0.0/b1.pdf
[USG] The Unicode Consortium. Glossary of Unicode Terms. 1991-205. Updated Nov. 17 2004. Available from
http://www.unicode.org/glossary/