Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

SUO: Re: Conformance


¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

AP = Adam Pease

AP: Here's a draft conformance clause (which I believe could apply
    to both IFF and SUMO).  Constructive feedback is welcome.

AP: 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.

Ai, there's the rub -- should a standard be a model or a theory?
Good works or faith alone?

Jon Awbrey

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤