[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Thu, 12 Jul 2012 11:48:51 -0400
Message-id: <5a2a9b907e5f99174bbc07f49bc75f05.squirrel@xxxxxxxxxxxxxxxxx>
On Wed, July 11, 2012 15:19, Matthew West wrote:
> Dear Doug,
> Pat has not picked this up, so I will take the liberty of answering for
> him on this.    (01)

>> Do the URIs  .../PresidentOfIreland and .../KingOfNorway refer
>> to the same thing in every context?
>>  Or would you disallow such URIs for individuals?    (02)

> The PresidentOfIreleand and the KingOfNorway are individuals that at
> different times are co-extensional with states of different people.    (03)

By "state of a person" do you mean temporal slice of that person's
space-time worm?    (04)

I emphasized "individuals" to eliminate predicates.  I also wanted to
exclude that these were roles.  I would want answers to questions
such as
   (PresidentOfIreland givenName ?NAME)    (05)

   (KingOfNorway ageInYears ?NUMBER)    (06)

     (KingOfNorway parentOf ?PRINCESS)
     (?PRINCESS givenName ?PNAME))    (07)

Would modeling these terms as states of a person allow the correct
answers to be given for such queries that were correctly temporally
constrained?    (08)

> They may also go through periods of non-existence.    (09)

Yes, I previously stated this.    (010)

> This is what you find when you draw the 4D map for them.    (011)

> Regards
> Matthew West
> Information  Junction
> Tel: +44 1489 880185
> Mobile: +44 750 3385279
> Skype: dr.matthew.west
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> http://www.informationjunction.co.uk/
> http://www.matthew-west.org.uk/
> 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.    (012)

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    (013)

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