Objection: The "me" yesterday is not the "me" tomorrow. This representation
only holds well for things that literally are fixed, not for complex things
like living organisms, or other stuff that hasn't been ontologized, IMHO, so
it has to be fit to the application. It isn't a truly universal 4D
conceptualization. (01)
JMHO,
-Rich (02)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of doug foxvog
Sent: Sunday, February 07, 2010 3:27 PM
To: [ontolog-forum]
Cc: '[ontolog-forum] '
Subject: Re: [ontolog-forum] Foundation ontology, CYC, and Mapping -4D? (04)
Mathew West wrote:
...
> A 3D ontology can take time into account quite easily by stating the times
> at which some statement is true. (05)
> 3D vs 4D is about the fundamental nature of individuals and whether they
> are extended in time as well as space. (06)
3D vs. 4D has to do with whether temporal-spatial individuals are MODELED
as being extended in time as well as in space. Use of a model does not
requires a change in the "fundamental nature of individuals." (07)
> Under 3D they are extended in space only
> and pass through time, in 4D they are extended in time as well as space. (08)
But both of those models are only useful in enabling statements to be made
about that time-constrained individual. Both models allow such statements
to be made. (09)
> A
> consequence is that "me today" is just an object in 4D, a state of me with
> a beginning at the start of the day and an ending at the end of the day,
> where
> as in 3D I have to say something like "me at all points in time during
> today". (010)
Close. In 4D, "me today" is a temporal slice of me, cut by the starting
and ending times of the day. If my starting or ending time intersects
today, the object does not both begin at the start of the day and end
at the end of the day. (011)
One must be very careful in what such a temporal slice "object" is
considered to be. If the temporal slice is considered to be a member
of the same classes which the 4D worm, then instances of such classes
can not be counted. An object predicate that is functional in an argument
position, may be functional with respect to complete 4D worms, or with
co-extensive temporal slices. (012)
Using a 4D model does not solve all the temporal problems of a 3D model.
One can map descriptions from one model to the other. (013)
I know i am stepping onto religious ground, but imho, a 3D model is easier
to work with. (014)
-- doug (015)
> Regards
>
>
>
> Matthew West
>
> Information Junction
>
> Tel: +44 560 302 3685
>
> Mobile: +44 750 3385279
>
> <mailto:matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx>
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>
> <http://www.informationjunction.co.uk/>
> http://www.informationjunction.co.uk/
>
> <http://www.matthew-west.org.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.
>
>
>
>
>
>
>
>
> _________________________________________________________________
> 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
> (016)
=============================================================
doug foxvog doug@xxxxxxxxxx http://ProgressiveAustin.org (017)
"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
- Dr. Martin Luther King Jr.
============================================================= (018)
_________________________________________________________________
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 (019)
_________________________________________________________________
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 (020)
|