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

[...]

> 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