Ontology that defines entity and relation types used to describe software. Examples include database engines, operating systems etc.