ISSUE-12 (multi-triple annotations): REPORTED: Annotations of multi-triple axioms such as equivalences

ISSUE-12 (multi-triple annotations): REPORTED: Annotations of multi-triple axioms such as equivalences

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Alan Ruttenberg
On product: 

Reported by alanruttenberg, Apr 18, 2007

>From http://webont.org/owl/1.1/rdf_mapping.html

Axioms with annotations are reified. If s p o is the RDF
serialization of the corresponding axiom without annotations given
in Table 2 and the axiom contains annotations Annotation(apIDi
cti), 1 ? i ? n, then, instead of being serialized as s p o, the
axiom is serialized as follows:

_:x rdf:type owl11:Axiom
_:x T(apIDi) T(cti)   1 ? i ? n
_:x rdf:subject s
_:x rdf:predicate p
_:x rdf:object o
What happens when an Axiom serializes as multiple triples:

EquivalentClasses(c1 ... cn) =>
T(ci) owl:equivalentClass T(ci+1)   1 ? i ? n-1

See thread commencing:
http://lists.w3.org/Archives/Public/public-owl-dev/2007AprJun/0036.htm

Received on Wednesday, 24 October 2007 21:06:49 UTC