I don't know if this is a TBC question or not, but I will ask it here first...
In the OWL spec, http://www.w3.org/TR/2004/REC-owl-ref-20040210/#AnnotationProperty-def, it states: Annotation properties must not be used in property axioms. Thus, in OWL DL one cannot define subproperties or domain/range constraints for annotation properties. And the definition of rdfs:label, according to http://www.w3.org/2000/01/rdf-schema#label is: <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#label";> <rdfs:isDefinedBy rdf:resource="http://www.w3.org/2000/01/rdf-schema#"/> <rdfs:label>label</rdfs:label> <rdfs:comment>A human-readable name for the subject.</rdfs:comment> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/> </rdf:Property> Of course, it does not have an OWL annotation property type in an RDFS definition. But in TBC, I see that rdfs:label is an owl:AnnotationProperty, which is not in the rdfs definition. I'm not sure where that came from (TBC?), but I'm OK with that (I think), except it still has the domain and range definition, which seems to be in conflict with OWL-DL. I am not getting OWL Species of OWL-Full because of this, but I don't understand why not. Is this a hard-coded special case? Or am I misunderstanding something? Jim --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
