From: Ward B. <war...@ug...> - 2010-11-03 12:00:51
|
On 29/10/2010 22:54, Alan Ruttenberg wrote: > On Wed, Oct 27, 2010 at 10:18 PM, Chris Mungall<CJM...@lb...> wrote: > >> The other option here is to combine derives_from as defined in the >> paper with part_of. the child derives from part of the parent, that >> part ceases to exist after the derivation, but the parent as a whole >> continues to exist. The combined relation could be named >> derives_from_part_of. > This would seem to be a conservative choice (= good). It might require > an additional axiom to the effect that derivation from a part does not > imply derivation from the thing the part is of. If derives_from_part_of holds over the chain derives_from + part_of, it will follow that derives_from is a subrelation of derives_from_part_of. This is because of the reflexivity of part_of. Everything is part of itself, right? If this has to be avoided, you should make a chain with derives_from + proper_part_of (not reflexive). In that case neither will be a subrelation. cheers, Ward > -Alan > > ------------------------------------------------------------------------------ > Nokia and AT&T present the 2010 Calling All Innovators-North America contest > Create new apps& games for the Nokia N8 for consumers in U.S. and Canada > $10 million total in prizes - $4M cash, 500 devices, nearly $6M in marketing > Develop with Nokia Qt SDK, Web Runtime, or Java and Publish to Ovi Store > http://p.sf.net/sfu/nokia-dev2dev > _______________________________________________ > Obo-discuss mailing list > Obo...@li... > https://lists.sourceforge.net/lists/listinfo/obo-discuss |