W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2006

Re: [SWC] RIF & OWL compatibility

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Mon, 16 Jan 2006 09:34:00 +0000
Message-ID: <43CB6888.1010505@hplb.hpl.hp.com>
To: Enrico Franconi <franconi@inf.unibz.it>
CC: public-rif-wg@w3.org

Enrico Franconi wrote:

> You don't need to go very far.
> It is needed in order to capture pure basic SPARQL with RDF entailment.
> 
> For example, given the data
>     age(:john, "25"^^xsd:decimal)
> corresponding to the RDF triple
>     :john :age "25"^^xsd:decimal .
> then the following is RDF entailed
>     rdf:XMLLiteral(_:b)
> corresponding to the RDF triple
>     _:b rdf:type rdf:XMLLiteral .
> where _:b is a bnode, with a true existential semantics for _:b.

This is just a minor comment which does not affect the substance of your 
point ...

I don't think you mean rdf:XMLLiteral here, "25^^xsd:decimal" is not a 
well-typed rdf:XMLLiteral and the two value spaces are disjoint. 
However, under RDF with datatype entailments you will entail:

     _:b rdf:type xsd:decimal .

and, under RDFS entailment, can further entail:

     _:b rdf:type rdfs:Literal .

Alternatively you could use an example such as:
      printableName(:john, "John"^^rdf:XMLLiteral)

corresponding to the use of "parsetype='Literal'" in RDF/XML.

Dave
Received on Monday, 16 January 2006 09:33:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:26 GMT