RE: Axiom annotations

Hello,

You are right - we overlooked this point. Would you mind logging this as an
issue at Google Code?

The problem seems to be caused by the fact that, dating from OWL 1.0, you
could state only binary equivalences, disjointness axioms, etc. in OWL RDF.
OWL 1.1 inherits this limitation from OWL 1.0 (in order to be backwards
compatible); however, as you notice, this has consequences regarding
annotations.

There are two fixes that I see:

1. One should provide an RDF encoding that does not break up equivalences;
then, we might tack on the annotations appropriately.

2. A hack would be to simply repeat the axiom annotation on each generated
equivalence. I am not particularly fond of this, but it is a possibility.

Thanks for pointing this out!

Sincerely yours,

	Boris

> -----Original Message-----
> From: public-owl-dev-request@w3.org [mailto:public-owl-dev-request@w3.org]
> On Behalf Of Alan Ruttenberg
> Sent: 18 April 2007 01:54
> To: public-owl-dev@w3.org
> Cc: chris mungall
> Subject: Axiom annotations
> 
> 
>  From http://webont.org/owl/1.1/rdf_mapping.html
> 
> > 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
> What happens when an Axiom serializes as multiple triples:
> 
> > EquivalentClasses(c1 ... cn) =>
> > T(ci) owl:equivalentClass T(ci+1)   1 ? i ? n-1
> -Alan

Received on Wednesday, 18 April 2007 07:56:22 UTC