This specification defines the vocabulary and rules (see Clauses 7 through 21) for documenting the semantics of business vocabularies and business rules for the exchange of business vocabularies and business rules among rganizations and between software tools.

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.