W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

Proposal to close ISSUE-12

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 18 Mar 2008 21:32:18 -0400 (EDT)
Message-Id: <20080318.213218.171431830.pfps@research.bell-labs.com>
To: public-owl-wg@w3.org

ISSUE-12 points out that the mapping rules do not nicely handle most
axioms that generate multiple triples.

I propose to close this issue by modifying the mapping rules (and the
reverse mapping) so that 
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"
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.

peter
Received on Wednesday, 19 March 2008 01:36:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 19 March 2008 01:36:38 GMT