# $Id: rdf-rules.n3,v 1.6 2005/04/16 14:03:47 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 : <http://www.agfa.com/w3c/euler/rdf-rules#> .

rdf:type rdf:type rdf:Property .

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