Alas! I have for the first time found an occasion to disagree with Doug
Foxvog, whose postings generally are among the most logical and sensible. (01)
Doug suggested a test case for transitive relations:
> So subOrganizationOf is a specialization of partOf which is not
> transitive.
> (subOrganizationOf GaithersburgMD StateOfMaryland)
> (subOrganizationOf StateOfMaryland UnitedStatesOfAmerica)
> (subOrganizationOf UnitedStatesOfAmerica UnitedNations)
> (not (subOrganizationOf GaithersburgMD UnitedNations)
>
But, ' UnitedStatesOfAmerica' is a **member** of, not a suborganization of
the ' UnitedNations’ . . . no?
Does this change the analysis of 'subOrganizationOf'? (02)
There should be usages of 'suborganization' that are transitive, where
"orders" or rules can be transmitted down through a chain of
suborganizations, and that would be useful, IMHO. (03)
Of course, Gaithersburg folk don't take orders from the UN, regardless of
how many black helicopters are hovering overhead. (04)
Pat (05)
Patrick Cassidy
MICRA Inc.
cassidy@xxxxxxxxx
908-561-3416 (06)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of doug foxvog
> Sent: Monday, May 20, 2013 11:23 AM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] What is the role of an upper level
> ontology?
>
> On 19 May 2013 07:26, Hassan Aït-Kaci wrote:
> > 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
>
> On Sun, May 19, 2013 06:26, Matthew West wrote:
>
> > 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
>
> So subOrganizationOf is a specialization of partOf which is not
> transitive.
> (subOrganizationOf GaithersburgMD StateOfMaryland)
> (subOrganizationOf StateOfMaryland UnitedStatesOfAmerica)
> (subOrganizationOf UnitedStatesOfAmerica UnitedNations)
> (not (subOrganizationOf GaithersburgMD UnitedNations)
>
> > 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.
>
> 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.
>
> -- doug f
>
> > Regards
>
> > 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.
>
>
> > 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.
> >
> > --
> > -hak
>
>
>
>
> _________________________________________________________________
> 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
> (07)
_________________________________________________________________
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 (08)
|