# $Id: rdfd-theory.n3,v 1.10 2002/08/02 16:38:14 jderoo Exp $
# PxButton | commit | cvs commit -m "prepare for skolem" rdfd-theory.n3 |

# axioms for RDFD entailment

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

rdfs:Datatype a rdfs:Class .

rdf:value a rdf:Property .
rdf:value rdfs:domain rdfs:Resource .
rdf:value rdfs:range rdfs:Literal .

rdf:dtype a rdf:Property .
rdf:dtype rdfs:domain rdfs:Resource .
rdf:dtype rdfs:range rdfs:Datatype .
rdf:dtype rdfs:subPropertyOf rdf:type .

{ ?d a rdfs:Datatype } log:implies { ?d rdfs:domain ?d } .
{ ?d a rdfs:Datatype . ?s ?d ?o } log:implies { ?s rdf:value ?o } .
{ ?d a rdfs:Datatype . ?p rdfs:range ?d . ?s ?p ?o } log:implies { ?o rdf:dtype ?d } .