SUO: Re: Conformance
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
AP = Adam Pease
AP: - Implementations of SUO are "ontologies" or "information models".
- A conforming implementation is an ontology or information model that:
[#1] Uses terms as defined by the SUO, or
[#2] Uses terms that are defined (using SUO-KIF)
entirely 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.
How are we to warrant that
the standard we put forward
is in conformity with itself?
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤