| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
. I have to say I agree with this suggestion.
. At the risk of being howled down yet again, I would also suggest that a move is made at specifying it in English, the way ALL standards in English are.
Cheers Graham Horn
National Data Standards Unit
Australian Institute of Health and Welfare
================================================
Phone: 02.6244.1094
Fax: 02.6244.1199
Email: Graham.Horn@aihw.gov.au
Knowledgebase: www.aihw.gov.au/knowledgebase/
-----Original Message-----
From: Jon Awbrey [mailto:jawbrey@oakland.edu]
Sent: Friday, 7 December 2001 6:56
To: Jim Farrugia; Stand Up Ontology
Subject: SUO: Re: IFF Updates 2001-Dec-05, Comments Requested
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Jim,
More later, maybe, but my primary and standard recommendation,
now and most likely in each future discussion, will be that
you (y'all) write up a KIF-free version of your ontology
in the style of a standard math/logic monograph, so that
it can be read by people who know & love math/logic,
but are not likely to ever read anything in KIF.
Auxiliary standard recommendation: I hope you (y'all) are fully cognizant
of the responsibility that you must shoulder to educate the voting populace,
both here in this forum and beyond its now so narrow walls, about what the
heck category theory is good for and why. There is just no other way to
skin this CAT.
'nuff said, fer now,
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Jim Farrugia wrote:
>
> All,
>
> We solicit your comments on the updates to the IFF Foundation Ontology.
>
> The IFF's Web page at
>
> http://suo.ieee.org/IFF/
>
> has links to the current version of the IFF Foundation Ontology,
> as well as links to previous versions, changes, and comments digested as
> of November 2, 2001. Note that if your browser has cached this page,
> you may need to reload it to see the new material.
>
> In case you want to go directly to the latest version, its URL is
>
> http://suo.ieee.org/IFF/versions/20011205/
>
> Appended at the end of this email is a summary of the changes since the
> previous version.
>
> We realize that there are outstanding questions and concerns that
> need to be addressed. We hope that the revised Introduction will
> speak to some of these concerns. In the future we will post a new
> Model Theory Ontology, as well as revisions of the Category Theory
> and Classification Ontologies. We hope that these postings will also
> address many of your concerns.
>
> Please send your comments in response to this message, with Subject
> "IFF updates 2001-12-05, comments requested" so that we can easily
> extract this set of comments from the list.
>
> Thank you all for your contributions and your patience.
>
> (Please send any link problems or site irregularities to me off list.)
>
> On behalf of the IFF Editing Team,
>
> Jim Farrugia
>
> ----------------------------------------------------
>
> WHAT HAS NOT CHANGED (YET):
>
> The IFF CategoryTheory(sub)Ontology.pdf
> The IFF Classification(sub)Ontology.pdf
>
> WHAT HAS BEEN MODIFIED:
>
> Introduction.htm has been completely reworked.
> It is now called IFFFoundationOntology.htm.
> IFF Core Ontology has been modified.
> The major changes are: deletion of topos theory material
> (since it has not been used so far in either the IFF
> Classification Ontology or the IFF Category Theory Ontology);
> addition of a generic framework for limits;
> addition of the dual axiomatization for colimits
> (used in the IFF Classification Ontology).
>
> WHAT IS NEW:
>
> * IFF BasicKIFOntology
>
> WHAT IS YET TO COME:
>
> updates to Classification and Category Theory ontologies a new Model Theory Ontology
>
---------------------------------------------------
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤