Re: inconsistency in OWL docs re: annotation properties

Thanks, Bijan; this is very helpful.

I should add that my question was based on a careless reading.  When I 
read that "The object of an annotation property must be either a data 
literal, a URI reference, or an individual" I was thinking that "URI 
reference" was talking about the anyURI datatype; that is, it had to be 
something like this:

<a:myAnnotationProperty 
rdf:datatype="&xsd;#anyURI">http://...</a:myAnnotationProperty>

Cheers,
David


Bijan Parsia wrote:
> On Aug 11, 2006, at 8:18 PM, David Martin wrote:
> 
>> In (1) it says an annotation property cannot have a class as a value; 
>> in (2) it says it can.  Could someone please clarify this?
> 
> It's not obvious. Semantically, it's harmless, since annotations are 
> just thrown away  (thus available to some other sort of tool).
> 
> Let's consider a simple example
> 
> :sheevah rdf:type owl:Thing.
> :sheevahClass rdf:type owl:Class.
> 
> :sheevah rdfs:seeAlso :sheevahClass.
> 
> 
> So, let's consider the reverse transformation to triples:
> 
> Namespace(rdf    = <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
> Namespace(xsd    = <http://www.w3.org/2001/XMLSchema#>)
> Namespace(rdfs    = <http://www.w3.org/2000/01/rdf-schema#>)
> Namespace(owl    = <http://www.w3.org/2002/07/owl#>)
> Namespace(a    = 
> <http://www.mindswap.org/dav/ontologies/bijan/2006/annotationProExample#>)
> 
> Ontology( 
> <http://www.mindswap.org/dav/ontologies/bijan/2006/annotationProExample>
> 
>  Class(a:sheevahClass partial)
>  Class(owl:Thing partial)
> 
>  AnnotationProperty(rdfs:seeAlso)
> 
>  Individual(a:sheevah
>   annotation(rdfs:seeAlso 
> http://www.mindswap.org/dav/ontologies/bijan/2006/annotationProExample#sheevahClass) 
> 
> 
>   type(owl:Thing)))
> 
> So, what would make this owl full? No class is treated as an individual 
> (that is, has at least one rdf:type triple with owl:Class and one with a 
> "regular" class). And the range of the seeAlso is a URI reference (which 
> happnes to name a class).
> 
> Both Pellet and the Wonderweb species validator pass this as OWL Lite. I 
> have an RDF/XML version at:
>     http://www.mindswap.org/dav/ontologies/bijan/2006/annotationPropExample
> 
> Pellet's validation:
>     <http://www.mindswap.org/cgi-bin/2003/pellet/pelletGet.cgi?inputFile=http%3A%2F%2Fwww.mindswap.org%2Fdav%2Fontologies%2Fbijan%2F2006%2FannotationPropExample&inputFormat=RDF%2FXML&inputString=&Species=true&classifyFormat=NONE&queryFile=&queryFormat=SPARQL&queryString=> 
> 
> 
> So the answer is that they are both right :)
> 
> Cheers,
> Bijan.

Received on Saturday, 12 August 2006 00:07:29 UTC