Ontology: Combinatorial ontology