Y> 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)