Re: Proposal to close ISSUE-12

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