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)