Dear All, In fact, each property (R10, P137, etc.) could be treated as a couple : R10F(orward) and R10B(ackward) or P137F and P137B.
Maybe, the issue is in the order of property names. "is example of #R10F# (has example) #R10B#" and "is exemplified by #P137F# (exemplifies) #P137B#" . and property hierarchy: R10F Subproperty of P137B R10B Subproperty of P137F looks normal. ----- Or, we could imagine inverse order: "is example of #R10F# (has example) #R10B#" and "is exemplified by #P137B# (exemplifies) #P137F#" . and correspond property hierarchy. As for the first part of the letter, We could apply a simple test: To be _an example of_ someting is to _have type_ of something isn't it? Best, Vladimir. -----Original Message----- From: "JoЦo Oliveira" <[email protected]> To: [email protected] List-Post: [email protected] Date: Wed, 30 Jan 2008 21:43:07 -0200 Subject: [Crm-sig] FRBRoo R10's superproperty > > Dear All, > > The R10 property has the following definition: > > R10 is example of (has example) > Domain: F5 Item > Range: F3 Manifestation Product Type > Subproperty of: P2 has type > > According CIDOC CRM document, "the intension of > the subproperty extends the intension of the superproperty, > i.e. its traits are more restrictive than that of its superproperty" > > To be a "example" is not a "more restrictive" case of to be a "type". > I think the most appropriate CIDOC CRM superproperty for R10 > should be: > > P137: is exemplified by (exemplifies) > Domain: E55 Type > Image: E1 CRM Entity. > > So, to align the subproperty intension with the superproperty intension, > I think it's necessary to redefine (invert Range/Domain) R10: > > R10 has example (is example of) > Domain: F3 Manifestation Product Type > Range: F5 Item > Subproperty of: P137 is exemplified by (exemplifies) > > Now, > F3 Manifestation Product Type <has example> F5 Item > is a specific case of > E55 Type <is exemplied by> E1 CRM Entity. > > Regards > > Joao Lima > > > _______________________________________________ > Crm-sig mailing list > [email protected] > http://lists.ics.forth.gr/mailman/listinfo/crm-sig > >
