@prefix : .
@prefix n: .
@prefix rdf: .
@prefix rdfs: .
:x1 a :A .
:x2 a :A .
:y a :B .
:A rdfs:subClassOf :B .
:B rdfs:subClassOf :C .
:A rdfs:subClassOf :Z .
#:A rdfs:subClassOf :A .
:x n:p :a1 .
:x n:p :a2 .
:x n:a :b1 .
:b1 n:b :c1 .
:c1 n:c :d1 .
:c1 n:c :d2 .
:x n:a :b2 .
:z1 n:p :z2 .
:z2 n:p :z3 .
:z3 n:p :z4 .
:z4 n:p :z1 .