@prefix rdfs: . @prefix rdf: . @prefix dom: . dom:A rdf:type rdfs:Class . dom:B rdf:type rdfs:Class . dom:pAB rdf:type rdf:Property; rdfs:domain dom:A ; rdfs:range dom:B . dom:pAA rdf:type rdf:Property ; rdfs:domain dom:A ; rdfs:range dom:A . dom:iA1 rdf:type dom:A ; dom:pAA dom:iA2 . dom:iA2 rdf:type dom:A ; dom:pAA dom:iA3 . dom:iA3 rdf:type dom:A. dom:iB1 rdf:type dom:B; dom:pAB dom:iB2.