ontolog-forum
[Top] [All Lists]
<prev [Date] next>
[Advanced]
<prev [Thread] next>

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

from [Richard Dapoigny] [Permanent Link][Original]
To: Hassan Aït-Kaci <hak@xxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Richard Dapoigny <richard.dapoigny@xxxxxxxxxxxxxx>
Date: 2012年12月13日 18:17:21 +0100
Message-id: <50CA0DA1.4080208@xxxxxxxxxxxxxx>
Le 13/12/2012 18:05, Hassan Aït-Kaci a écrit :
[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

[ _________________________________________________________________ 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.

Attachment: 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)
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] Fwd: Ontologies and individuals , Hassan Aït-Kaci
Next by Date: Re: [ontolog-forum] Fwd: Ontologies and individuals , Alexander Titov
Previous by Thread: Re: [ontolog-forum] Fwd: Ontologies and individuals , Hassan Aït-Kaci
Next by Thread: Re: [ontolog-forum] Fwd: Ontologies and individuals , Alexander Titov
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /