Ian Bailey wrote: (01)
> Yes, of course our types are identified by their members. It's an
> EXTENSIONAL ontology. That's kinda the definition of an extensional
> ontology. Our individuals are identified by their extent also - in this case
> spatio-temporal. (02)
Indeed. What I was saying was that my intuition as to what the term
"type" means was wrong, because you have an "extensional" model.
So the list of terms tells us nothing whatever, because it demands that
we fill in the definitions, and we will probably not get the
definitions/axioms that are in your document. (03)
The list is "a child without a meaning". (04)
-Ed (05)
--
Edward J. Barkmeyer Email: edbark@xxxxxxxx
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528
Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694 (06)
"The opinions expressed above do not reflect consensus of NIST,
and have not been reviewed by any Government authority." (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|