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

ISSUE-86 (anonymous properties): RDF/XML serialization for anonymous inverse properties

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Thu, 6 Dec 2007 03:03:05 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071206030305.438F0BEED@nelson.w3.org>


ISSUE-86 (anonymous properties): RDF/XML serialization for anonymous inverse properties

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

Raised by: Evren Sirin
On product: 

Anonymous inverse properties can be used in ObjectPropertyAssertion axioms like 

   ObjectPropertyAssertion(InverseObjectProperty(property) subject object )

According to [1], the RDF/XML serialization of this 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]. AFAICT this is the only place where anonymous inverse properties appear in the predicate position (all other uses get serialized into subject or object position). Disallowing anonymous inverses in ObjectPropertyAssertion would solve the problem (and would not affect the expressivity).

[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 Thursday, 6 December 2007 03:03:13 GMT

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