# $Id: set1.rules,v 1.1 2005/12/12 11:20:23 ajm65 Exp $

@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

# Infer sub-property closure 
(?p rdfs:subPropertyOf ?q), (?x ?p ?y) -> (?x ?q ?y).

# Infer sub-class closure
(?c rdfs:subClassOf ?d), (?x rdf:type ?c) -> (?x rdf:type ?d).

# Infer inverse of skos:narrower
(?x skos:narrower ?y) -> (?y skos:broader ?x).

# Infer symmetric for skos:related
(?x skos:related ?y) -> (?y skos:related ?x).

# Infer transitive closure of skos:broader
(?x skos:broader ?y), (?y skos:broader ?z) -> (?x skos:broader ?z).