# equality query 
# Inspired by "Bubo -Implementing OWL in rule-based systems"
# by Volz, Decker, Oberle.

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

{:2 :+ :3} = ?n.

# :5 = {:3 :+ :2}.
# :5 = :5.

# :JD :owns :car.

# :rat a :mammalia.

# :rat :produces :milk.

# :snake a :mammalia.   

# :John a :person.

# :Frank :sameIndividualAs :Anna.