@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix test: <http://www.daml.org/2003/06/ruletests/test-ont#> .
@prefix : <#> .

<> a test:Test;
   owl:versionInfo "$Id: bnodes-4.n3,v 1.1 2003/08/26 15:00:08 mdean Exp $";
   rdfs:comment "example showing possible infinite recursion using bnodes".

:C a owl:Class.
:root a :C.

{ ?x a :C }
=>
{ [ a :C ] }.

# successful if it terminates?