# ==================
# Socrates inference
# ==================
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/socrates#>.

# facts
:Socrates a :Human.
:Human rdfs:subClassOf :Mortal.

# subclass rule
{
 ?S a ?A.
 ?A rdfs:subClassOf ?B.
} => {
 ?S a ?B.
}.

# query
{ ?S a ?C } log:query { ?S a ?C }.