Re: SUO: Re: Bootstrap Ontology
>
>OK, good. Here is a slightly more complex example taken from an ontology for
>category theory.
>
>(KIF$Class Category)
>(KIF$UnaryFunction source)
>
>(forall (?c ?s)
> (=> (= (source ?c) ?s)
> (and (Category ?c) (KIF$UnaryFunction ?s))))
>
>(forall (?c ?m ?o)
> (=> (= ((source ?c) ?m) ?o)
> (and ((morphism ?c) ?m) ((object ?c) ?o))))
>
>Here is a version using the sorting predicate that you mentioned.
>
>(SortOf source ((Category) KIF$UnaryFunction))
>(forall (?c)
> (SortOf (source ?c)(((morphism ?c)) (object ?c)))
>
>Here 'object and 'morphism' are some other KIF$Classes.
>Does this look OK?
Hmmm. No, in fact, as in the current draft there is no way to
quantify into a (SortOf) assertion. But I see what you want to be
able to say. Thanks for the example, and I will try to see if we
could extend the language to accomodate this kind of assertion. Let
me get back to you on this in a few days.
>I am using the namespace notation 'namespace$name', since namespaces seem to
>be very natural in this situation. The KIF namespace is for a core (or
>bootstrap) KIF ontology. I have other namespaces for Categories, Functors,
>etc. And for particular categories, such as Set and Classification. Are
>namespaces to be included in SUO-KIF? I hope so!
We havn't discussed any explicit syntax for namespaces, but the KIF
syntax for identifiers is very liberal, so you are free to use syntax
like 'namespace$name' if you want. Would you expect a KIF reasoner to
treat your namespace syntax in a special way? If so, what would you
expect it to be able to do?
(One suggestion, used by Mark Stickel in his SNARK reasoning engine,
is to allow a class or sort name to be used as a kind of namespace
identifier in variable names, so that '?person-1' automatically
expresses a quantification restricted to the class Person. Would you
find that useful?)
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