Re: Axiom annotations

Hi all (especially those working on OWL1.1)!

Alan Ruttenberg wrote on Tue, 17 Apr 2007:

>  From
>> Axioms with annotations are reified. If s p o is the RDF  
>> serialization of the corresponding axiom without annotations given  
>> in Table 2 and the axiom contains annotations Annotation(apIDi  
>> cti), 1 ? i ? n, then, instead of being serialized as s p o, the  
>> axiom is serialized as follows:
>> _:x rdf:type owl11:Axiom
>> _:x T(apIDi) T(cti)   1 ? i ? n
>> _:x rdf:subject s
>> _:x rdf:predicate p
>> _:x rdf:object o

Wouldn't the introduction of RDF reification into the OWL2RDF mapping 
exclude the reification vocabulary from being used in OWL axioms? Just a 
few days ago, we had an analog discussion for rdf:List and friends here 
in the "Restrictions on Bags and Seqs content" thread, remember? Until 
now, reification hasn't been blacklisted in

but then it would probably be.

Again, yet another widely used feature of RDF which is going to be 
forbidden in OWL. And don't forget those people who would like it to see 
reification completely removed from the RDF spec:

I believe with reification deeply embedded in the OWL standard, all 
hopes of them will be off.

Perhaps, the simplest and most conservative workaround would be to use a 
"shadow version" of RDF reification, with same vocabulary and semantics, 
but from a different namespace:

   owl11:subject, owl11:predicate, owl11:object

Best regards,

Received on Wednesday, 18 April 2007 19:44:02 UTC