|From:||Ali Hashemi <ali.hashemi+ontolog@xxxxxxxxxxx>|
|Date:||Sat, 14 Feb 2009 08:40:24 -0500|
On Fri, Feb 13, 2009 at 8:58 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
I'd love to get some opinions here about the degree (if that's an appropriate word) of ontological commitment. And particularly, how one choice might set off a slew of unintended consequences if one is not careful.
For example, take the notion of linesegment in (or extending) Hilbert's geometry formalization. One might be tempted to implement it is as strictly a relation between 2 (or 3) points say in ontology O1 - i.e. (linsegment x y z) where (x,y,z) are all points. Another, might in ontology O2, be tempted to define a new entity "linesegment" which consists of points -i.e. (linesegment XY x y). Is one making a stronger ontological commitment than the other?
An incidence relation connecting linesegments to points would have the same extension as the linesegment relation in O1.
i.e. relI(on1) = relI(on2) where in O1: (on1 (lineseg x y z) a) and in O2: (on2 linseg a).
Clearly O2 is commiting to the existence of some thing called a linesegment, whereas it is only implied in O1, so in some sense, it is making a greater ontological commitment.
What are advantages / disadvantages to the different formalization choices? It seems O2 would allow more things to be said, but might it be over committing?
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Relationship: n-ary vs binary, Azamat|
|Next by Date:||Re: [ontolog-forum] Relevance of Aristotelian Logic, John F. Sowa|
|Previous by Thread:||Re: [ontolog-forum] Relevance of Aristotelian Logic, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Relevance of Aristotelian Logic, John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|