# $Id: rdfs-query.n3,v 1.6 2001/12/01 01:21:28 amdus Exp $
# PxButton | test | java -Dhttp_proxy=%http_proxy% Euler -entail rdf-facts.n3 rdf-rules.n3 rdfs-rules.n3 rdfs-query.n3 |

@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 : <rdf-rules#> .

:foo :bar :baz .
:foo a rdfs:Resource .
:bar a rdf:Property .
:bar a rdfs:Resource .
:baz a rdfs:Resource .
rdfs:Resource a rdfs:Class .
rdfs:Resource a rdfs:Resource .
rdfs:Resource rdfs:subClassOf rdfs:Resource .
rdf:Property a rdfs:Class .
rdf:Property a rdfs:Resource .
rdf:Property rdfs:subClassOf rdfs:Resource .
rdfs:Class a rdfs:Class .
rdfs:Class a rdfs:Resource .
rdfs:Class rdfs:subClassOf rdfs:Resource .
rdfs:Literal rdf:type rdfs:Class .
rdfs:Literal a rdfs:Resource .
rdfs:Literal rdfs:subClassOf rdfs:Resource .
rdf:type a rdf:Property .
rdf:type a rdfs:Resource .
rdf:type rdfs:domain rdfs:Resource .
rdf:type rdfs:range rdfs:Class .
rdfs:domain a rdf:Property .
rdfs:domain a rdfs:Resource .
rdfs:domain rdfs:domain rdf:Property .
rdfs:domain rdfs:range rdfs:Class .
rdfs:range a rdf:Property .
rdfs:range a rdfs:Resource .
rdfs:range rdfs:domain rdf:Property .
rdfs:range rdfs:range rdfs:Class .
rdfs:subClassOf a rdf:Property .
rdfs:subClassOf a rdfs:Resource .
rdfs:subClassOf rdfs:domain rdfs:Class .
rdfs:subClassOf rdfs:range rdfs:Class .
rdfs:subPropertyOf a rdf:Property .
rdfs:subPropertyOf a rdfs:Resource .
rdfs:subPropertyOf rdfs:domain rdf:Property .
rdfs:subPropertyOf rdfs:range rdf:Property .