SBVR Factbased Formal Semantics Containers SBVR Metamodel Containers
SBVR Fact-based Formal Semantics Containers SBVR Metamodel Containers Clauses 8, 9, 11 & 12 Other Bodies of Shared Meanings … n + Representations of Their Related Speech Communities (Related only by 1. adoption or 2. assertion of semantic equivalence of entry) Body of Shared Meanings 1 + Body of Shared Representations of Its Related Speech Communities Terminological Dictionary Body of Shared Representations … n Body of Shared Meanings Rulebook 1 (syn: ‘representation set’; ‘body of shared representations’) (vocabulary – related by inclusion) body of shared concepts Noun Concept concept Fact Type Form vocabulary for 1 Definition, etc. body of shared guidance Definitional Element of Guidance Definitional Guidance Statement Behavioral Element of Guidance Behavioral Guidance Statement proposition statement meaning representation set representation Fact Model … n (related by levels) Fact Model 1 Conceptual Schema Clause 10 Type of Individual Clause 10 Ground Fact Type Role Designation Clause 8 Fact Type (Verb Concept) Clause 10 Static Constraint + Derivation Rule Fact Model Population Clause 10 Existential Ground Fact Clause 10 Elementary Ground Fact NOTE: One body of shared meanings often must map to more than one fact model to stay within first-order or restricted higher-order predicate logic. Spin-off Issue nnnn (Clean up and Complete Vocabulary for Clause 10. 1. 1)
- Slides: 1