W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

RDF/XML serialization for anonymous inverse properties

From: Evren Sirin <evren@clarkparsia.com>
Date: Wed, 05 Dec 2007 00:20:18 -0500
Message-ID: <47563512.1070104@clarkparsia.com>
To: public-owl-wg@w3.org

OWL 1.1 allows anonymous inverse properties to be used in axioms. For 
example, one can write the assertion

    ObjectPropertyAssertion(InverseObjectProperty(property) subject object )

which is equivalent to

    ObjectPropertyAssertion(property object subject )

According to [1], the RDF/XML serialization of the first assertion will be

    subject _:p object .
    _:p owl11:inverseObjectPropertyExpression property .

which is not valid RDF because RDF does not allow bnodes in the 
predicate position [2]. Is there something I'm missing? If not, I 
believe disallowing anonymous inverses in ObjectPropertyAssertion would 
solve the problem (and would not affect the expressivity).

Regards,
Evren

[1] http://www.w3.org/2007/OWL/wiki/Mapping_to_RDF_Graphs
[2] http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/#section-triples
Received on Wednesday, 5 December 2007 05:20:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT