[Top] [All Lists]

Re: [ontolog-forum] What is the role of an upper level ontology?

To: 'Hassan Aït-Kaci' <hak@xxxxxxx>, "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Sun, 19 May 2013 11:26:09 +0100
Message-id: <5198a8c2.050db40a.165b.fffffedb@xxxxxxxxxxxxx>

Dear Hassan,

This is conflating two things:

a)      Membership of a club to a sports federation, and of a player to a sports club

b)      Whole-part.

I would argue that it is the membership relation that is not transitive, but that it is quite reasonable to create a mereological sum of the players of the clubs that are members of a sports club and of a sports federation, and that this is transitive.




Matthew West                           

Information  Junction

Tel: +44 1489 880185

Mobile: +44 750 3385279

Skype: dr.matthew.west




This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.
Registered office: 8 Ennismore Close, Letchworth Garden City, Hertfordshire, SG6 2SU.




From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Hassan Aït-Kaci
Sent: 19 May 2013 07:26
To: jmcclure@xxxxxxxxxxxxxx
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] What is the role of an upper level ontology?


On 5/19/2013 1:43 AM, jmcclure@xxxxxxxxxxxxxx wrote:

Could you provide example of a nontransitive part relation

A sport team is part of a sport club. A club is part of a sport federation if it has at least one team all of whose members are professional players. So a sport team may be part of a club, but not part of a federation.


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    (01)

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