OWL Data Model
- Ontologies
- Entities and Primitives
- Class Expressions
- Classes
- Intersection and Union of Class Expressions
- Complement of Class Expressions
- Enumeration of Individuals
- Object Property Quantification
- Data Property Quantification
- Individual Value Restriction
- Literal Value Restriction
- Self Restriction
- Object Cardinality Restrictions
- Data Cardinality Restrictions
- Object Property Expressions
- Data Property Expressions
- Data Ranges
- Axioms
- Declarations
- Datatype Definitions
- Subclasses
- Equivalent and Disjoint Classes
- Disjoint Union
- Object Subproperties
- Equivalent and Disjoint Object Properties
- Inverse Object Properties
- Object Property Domain
- Object Property Range
- Object Property Characteristics
- Data Subproperties
- Equivalent and Disjoint Data Properties
- Data Property Domain
- Data Property Range
- Functional Data Properties
- Same and Different Individuals
- Class Assertions
- Object Property Assertions
- Data Property Assertions
- Annotation Subproperties
- Annotation Assertions
- Annotation Property Domain
- Annotation Property Range
- Keys
- Annotations
- Vocabularies