An OWL 2 ontology is a formal description of a domain of interest. An OWL 2 ontology consists of a set of axioms, which are true statements about the world involving classes (sets of objects), properties (binary relations between objects) and individuals (concrete objects in the world).