[Top] [All Lists]

Re: [ontolog-forum] An Ultra High Level Ontology

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Matthew West <dr.matthew.west@xxxxxxxxx>
Date: Wed, 11 Feb 2009 08:16:25 -0000
Message-id: <49928968.1c1d640a.0692.ffff94fc@xxxxxxxxxxxxx>
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
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)

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