# $Id: rdf-rules.n3,v 1.3 2001/10/04 15:24:36 amdus Exp $

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

rdf:type rdf:type rdf:Property .

:RDF-RULE-1 rdfs:isDefinedBy mt:rdfsentail .

this log:forAll :s, :p, :o .
{ :RDF-RULE-1 rdfs:isDefinedBy mt:rdfsentail . :s :p :o } log:implies { :p rdf:type rdf:Property } .