In ontology, the Set of all entitieS that can be repreSented in Some declarative language or other {formal SyStem}. Each entity iS repreSented by a name and may have Some human-readable deScription of itS meaning. Formal axiomS conStrain the interpretation and well-formed uSe of theSe nameS. (2005-07-29)