# $Id: rdf-rules.n3,v 1.8 2002/06/21 22:12:37 josderoo 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 .

this log:forAll :s, :p, :o .
{ :rule1 . :s :p :o } log:implies { :p rdf:type rdf:Property } .