Re: SUO: Re: Formal SUMO Draft -- *Date 01 Feb 2002
Pierluigi,
> the point of an ontology is primarily to
> serve as an abstraction layer for _content_.
>
> Perhaps a better compliance condition could be formulated in terms of
> traslatability or 'representability'. An ontology is compliant iff (i) it
> is formulated in _a_ language with features X, Y, Z and (ii) it is
> accompanied by a translation manual into the 'standard framework'.
This is the point of view of the IFF Model Theory Ontology due out in mid
March with the standard framework being the IFF. Object level ontologies can
be expressed in any language having some of the features of many-sorted
logic and conceptual graphs. The needs of the meta-ontologies in the IFF
itself are met by a simple version of KIF.
Robert E. Kent
rekent@ontologos.org