RE: SUO: RE: A proposed SUO content outline - roles
>### Another useful predicate could be "is_element_of_SUO(concept, context)"
>
>### this would reduce a lot of issues to mundane implementation :-)
>
>--Robert Meersman
Er, no...it wouldn't. This is an interesting point, close to the
heart of the ontology enterprise. If that really is a *predicate*,
then things called 'concept' and 'context' have to be presumed to
exist (in the logical sense of 'exist', ie to be in the domain of
quantification.) So you have put these things into the actual
ontology, where they need to be incorporated into the classification
heirarchy, axioms have to be provided to fix their meanings (and
debates will then ensue about whether the axioms have indeed captured
the intended meanings or not, etc.), their relationships with all the
other things in the ontology (notions of brotherhood, armchairs,
shoes and ships and sealing wax, ...) need to be spelled out, and so
on. So this is NOT just a matter of mundane implementation.
Implementation is easy, compared to getting the ontology right.
Pat Hayes
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes