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/> .

{
    ?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.
    } .
} .