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:22 UTC

AltStyle によって変換されたページ (->オリジナル) /