On Feb 11, 2009, at 2:16 AM, Matthew West wrote: (01)
> Dear Rich,
>
>> I liked "WholePart(X,Y)" which I take to mean that X is a whole and Y
>> is a
>> part of X at this moment in time.
>>
>> I don't see that its necessary to distinguish between various kinds
>> of
>> temporal conditions - temporal information can be organized
>> independently of
>> the WholePart(X,Y) statement. There is no value in adding something
>> about
>> "X used to be a whole with Y a part of it", or "X will become a whole
>> with Y
>> as a part of it". Those conditions can be better modeled with
>> relations
>> pertaining to time - temporal logic predicates for example.
>
> [MW] With 4D there is no such complication. You identify which
> temporal part
> of X was a part of Y. The temporal part of X already knows about the
> times
> involved. This is why the mereology can be so simple. (02)
Yes, at first its surprising, but actually its kind of obvious when
you think about it: mereology is dimension-independent. It works the
same way in four as in three, and indeed as in two or one dimensions.
The very same axioms apply. Makes life so much simpler. (03)
Pat (04)
>
>
>>
>> While it would be nice to have axioms relevant to the items in the
>> tree,
>> that seems to add a great deal of complexity at a time when we can't
>> even
>> seem to agree on these simple concepts mentioned in Ian's tree. We
>> have to
>> stop modeling at some point to have a finished ontology, even if the
>> ontology is not perfect, or even suitable for certain tasks. It is
>> enough
>> if an ontology like Dublin Core is developed for the concepts in
>> Ian's
>> tree.
>
> [MW] But you don't know what the concepts actually mean until you
> have the
> axioms...
>
> Regards
>
> Matthew West
> Information Junction
> Tel: +44 560 302 3685
> Mobile: +44 750 3385279
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> 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
>
>
> (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
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 (07)
|