Re: [ontolog-forum] Fwd: Ontologies and individuals

[Richard Dapoigny <richard.dapoigny@xxxxxxxxxxxxxx>]

Le 13/12/2012 18:05, Hassan Aït-Kaci a écrit :

On 12/13/2012 8:55 AM, Richard Dapoigny wrote:

A usual definition is to see individuals as entities having no instance(s).

Hmmm ... like "Loch Ness Monster"

Ok, take this example: it is not an atomic concept since we have two parts (i) Loch Ness and (ii) monster.
The first part is an individual (if we agree with the definition) while the second is a concept (Monster).
The following definition in dependent type theory solves the problem :
\Sigma x : Lake . Monster[x],
we get a type Monster[Loch Ness] which may have as proofs as needed.
(\Sigma refers here to a sum type and Monster : Lake->Type is a dependent type)
Richard

-hak

 
_________________________________________________________________
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
 

-- 
And the wounded skies above say
it's much too much too late.
Well, maybe we should all be praying for time.

richard_dapoigny.vcf
Description: Vcard

_________________________________________________________________
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    (01)