Re: Proposal to close ISSUE-12

On Mar 18, 2008, at 9:32 PM, Peter F. Patel-Schneider wrote:

> 2/ Annotations on axioms that generate a fresh blank node put the
>    annotation on that blank node, as is done already for negative
>    property assersions
>    e.g.,  DisjointClasses(Annotation(a "bar") c1 c2 c3) becomes
>    	  _:x rdf:type owl11:AllDisjointClasses
> 	  _:x owl11:members SEQ(c1 c2 c3)
> 	  _:x a "bar"



> 3/ Other annotations on axioms that generate multiple triples (e.g.,
>    EquivalentObjectProperties) result in the triples being reified and
>    each annotation attached to each of the reified triples.

For such cases as EquivalentObjectProperties,  can we not add an  
extra fresh blank bnode to the set of entities and then use approach  
2? On the DL-side this can be ignored, on the full side, as  
existential it is satisfied by any other element of the set.

-Alan