W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2002

Re: DECIDED: untidy semantics

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 23 Sep 2002 14:56:32 +0200
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OF08FBBEDF.06794C00-ONC1256C3D.00457F6E-C1256C3D.004719E9@agfa.be>


[...]

> So, rather than the above, we'd have
>
> ==== untidyP
> @prefix : <untidy#> .
> :Sergey :votes _:a"untidy" .
> :Graham :votes _:b"untidy" .
> ====
>
> which does not entail
>
> ==== untidyC
> @prefix : <untidy#> .
> :Sergey :votes _:x .
> :Graham :votes _:x .
>
> though, given the additional knowledge
>
> :votes rdfs:range xsd:string .
>
> a datatype aware RDF application could infer that Sergey's
> and Graham's votes were the same, as it would be able to
> determine that in both cases, the same value is denoted.

right, and I'm not arguing against that
we actually just got that result (*)
after adding following RDFS closure rules

-------------------------------------------------
        | IF                    | THEN
-------------------------------------------------
:rule2b | ?p rdfs:domain ?C .   |
        | (?t ?s) ?p ?o .       | (?C ?s) ?p ?o .
-------------------------------------------------
:rule3b | ?p rdfs:range ?C .    |
        | ?s ?p (?t ?o) .       | ?s ?p (?C ?o) .
-------------------------------------------------


my argument is that "xyz" is "xyz" but *not* _:a"xyz"

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

(*)

C:\temp>Euler untidyP /euler/rdfs-rules untidyC
# Generated with http://www.agfa.com/w3c/euler/#R31083 on 2002-09-23
12:33:59 PM
# for query file:/temp/untidyC.n3
# given file:/temp/untidyP.n3 file:/euler/rdfs-rules.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix ns: <rdfs-rules#> .
@prefix : <untidy#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2b> .
  :Sergey :votes ( _:a "untidy")} log:implies
{:Sergey :votes ( xsd:string "untidy")}.
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rule2b> .
  :Graham :votes ( _:b "untidy")} log:implies
{:Graham :votes ( xsd:string "untidy")}.


# Proof found for file:/temp/untidyC.n3 in 23 steps (2296 steps/sec) using
1 engine
Received on Monday, 23 September 2002 08:57:16 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:51:02 EDT