Data model

• Base types
  • Objects
    • Object types
    • Placeholder types
  • Numeric types
    • Return codes
    • Flags
      • Iteration over primitives
      • Construct position
  • Strings
  • Collections
    • Vector
    • Hash table
• Entities and primitives
  • Classes
  • Datatypes
  • Object properties
  • Data properties
  • Annotation properties
  • Individuals
    • Named individuals
    • Anonymous individuals
  • IRIs
• Class expressions
  • Classes
  • Boolean class expressions
    • Intersection and union
    • Complement
  • Object property restrictions
    • Existential and universal quantification
    • Individual value restriction
    • Self restriction
    • Cardinality restriction
  • Data property restrictions
    • Existential and universal quantification
    • Literal value restriction
    • Cardinality restriction
  • Individual enumeration
• Data ranges
  • Datatypes
  • Boolean data ranges
    • Intersection and union
    • Complement
  • Datatype restrictions
  • Literal enumeration
• Literals
• Properties
  • Object property expressions
    • Object properties
    • Inverse object properties
  • Data property expressions
    • Data properties
  • Annotation properties
• Axioms
  • Declarations and definitions
    • Declaration
    • Datatype definition
  • Class expression axioms
    • Subclasses
    • Equivalent and disjoint classes
    • Disjoint union
  • Object property axioms
    • Object subproperties
    • Equivalent and disjoint object properties
    • Inverse object properties
    • Object property domain
    • Object property range
    • Object property characteristics
  • Data property axioms
    • Data subproperties
    • Equivalent and disjoint data properties
    • Data property domain
    • Data property range
    • Functional data properties
  • Assertions
    • Class assertions
    • Object property assertions
    • Data property assertions
    • Same and different individuals
  • Annotation axioms
    • Annotation assertions
    • Annotation subproperties
    • Annotation property domain
    • Annotation property range
  • Keys
• Annotations
  • Annotation values
  • Annotation axioms
    • Annotation assertions
    • Annotation subproperties
    • Annotation property domain
    • Annotation property range
• Vocabulary
  • OWL vocabulary
  • RDF vocabulary
  • RDFS vocabulary
  • XSD vocabulary