Re: ISSUE-84: proposed solution

Indeed, this is a bug. Good catch. Your fix is good, and every other fix I have thought of is more complicated. 

Pat

On Nov 6, 2012, at 12:32 PM, Antoine Zimmermann wrote:

> ISSUE-84: "Bug" in D-entailment with literals in non-canonical form
> 
> To sum up, the issue says that in RDF Semantics 2004, the graph:
> 
> { <s> <p> "2"^^xsd:decimal . }
> 
> does *NOT* D-entail the graph:
> 
> { <s> <p> "2.0"^^xsd:decimal . }
> 
> However, the graph:
> 
> { <s> <p> "2"^^xsd:decimal .
>  <x> <y> "2.0"^^xsd:decimal . }
> 
> D-entails the graph:
> 
> { <s> <p> "2.0"^^xsd:decimal . }
> 
> This is weird.
> 
> 
> 
> A solution would be to replace the definition of D-interpretation, which currently says:
> 
> "If D is a datatype map, a D-interpretation of a vocabulary V is any rdfs-interpretation I of V union { aaa: <aaa,x> in D for some x } which satisfies the following extra conditions for every pair <aaa, x> in D:"
> 
> by:
> 
> "If D is a datatype map, a D-interpretation of a vocabulary V is any rdfs-interpretation I of V union { aaa: <aaa,x> in D for some x } union { lll: lll in L(x) for a pair <aaa,x> in D } which satisfies the following extra conditions for every pair <aaa, x> in D:"
> 
> 
> Regards,
> -- 
> Antoine Zimmermann
> ISCOD / LSTI - Institut Henri Fayol
> École Nationale Supérieure des Mines de Saint-Étienne
> 158 cours Fauriel
> 42023 Saint-Étienne Cedex 2
> France
> Tél:+33(0)4 77 42 66 03
> Fax:+33(0)4 77 42 66 66
> http://zimmer.aprilfoolsreview.com/
> 
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Tuesday, 6 November 2012 20:10:14 UTC