Dear Chris, (01)
Thanks for confirming my comments. Nice to know I've learnt something
along the way. (02)
I was intrigued by this: (03)
> That they have powertypes in
> particular is suggestive of full higher-order logic, but again it's
> just a label without a semantics, so there is no way to know. (04)
I have an interest in powertypes too, so could you tell me how
powertypes can make an ontology higher order, and whether it is possible
(and or desirable) to avoid this. (05)
Regards (06)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (07)
This email originates from Information Junction Ltd. Registered in
England and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (08)
_________________________________________________________________
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 (09)
|