Re: annotate an axiom in OWL

On Feb 6, 2008, at 11:56 AM, Alan Ruttenberg wrote:

>
> This can't be done within OWL 1.0. It is a design goal of OWL 1.1  
> to support this.

This makes it sound like the support is something that will be  
offered in the future.
I think things have progressed a little further than this simply  
being a design goal?

As far as I understand OWL1.1 does support this in the form of Axiom  
Annotation

http://www.webont.org/owl/1.1/owl_specification.html#A

I just did a quick experiment with the OWLAPI and it seems I can  
write out OWLXML:

     <SubClassOf>
         <Annotation annotationURI="&rdfs;comment">
             <Constant>true the last time I checked</Constant>
         </Annotation>
         <OWLClass URI="&tax;Human"/>
         <OWLClass URI="&tax;Animal"/>
     </SubClassOf>

Seems to also work with functionalsyntax:

EntityAnnotation(OWLClass(<http://purl.org/obo/owl/tax#Human>) Label 
("tax:Human"))
SubClassOf(Annotation(<&rdfs;comment> "true last time I checked")
            <http://purl.org/obo/owl/tax#Human> <http://purl.org/obo/ 
owl/tax#Animal>)

The only controversial part would appear to be the RDF-XML transform:

     <owl:Class rdf:about="&tax;Human">
         <rdfs:label>tax:Human</rdfs:label>
     </owl:Class>
     <rdf:Description>
         <rdf:type rdf:resource="&owl11;Axiom"/>
         <rdf:subject rdf:resource="&tax;Human"/>
         <rdf:predicate rdf:resource="&rdfs;subClassOf"/>
         <rdf:object rdf:resource="&tax;Animal"/>
         <rdfs:comment
             >true last time I checked</null:comment>
     </rdf:Description>

Curiously, the OWLAPI seems to drop the actual rdfs:subClassOf  
triple, retaining only its reification. I'm guessing this is a bug  
and not a feature.

The last time rdf-reification was brought up on this list it was shot  
down - but it seems that no alternate solutions are being considered?  
I personally don't have any issues with reification.

There was an issue regarding multi-triple axioms:

http://www.w3.org/2007/OWL/tracker/issues/12
http://lists.w3.org/Archives/Public/public-owl-dev/2007AprJun/0036.html

A solution was proposed here:
http://lists.w3.org/Archives/Public/public-owl-wg/2007Dec/0158.html

This is still marked open, so I don't know if this is all to be  
regarded as finalized

See also:
http://semantic.nodix.net/2005/11/annotating-axioms-in-owl.html
http://www.w3.org/2007/OWL/wiki/Annotation_System

> -Alan
>
> On Feb 6, 2008, at 12:40 PM, Chuming Chen wrote:
>
>>
>> Dear All,
>>
>> Given an axiom in OWL functional syntax "SubClassOf(Human,  
>> Animal)", how can I add annotation for it?
>>
>> For example, I want to add the following annotations:
>> 1) add comment "Humans are animal"
>> 2) add "John created this axiom"
>> 3) add "This axiom was created on Feb. 6, 2008"
>>
>> Can anybody show me how to do this in OWL functional syntax?
>>
>> Thanks,
>>
>> Chuming
>>
>
>
>

Received on Wednesday, 6 February 2008 23:35:30 UTC