
296 Foundations of Semantic Web Technologies
all, the query formula µ(C) is only entailed by B if it is true in all possible
interpretations of B, i.e. if it is entailed by each admissible interpretation.
Furthermore, the semantics of conjunctive queries also copes with the pos-
sibility of infinite models: since there is only a finite number of individual
names in any knowledge base, query results will always be finite, too.
7.2.3 Non-Distinguished Variables
Distinguished variables are useful when querying for concrete instances,
but there are also cases when a query should merely ask for the existence of a
suitable element without determining its exact ...