[Top] [All Lists]

Re: [ontolog-forum] Ontology modules and namespaces

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Wed, 28 Oct 2009 08:27:12 -0000
Message-id: <4ae80091.1701d00a.662b.6456@xxxxxxxxxxxxx>
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
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)

<Prev in Thread] Current Thread [Next in Thread>