# $Id: subclass.n3,v 1.2 2001/10/01 00:12:36 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <subclass#>.

{ ?x a [ u:subClassOf ?C ] } log:implies { ?x a ?C }.

:A u:subClassOf :B.
:B u:subClassOf :A.

:i a :B.