<> <#rcsid> "$Id: rdfd-rules.n3,v 1.7 2005/04/16 14:03:48 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:dcrange a rdf:Property; rdfs:domain rdf:Property; rdfs:range rdfd:Datatype.
rdfd:lex a rdf:Property; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal .

{?d a rdfd:Datatype } log:implies { ?d rdfs:domain ?d } .
{?d a rdfd:Datatype . ?o ?d ?l } log:implies { ?o rdfd:lex ?l } .
{?p rdfd:dcrange ?d . ?o rdfd:lex ?l . ?s ?p ?o } log:implies { ?o ?d ?l } .