Dear Rich, (01)
> 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. (02)
[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. (03)
>
> 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. (04)
[MW] But you don't know what the concepts actually mean until you have the
axioms... (05)
Regards (06)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.matthew-west.org.uk/ (07)
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. (08)
_________________________________________________________________
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 (09)
|