SUO: conformance
Folks,
Here's a draft conformance clause (which I believe could apply to both
IFF and SUMO). Constructive feedback is welcome.
- Implementations of SUO are "ontologies" or "information models".
- A conforming implementation is an ontology or information model that:
[#1] Uses terms provided in the SUO, or
[#2] Uses terms that are defined (using SUO-KIF) by other terms in the SUO
[#3] Is consistent: a contradiction cannot be derived by means of
first-order logic from the set of statements belonging to the
implementation and the SUO.
Adam
Adam Pease
Teknowledge
(650) 424-0500 x571