<div>Dear Martin,</div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;There is&nbsp;an error in the previous message and&nbsp;I&#39;ve found one other property subsumption for your analysis. So, the complete list is:</div>
<div>&nbsp;</div>
<div>P134 continued (was continued by)&nbsp;isA P120 occurs before (occurs after)</div>
<div>&nbsp;</div>
<div>
<div>P9 consists of (forms part of) isA P117B includes (occurs during) </div>
<div>&nbsp;</div>
<div>P10 falls within (contains)&nbsp;isA P117 occurs during (includes)</div></div>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div>Regards,</div>
<div>&nbsp;</div>
<div>Joao Lima<br><br></div>
<div class="gmail_quote">On Feb 6, 2008 12:46 PM, João Oliveira &lt;<a href="mailto:joaoli13@gmail.com">joaoli13@gmail.com</a>&gt; wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">Dear Martin,</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">&nbsp;</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">In the same line of thought is it possible to state that </span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial"><span>&nbsp;&nbsp; </span>P9 consists of (forms parts of) isA P117B occurs during (includes), </span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">and</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial"><span>&nbsp;&nbsp; </span>P10 falls within (contains) isA P117 occurs during (includes) ?</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">&nbsp;</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">If the response is &#39;Yes&#39;, it will be necessary to invert the P9 range/domain also. </span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span lang="EN-US" style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">&nbsp;</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">Best</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">&nbsp;</span></p>
<p style="MARGIN: 0cm 0cm 0pt"><span style="FONT-SIZE: 10pt; FONT-FAMILY: Arial">João Lima</span></p><br>
<div class="gmail_quote">2008/1/31 martin &lt;<a href="mailto:martin@ics.forth.gr" target="_blank">martin@ics.forth.gr</a>&gt;: 
<div>
<div></div>
<div class="Wj3C7c"><br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Dear Vladimir,<br><br>Thank you very much for your comment.<br><br>Actually the domain - range restriction of R10 to F3, F5 is the kind of intension change<br>
that justifies the subproperty. If you may interpret the label &quot;has type&quot; and<br>&quot;example&quot; as synonymous, has no relevance. Labels are only mnemonics. Note, that<br>the CRM is not a dictionary that would explain the meaning of English words or expressions.<br>
<br>Domain and Range of properties are part of their intension. Beyond that, only the<br>scope note matters.<br><br>Actually the link P137 should be declared as subproperty of P2. This needs<br>inverting P137. This is an issue for the next meeting.<br>
<br>The notion of &quot;exemplifying&quot; in P137 is that of selecting ONE instance to be<br>a particularly good representative. This is not the sense of R10, but similar<br>to the &quot;representative assignment&quot; in FRBRoo, which we put now in an Annex of the document.<br>
<br>Best,<br><br>Martin<br><br><br>Vladimir Ivanov wrote:<br>&gt; Dear All,<br>&gt;<br>&gt; In fact, each property (R10, P137, etc.)<br>&gt; could be treated as a couple : R10F(orward) and R10B(ackward) or P137F and P137B.<br>
&gt;<br>&gt; Maybe, the issue is in the order of property names.<br>&gt;<br>&gt; &quot;is example of &nbsp; &nbsp; #R10F# &nbsp; &nbsp; &nbsp; &nbsp; (has example) #R10B#&quot; &nbsp; &nbsp;and<br>&gt; &quot;is exemplified by #P137F# &nbsp; &nbsp; &nbsp; &nbsp;(exemplifies) #P137B#&quot; &nbsp;.<br>
&gt;<br>&gt; and property hierarchy:<br>&gt;<br>&gt; R10F Subproperty of P137B<br>&gt; R10B Subproperty of P137F<br>&gt;<br>&gt; looks normal.<br>&gt; -----<br>&gt;<br>&gt; Or, we could imagine inverse order:<br>&gt;<br>&gt; &quot;is example of &nbsp; &nbsp; #R10F# &nbsp; &nbsp; &nbsp; &nbsp; (has example) #R10B#&quot; &nbsp; &nbsp;and<br>
&gt; &quot;is exemplified by #P137B# &nbsp; &nbsp; &nbsp; &nbsp;(exemplifies) #P137F#&quot; &nbsp;.<br>&gt;<br>&gt; and correspond property hierarchy.<br>&gt;<br>&gt;<br>&gt; As for the first part of the letter,<br>&gt;<br>&gt; We could apply a simple test:<br>
&gt;<br>&gt; To be _an example of_ someting is to _have type_ of something<br>&gt; isn&#39;t it?<br>&gt;<br>&gt;<br>&gt; Best,<br>&gt; Vladimir.<br>&gt;<br>&gt;<br>&gt; -----Original Message-----<br>&gt; From: &quot;JoЦo Oliveira&quot; &lt;<a href="mailto:joaoli13@gmail.com" target="_blank">joaoli13@gmail.com</a>&gt;<br>
&gt; To: <a href="mailto:crm-sig@ics.forth.gr" target="_blank">crm-sig@ics.forth.gr</a><br>&gt; Date: Wed, 30 Jan 2008 21:43:07 -0200<br>&gt; Subject: [Crm-sig] FRBRoo R10&#39;s superproperty<br>&gt;<br>&gt;&gt; Dear All,<br>
&gt;&gt;<br>&gt;&gt; &nbsp; &nbsp; The R10 property has the following definition:<br>&gt;&gt;<br>&gt;&gt; R10 is example of (has example)<br>&gt;&gt; Domain: F5 Item<br>&gt;&gt; Range: F3 Manifestation Product Type<br>&gt;&gt; Subproperty of: P2 has type<br>
&gt;&gt;<br>&gt;&gt; &nbsp; &nbsp; According CIDOC CRM document, &quot;the intension of<br>&gt;&gt; the subproperty extends the intension of the superproperty,<br>&gt;&gt; i.e. its traits are more restrictive than that of its superproperty&quot;<br>
&gt;&gt;<br>&gt;&gt; &nbsp; &nbsp;To be a &quot;example&quot; is not a &quot;more restrictive&quot; case of to be a &quot;type&quot;.<br>&gt;&gt; &nbsp; &nbsp;I think the most appropriate CIDOC CRM superproperty for R10<br>&gt;&gt; should be:<br>
&gt;&gt;<br>&gt;&gt; P137: is exemplified by (exemplifies)<br>&gt;&gt; Domain: E55 Type<br>&gt;&gt; Image: E1 CRM Entity.<br>&gt;&gt;<br>&gt;&gt; &nbsp; &nbsp;So, to align the subproperty intension with the superproperty intension,<br>
&gt;&gt; &nbsp;I think it&#39;s necessary to redefine (invert Range/Domain) R10:<br>&gt;&gt;<br>&gt;&gt; &nbsp;R10 has example (is example of)<br>&gt;&gt; Domain: F3 Manifestation Product Type<br>&gt;&gt; Range: F5 Item<br>&gt;&gt; Subproperty of: P137 is exemplified by (exemplifies)<br>
&gt;&gt;<br>&gt;&gt; &nbsp; &nbsp;Now,<br>&gt;&gt; F3 Manifestation Product Type &lt;has example&gt; F5 Item<br>&gt;&gt; &nbsp; &nbsp;is a specific case of<br>&gt;&gt; E55 Type &lt;is exemplied by&gt; E1 CRM Entity.<br>&gt;&gt;<br>&gt;&gt; Regards<br>
&gt;&gt;<br>&gt;&gt; Joao Lima<br>&gt;&gt;<br>&gt;&gt;<br>&gt;&gt; _______________________________________________<br>&gt;&gt; Crm-sig mailing list<br>&gt;&gt; <a href="mailto:Crm-sig@ics.forth.gr" target="_blank">Crm-sig@ics.forth.gr</a><br>
&gt;&gt; <a href="http://lists.ics.forth.gr/mailman/listinfo/crm-sig" target="_blank">http://lists.ics.forth.gr/mailman/listinfo/crm-sig</a><br>&gt;&gt;<br>&gt;&gt;<br>&gt; _______________________________________________<br>
&gt; Crm-sig mailing list<br>&gt; <a href="mailto:Crm-sig@ics.forth.gr" target="_blank">Crm-sig@ics.forth.gr</a><br>&gt; <a href="http://lists.ics.forth.gr/mailman/listinfo/crm-sig" target="_blank">http://lists.ics.forth.gr/mailman/listinfo/crm-sig</a><br>
&gt;<br>&gt;<br><br><br>--<br><br>--------------------------------------------------------------<br>&nbsp;Dr. Martin Doerr &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;| &nbsp;Vox:+30(2810)391625 &nbsp; &nbsp; &nbsp; &nbsp;|<br>&nbsp;Principle Researcher &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;| &nbsp;Fax:+30(2810)391638 &nbsp; &nbsp; &nbsp; &nbsp;|<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;| &nbsp;Email: <a href="mailto:martin@ics.forth.gr" target="_blank">martin@ics.forth.gr</a> |<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Center for Cultural Informatics &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; |<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Information Systems Laboratory &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Institute of Computer Science &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|<br>&nbsp; &nbsp;Foundation for Research and Technology - Hellas (FORTH) &nbsp; |<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|<br>
&nbsp;Vassilika Vouton,P.O.Box1385,GR71110 Heraklion,Crete,Greece |<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Web-site: <a href="http://www.ics.forth.gr/isl" target="_blank">http://www.ics.forth.gr/isl</a> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; |<br>
--------------------------------------------------------------<br><br></blockquote></div></div></div><br></blockquote></div><br>