# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:20:05 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/rdfs-query.n3
# given [http://www.agfa.com/w3c/euler/rdf-rules.n3, http://www.agfa.com/w3c/euler/rdfs-rules.n3, http://www.agfa.com/w3c/euler/rdf-facts.n3]

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix : <http://www.agfa.com/w3c/euler/rdf-rules#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix mt: <http://www.w3.org/TR/rdf-mt/#>.

: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.
 {ns:RDFS-RULE-7 rdfs:isDefinedBy mt:rdfsentail.
  rdfs:Resource a rdfs:Class} log:implies
{rdfs:Resource rdfs:subClassOf rdfs:Resource}.
rdf:Property a rdfs:Class.rdf:Property a rdfs:Resource.
 {ns:RDFS-RULE-7 rdfs:isDefinedBy mt:rdfsentail.
  rdf:Property a rdfs:Class} log:implies
{rdf:Property rdfs:subClassOf rdfs:Resource}.
rdfs:Class a rdfs:Class.rdfs:Class a rdfs:Resource.
 {ns:RDFS-RULE-7 rdfs:isDefinedBy mt:rdfsentail.
  rdfs:Class a rdfs:Class} log:implies
{rdfs:Class rdfs:subClassOf rdfs:Resource}.
rdfs:Literal rdf:type rdfs:Class.rdfs:Literal a rdfs:Resource.
 {ns:RDFS-RULE-7 rdfs:isDefinedBy mt:rdfsentail.
  rdfs:Literal a rdfs:Class} log:implies
{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.

# Proof found for http://www.agfa.com/w3c/euler/rdfs-query.n3 in 146 steps (9993 steps/sec)