- 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