Re: SUO: Classification Ontology
All,
A KIF infomorphism also has an alternate functional representation that is
often more useful. Here the instance function and the type function are
written as KIF functions.
(UnaryRelation Infomorphism)
The 'src' and 'tgt' functions are typed as before.
The instance function is typed as follows.
(forall (?f ?g)
(=> (= (instFn ?f) ?g)
(and (Infomorphism ?f) (UnaryFunction ?g))))
(forall (?f ?i2 ?i1)
(=> (= ((instFn ?f) ?i2) ?i1)
(and ((inst (tgt ?f)) ?i2) ((inst (src ?f)) ?i1))))
The type function is typed as follows.
(forall (?f ?g)
(=> (= (typFn ?f) ?g)
(and (Infomorphism ?f) (UnaryFunction ?g))))
(forall (?f ?i2 ?i1)
(=> (= ((typFn ?f) ?t1) ?t2)
(and ((typ (src ?f)) ?t1) ((typ (tgt ?f)) ?t2))))
__________
KIF definitions and declarations are changed accordingly.
For example, the canonical extent infomorphism '(eta ?c)' is defined as
follows.
(UnaryFunction eta)
(forall (?c ?f)
(=> (= (eta ?c) ?f)
(and (Classification ?c) (Infomorphism ?f))))
The source and target classifications are specified as before.
The instance function is the identity function on instances.
(forall (?c ?i)
(= ((instFn (eta ?c)) ?i)
?i))
The type function is the extent function on types.
(forall (?c ?t)
(= ((typFn (eta ?c)) ?t)
(ext ?c ?t)))
Robert E. Kent
rekent@ontologos.org
----- Original Message -----
From: "Robert E. Kent" <rekent@ontologos.org>
To: "Michael Uschold" <mfu@redwood.rt.cs.boeing.com>
Cc: "SUO" <standard-upper-ontology@ieee.org>
Sent: Friday, January 19, 2001 4:09 PM
Subject: Re: SUO: Classification Ontology
> Hi Mike,
>
> I agree. I have ongoing work on the Information Flow Framework (IFF). What
I
> sent was an extraction from the appendix of an unpublished paper of mine
on
> a "Classification Metatheory." I will try to send a more completely
> annotated document later. As a stopgap let me send the basic part of this
> appendix -- the part without the colimit representation. Although this
also
> is a bit terse, perhaps it will suffice in the meantime.
>
> Robert E. Kent
> rekent@ontologos.org
>
>
> ----- Original Message -----
> From: "Michael Uschold" <mfu@redwood.rt.cs.boeing.com>
> To: <rekent@ontologos.org>; <standard-upper-ontology@ieee.org>
> Sent: Thursday, January 18, 2001 5:24 PM
> Subject: Re: SUO: Classification Ontology
>
>
> >
> > Robert,
> >
> > It would be helpful to augment Kif-ese with English documentation
> > indicating what is going on. In my opinion, this is more important
> > than the KIF - in communicating.
> >
> > Mike
>