search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

Annotations of multi-triple axioms such as equivalences #27

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
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.html

Original issue reported on code.google.com by alanruttenberg@gmail.com on 18 Apr 2007 at 1:25

GoogleCodeExporter commented 9 years ago

Original comment by pfpschne...@gmail.com on 24 Oct 2007 at 9:06