- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Tue, 18 Mar 2008 21:32:18 -0400 (EDT)
- 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 UTC