“…Similarly, the variables V are also assumed to be a disjoint union of countably infinite sets V C , V R , V I . Now, we define an OWL 2 QL BGP as a finite set of triple patterns representing OWL 2 QL axiom and assertion templates in the FSS such as: 3 Assuming that A = {ClassAssertion(:A, :a), ObjectPropertyAssertion(:T, :a, :b)}, it is not hard to see that B T ,A = {?x → :a}. Indeed, by the first assertion of A and the first two axioms of T , any model of (T , A) contains a domain element w (not necessarily among the individuals in A) such that ObjectPropertyAssertion(:R, :a, w) holds.…”