lib-rdfs.n3

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dct: <http://purl.org/dc/terms/> .

<> 
    dct:hasVersion "0.1" ;
    dct:description "An rdfs components library". 

rdfs:domain 
    rdfs:domain rdf:Property ;
    rdfs:range rdfs:Class .

rdfs:range 
    rdfs:domain rdfs:Property ;
    rdfs:range rdfs:Class .

rdfs:subClassOf
    rdfs:domain rdfs:Class ;
    rdfs:range rdfs:Class .

rdfs:subPropertyOf 
    rdfs:domain rdf:Property ;
    rdfs:range rdf:Property .

{
    ?X rdfs:domain ?Y .
}
=>
{ 
    {
        ?U ?X ?V .
    }
    =>
    {
        ?U rdf:type ?Y .
    } .
} .

{
    ?X rdfs:range ?Y .
}
=>
{
    {
        ?U ?X ?V .
    }
    =>
    {
        ?V rdf:type ?Y .
    } .
} .

{
    ?X rdfs:subClassOf ?Y .
}
=>
{
    {
        ?U rdf:type ?X .
    }
    =>
    {
        ?U rdf:type ?Y.
    } .
} .

{
    ?X rdfs:subPropertyOf ?Y .
}
=>
{
    {
        ?U ?X ?V .
    }
    =>
    {
        ?U ?Y ?V.
    } .
} .