clipper LUBM sygenia completeness evaluation more than one result

[ghxiao]

Query 4

Examining ABoxes for inference pattern Q(X0X1X2X3X4)-College(X5)emailAddress(X0X2)headOf(X0X4)headOf(X0X5)name(X0X1)telephone(X0X3)
Q(X0,X1,X2,X3,X44) :- worksFor(X0,X44), emailAddress(X0,X2), name(X0,X1), Professor(X0), telephone(X0,X3).
Ontology(<http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl> [Axioms: 243] [Logical axioms: 93])
Ontology(<http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl_TB-C_s/Query_04/Q(X0X1X2X3X4)-College(X5)emailAddress(X0X2)headOf(X0X4)headOf(X0X5)name(X0X1)telephone(X0X3)/Pattern_a_0;a_1;a_2;a_3;a_4;_D_a_5;> [Axioms: 11] [Logical axioms: 6])
[ans("a0",  "XX-XXX",  "XX-XXX",  "XX-XXX",  "a4")]
[ans("a0",  "XX-XXX",  "XX-XXX",  "XX-XXX",  "a5")]
A STRANGE CASE HAPPENED ON Pattern_a_0;a_1;a_2;a_3;a_4;_D_a_5;.owl