The various elements like #Observation, #Image, #Identification within the TaxonConcept species concepts are similar to puns.<div><br></div><div>This is designed to follow OWL2</div><div><br></div><div>Note that the Honey Bee <a href="http://lod.taxonconcept.org/ses/z9oqP#Species">http://lod.taxonconcept.org/ses/z9oqP#Species</a></div>
<div><br></div><div><a href="http://lod.taxonconcept.org/ses/z9oqP#Species"></a>Has </div><div><br></div><div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#Image">http://lod.taxonconcept.org/ses/z9oqP#Image</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#Occurrence">http://lod.taxonconcept.org/ses/z9oqP#Occurrence</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#Individual">http://lod.taxonconcept.org/ses/z9oqP#Individual</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#Identification">http://lod.taxonconcept.org/ses/z9oqP#Identification</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#Taxonomy">http://lod.taxonconcept.org/ses/z9oqP#Taxonomy</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#NCBI_Taxonomy">http://lod.taxonconcept.org/ses/z9oqP#NCBI_Taxonomy</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">    &lt;dcterms:hasPart rdf:resource=&quot;<a href="http://lod.taxonconcept.org/ses/z9oqP#OriginalDescription">http://lod.taxonconcept.org/ses/z9oqP#OriginalDescription</a>&quot;/&gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><br></font></div><div><font class="Apple-style-span" face="arial, helvetica, sans-serif">In part this was designed so that the species concept could be an owl class while the occurrence of a Honey Bee is an instance of the class txn:Occurrence.</font></div>
<div><font class="Apple-style-span" face="arial, helvetica, sans-serif">It is tied to the species concept because an Honey Bee occurrence record is also an instance of </font><span class="Apple-style-span" style="font-family: &#39;courier new&#39;, monospace; "><a href="http://lod.taxonconcept.org/ses/z9oqP#Occurrence">http://lod.taxonconcept.org/ses/z9oqP#Occurrence</a></span></div>
<meta charset="utf-8"><div><br></div><div>See </div><div><br></div><div>HTML <a href="http://ocs.taxonconcept.org/ocs/0da685c9-9cdc-4dff-baf3-38d1bdbc6552.html">http://ocs.taxonconcept.org/ocs/0da685c9-9cdc-4dff-baf3-38d1bdbc6552.html</a></div>
<div>RDF   <a href=" http://ocs.taxonconcept.org/ocs/0da685c9-9cdc-4dff-baf3-38d1bdbc6552.rdf"> http://ocs.taxonconcept.org/ocs/0da685c9-9cdc-4dff-baf3-38d1bdbc6552.rdf</a></div><div><br></div>Similarly now and identification of a Honey Bee  is both an instance of txn:Identification and an instance of <meta charset="utf-8"><span class="Apple-style-span" style="font-family: &#39;courier new&#39;, monospace; "><a href="http://lod.taxonconcept.org/ses/z9oqP#Identification">http://lod.taxonconcept.org/ses/z9oqP#Identification</a></span></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><br></font></div><div><font class="Apple-style-span" face="arial, helvetica, sans-serif">This SPARQL Query describe all the identification events for the Honey Bee.</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><br></font></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><div>describe ?s where { ?s a &lt;<a href="http://lod.taxonconcept.org/ses/z9oqP#Identification">http://lod.taxonconcept.org/ses/z9oqP#Identification</a>&gt; }</div>
<div><br></div></font></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">&lt; <a href="http://lsd.taxonconcept.org/isparql/view/?query=describe%20%3Fs%20where%20{%20%3Fs%20a%20%3Chttp%3A%2F%2Flod.taxonconcept.org%2Fses%2Fz9oqP%23Identification%3E%20}%0A&amp;endpoint=/sparql&amp;resultview=browser&amp;maxrows=50&amp;view=1">http://lsd.taxonconcept.org/isparql/view/?query=describe%20%3Fs%20where%20{%20%3Fs%20a%20%3Chttp%3A%2F%2Flod.taxonconcept.org%2Fses%2Fz9oqP%23Identification%3E%20}%0A&amp;endpoint=/sparql&amp;resultview=browser&amp;maxrows=50&amp;view=1</a> &gt;</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><br></font></div><div><font class="Apple-style-span" face="arial, helvetica, sans-serif">or via <a href="http://bit.ly">bit.ly</a>  <a href="http://bit.ly/iDRIaY">http://bit.ly/iDRIaY</a></font></div>
<div><br></div><div><br></div><div>- Pete</div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace"><br></font><div class="gmail_quote">On Mon, May 9, 2011 at 1:09 AM, Paul Murray <span dir="ltr">&lt;<a href="mailto:pmurray@anbg.gov.au">pmurray@anbg.gov.au</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><br>
On 09/05/2011, at 2:07 PM, Kevin Richards wrote:<br>
<br>
&gt; Paul<br>
&gt;<br>
&gt; I had the same thought (ie the x is of type dwc:Taxon, y is of type tc:Taxon, we know dwc:Taxon and tc:Taxon are equivalent, so we can reasonably compare x and y).<br>
&gt; And this is built into standard semantic web reasoners - which is a bonus.<br>
&gt; But this was debated (taking into account Bob Morris&#39; issue) with respect to DwC and it was decided the benefits weren&#39;t significantly better than having a &quot;dwc:isInCategory&quot; sort of property that could then be &quot;equivalent to&quot; another class property and therefore giving you a similar advantage (admittedly not as good, but similar).<br>

&gt; Do you think this is reasonable or are we just losing too much semantic web benefits by not specifying the domain constraint?<br>
<br>
</div>A thing to watch out for is that in OWL DL, you cannot apply ordinary data and object properties to vocabulary objects (classes, predicates) - you can only apply annotation properties. If you apply an ordinary data property to a class, OWL DL treats this as what it calls &quot;punning&quot;: it decides that there is a class named X and also a named individual named X, and that these have nothing to do with one another. The individual has properties, the class has members, and the annotation properties, well: whatever. Reasoners do not reason over annotation properties: indeed - that&#39;s the entire point. Attempting to put properties on properties and having classes being instances of classes results in things that are mathematically undecidable (&quot;this statement cannot be proven to be true&quot;).<br>

<br>
(another reason is that is allows you to put dc:comments and labels on classes, and even if you declare those classes to be equivalent nevertheless the comment only applies to the particular thing you put it on)<br>
<br>
This all means that dwc:isInCategory, if you want to apply it to dwc:taxon or other classes, will never have any meaning that semweb &quot;engines&quot; can get at. The underlying thing is that dwc:isInCategory is actually a meta-syntactic construct: rather than using owl to define a vocabulary, you are effectively attempting to extend OWL itself.<br>

<br>
But ... maybe that&#39;s ok. Maybe what is attempting to be done here only ever needs to be understood by humans.<br>
<br>
Now ... if what you are trying to do is to define &quot;Fish&quot; as an owl class as well as as a Taxon object - that is do-able, even to the point of being able to get inheritance working, using reflexive properties.  At least ... I think it is. I should write a test case.<br>

<div><div></div><div class="h5">If you have received this transmission in error please notify us immediately by return e-mail and delete all copies. If this e-mail or any attachments have been sent to you in error, that error does not constitute waiver of any confidentiality, privilege or copyright in respect of information in the e-mail or attachments.<br>

<br>
Please consider the environment before printing this email.<br>
_______________________________________________<br>
tdwg-content mailing list<br>
<a href="mailto:tdwg-content@lists.tdwg.org">tdwg-content@lists.tdwg.org</a><br>
<a href="http://lists.tdwg.org/mailman/listinfo/tdwg-content" target="_blank">http://lists.tdwg.org/mailman/listinfo/tdwg-content</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>







------------------------------------------------------------------------------------<br>Pete DeVries<br>Department of Entomology<br>University of Wisconsin - Madison<br>445 Russell Laboratories<br>1630 Linden Drive<br>Madison, WI 53706<br>
Email: <a href="mailto:pdevries@wisc.edu" target="_blank">pdevries@wisc.edu</a><br><a href="http://www.taxonconcept.org/" target="_blank">TaxonConcept</a>  &amp;  <a href="http://about.geospecies.org/" target="_blank">GeoSpecies</a> Knowledge Bases<br>
A Semantic Web, <a href="http://linkeddata.org/" target="_blank">Linked Open Data</a>  Project<br>--------------------------------------------------------------------------------------<br>
</div>