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

Re: Latest iteration of RDF Datatyping WD (ship it!)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 18 Apr 2002 10:05:48 +0200
To: "Pat Hayes <phayes" <phayes@ai.uwf.edu>
Cc: "Patrick Stickler <patrick.stickler" <patrick.stickler@nokia.com>, "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OFF8F9CB9E.599547B7-ONC1256B9F.002B0F0C@agfa.be>

[...]

> BUt since I can no longer see rules 5a/b, I don't know what the point
> was here :-)

my fault, sorry
I can never find the balance between by-value/by-reference ;-)
I digged them up again in our CVS repository:

----
# $Id: rdfd-rules.n3,v 1.1 2002/04/12 22:47:11 amdus Exp $

### rules for RDFD entailment

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdfd: <http://www.w3.org/2002/rdf-datatyping#> .
@prefix : <rdfd-rules#> .

rdfd:Datatype a rdfs:Class; rdfs:subClassOf rdf:Property .
rdfd:datatype a rdf:Property; rdfs:domain rdf:Property; rdfs:range rdfd:Datatype.
rdfd:lex a rdf:Property; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal .

{ :rule1 . ?d a rdfd:Datatype } log:implies { ?d rdfs:domain ?d } .
{ :rule2 . ?d a rdfd:Datatype . ?o ?d ?l } log:implies { ?o rdfd:lex ?l } .
{ :rule3 . ?p rdfd:datatype ?d . ?s ?p ?o } log:implies { ?o a ?d } .
{ :rule4 . ?p rdfd:datatype ?d . ?s ?p ?o . ?o rdfd:lex ?l } log:implies { ?o ?d ?l } .
{ :rule5a . ?p rdfd:datatype ?d . ?s ?p ?l } log:implies { ?s ?p [ _:skf5 ( ?s ?p ?d ?l ) ] } .
{ :rule5b . ?p rdfd:datatype ?d . ?s ?p ?l } log:implies { [ _:skf5 ( ?s ?p ?d ?l ) ] ?d ?l } .
----

but this is really a test version and certainly the
skolem functional term in the consequent of rule5a/b
--
Jos
Received on Thursday, 18 April 2002 04:06:34 EDT

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