Re: RDF 2.0 proposal: contextual properties

Michael Schneider <m_schnei@gmx.de> writes:

> LOL! You might be interested in the fact, that RDF Reification has
> just been introduced into the current OWL-1.1 draft for mapping the
> new concept of annotated (i.e. commented) axioms to RDF syntax:
>
>     <http://webont.org/owl/1.1/rdf_mapping.html#2>
>
>     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
>
>
> Long live Reification! ;-)
>
> Michael

OK, I'm confused by that. "An assertion of a reification of a triple
does not implicitly assert the triple itself"[1]. So surely the above
snippet does not assert the axiom. 

Does OWL-1.1 change this?

[1] http://www.w3.org/TR/rdf-mt/#Reif

Hamish

Received on Thursday, 9 August 2007 09:19:06 UTC