@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .

####
# some rules from OWL pd*

#rdf14bx
{ ?v owl:hasValue ?w.
  ?v owl:onProperty ?p.
  ?u ?p ?w.
} => { ?u a ?v }.

# ad-hoc OWL
{ ?C owl:intersectionOf (?A ?B).
  ?X a ?A, ?B
} => { ?X a ?C }.

###
# RDFS

{ ?S a [ s:subClassOf ?C ] } => { ?S a ?C }.
{ ?S [ s:domain ?C ] [] } => { ?S a ?C }.
{ [] [ s:range ?C ] ?O } => { ?O a ?C }.