- From: Hamish Harvey <hamish@hamishharvey.com>
- Date: Thu, 09 Aug 2007 10:18:38 +0100
- To: Michael Schneider <m_schnei@gmx.de>
- Cc: danbri@danbri.org, W3C SWIG Mailing-List <semantic-web@w3.org>, bdarcus@gmail.com, garret@globalmentor.com, ivan@w3.org
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