W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2007

Re: Axiom annotations

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Wed, 18 Apr 2007 09:20:06 -0400
Message-Id: <47321A5E-03DB-4122-96C5-A605AB2CE030@gmail.com>
Cc: <public-owl-dev@w3.org>, "'chris mungall'" <cjm@fruitfly.org>
To: "Boris Motik" <bmotik@cs.man.ac.uk>

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

Received on Wednesday, 18 April 2007 13:21:11 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:15 UTC