On Mar 18, 2008, at 9:32 PM, Peter F. Patel-Schneider wrote:
> 1/ Annotations on axioms that generate single triples are as before
> e.g., ObjectPropertyDomain(Annotation(a "bar") r d) could become
> _:x rdf:type owl11:Axiom
> _:x rdf:subject r
> _:x rdf:predicate rdfs:domain
> _:x rdf:object d
> _:x a "bar"
>
On Mar 24, 2008, at 10:07 AM, Michael Schneider wrote:
> And as I already wrote in an earlier answer to Alan, I would prefer
> to have
...
> * having the original axiom still in the RDF graph, so that the
> annotation
> construct exists in /addition/ to the encoding of the axiom.
For 1/ I would also prefer that the original triple {r rdfs:domain d}
be included in the serialization, consistent with my proposal to
resolve ISSUE-67
http://lists.w3.org/Archives/Public/public-owl-wg/2008Mar/0236.html
-Alan