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.

Received on Wednesday, 19 March 2008 01:36:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC