Re: Axiom annotations

On Apr 18, 2007, at 3:55 AM, Boris Motik wrote:
> 1. One should provide an RDF encoding that does not break up  
> equivalences;
> then, we might tack on the annotations appropriately.

equivalences are not the only case.

> 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.

A third would be to add another level of indirection.

_:x rdf:type owl11:AxiomPart
_:x rdf:subject s
_:x rdf:predicate p
_:x rdf:object o

_:y rdf:type owl11:Axiom
_:y owl11:hasAxiomPart _:x
...
_:y T(apIDi) T(cti)   1 ? i ? n


-Alan