Ontology is a formal, shared conceptualization of an explicit specification