Ontology describing some domain of the world.