ontolog-forum
[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Mon, 20 May 2013 11:22:49 -0400
Message-id: <c1fc38b3751500906bcc70202b6b758e.squirrel@xxxxxxxxxxxxxxxxx>
On 19 May 2013 07:26, Hassan At-Kaci wrote:
> On 5/19/2013 1:43 AM, jmcclure@xxxxxxxxxxxxxx wrote:    (01)

>> Could you provide example of a nontransitive part relation    (02)

> 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.    (03)

> --
> -hak    (04)

On Sun, May 19, 2013 06:26, Matthew West wrote:    (05)

> This is conflating two things:
>
> a)      Membership of a club to a sports federation, and of a player to a
> sports club    (06)

> b)      Whole-part.    (07)

> I would argue that it is the membership relation that is not transitive    (08)

So subOrganizationOf is a specialization of partOf which is not transitive.
(subOrganizationOf GaithersburgMD StateOfMaryland)
(subOrganizationOf StateOfMaryland UnitedStatesOfAmerica)
(subOrganizationOf UnitedStatesOfAmerica UnitedNations)
(not (subOrganizationOf GaithersburgMD UnitedNations)    (09)

> 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.    (010)

OK, one can create a transitive partanomic relation that has something
to do with the non-transitive partanomic relation suggested.  But the
meaning of such a relation seems like it might be tricky to describe
since the relationship between individual team members to their
teams is different from their relationship to the club that their team
is a member of and still different from the relationship that they have
to the federation of clubs.    (011)

-- doug f    (012)

> Regards    (013)

> Matthew West
>
> Information  Junction
>
> Tel: +44 1489 880185
>
> Mobile: +44 750 3385279
>
> Skype: dr.matthew.west
>
>  <mailto:matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx>
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>
>  <http://www.informationjunction.co.uk/>
> http://www.informationjunction.co.uk/
>
>  <https://sites.google.com/site/drmatthewwest/>
> https://sites.google.com/site/drmatthewwest/
>
> 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.    (014)


> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Hassan
> At-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.
>
> --
> -hak    (015)




_________________________________________________________________
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    (016)

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