Semantics and Ontologies
A formal ontology is a class structure
of terms with axioms that constrain their use.
An axiom might be
( > end start)
©2012
Charles Petrie
- permission to reproduce widely with attribution.