- 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>
[...] > 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 UTC