---- no example template required; I will construct my vocabulary and rules by myself ----
-- Photo Equipment vocabulary and rules (comprehensive example) -- -- Loan Contracts vocabulary and rules (comprehensive example) -- SBVR: vocabulary, namespace URI, language -> OWL2: Ontology, entity IRI, AnnotationLanguage SBVR: general concept -> OWL2: Class SBVR: individual concept, classification -> OWL2: NamedIndividual, ClassAssertion SBVR: association -> OWL2: ObjectProperty SBVR: verb concept properties -> OWL2: ObjectProperty properties SBVR: property association -> OWL2: DataProperty SBVR: property association hierarchy -> OWL2: SubDataProperty SBVR: characteristic -> OWL2: DataProperty SBVR: fact -> OWL2: ObjectPropertyAssertion SBVR: categorization -> OWL2: SubClassOf SBVR: necessity statement -> OWL2: SubClassOf, ObjectAllValuesFrom SBVR: necessity statement -> OWL2: SubClassOf, ObjectSomeValuesFrom SBVR: necessity statement with at-least-n quantification -> OWL2: SubClassOf, ObjectMinCardinality SBVR: necessity statement with existential quantification -> OWL2: SubClassOf, ObjectSomeValuesFrom SBVR: necessity statement with at-most-n quantification -> OWL2: SubClassOf, ObjectMaxCardinality SBVR: necessity statement with at-most-one quantification -> OWL2: FunctionalObjectProperty SBVR: necessity statement with exactly-n quantification -> OWL2: SubClassOf, ObjectExactCardinality SBVR: necessity statement with numeric range quant. -> OWL2: SubClassOf, ObjectMinCardinality, ObjectMaxCardinality SBVR: concept incorporates characteristic -> OWL2: SubClassOf, DataExactCardinality SBVR: association 'concept is_coextensive_with concept' -> OWL2: EquivalentClasses SBVR: segmentation -> OWL2: EquivalentClasses, SubClassOf, DisjointUnion SBVR: verb concept, inverse verb concept -> OWL2: ObjectProperty, InverseObjectProperty SBVR: verb concept categorization -> OWL2: SubObjectPropertyOf SBVR: purely reflexive verb concept -> OWL2: ObjectHasSelf SBVR: transitive verb concept -> OWL2: TransitiveObjectProperty SBVR: "something" general concept in association -> OWL2: ObjectProperty without domain/range SBVR: partitive verb concept -> OWL2: ObjectProperty, SubObjectPropertyOf(ObjectProperty partitive_object_property)
SBVR: verb concept role, verb concept -> OWL2: Class, SubclassOf, EquivalentClasses SBVR: imposibility statement -> OWL2: disjoint classes (max. 2) SBVR: definition with logical negation -> OWL2: EquivalentClasses, ObjectIntersectionOf, ObjectComplementOf SBVR: impossibility statement for individuals -> OWL2: DifferentIndividuals SBVR: neccesity statement for individuals -> OWL2: SameIndividual SBVR: restrictive definition -> OWL2: DatatypeRestriction (+EquivalenClasses, ObjectIntersectionOf, DataSomeValuesFrom)