semanticindex_completness_test

The following page contains test cases for the SemanticIndex algorithm.

Test (M)	Test (m)	TBox	ABox	Query	Result	Notes
200	a	A ISA B, B ISA C, C ISA D	A(a), B(b), C(c), D(d)	q(x) :- A(x)	{a}
	b			q(x) :- B(x)	{a b}
	c			q(x) :- C(x)	{a b c}
	d			q(x) :- D(x)	{a b c d}
201	a	R RISA S, S RISA T, T RISA V	R(r1,r2), S(s1,s2), T(t1,t2), V(v1,v2)	q(x,y) :- R(x,y)	{(r1,r2)}
	b			q(x,y) :- S(x,y)	{(r1,r2) (s1,s2)}
	c			q(x,y) :- T(x,y)	{(r1,r2) (s1,s2) (t1,t2)}
	d			q(x,y) :- V(x,y)	{(r1,r2) (s1,s2) (t1,t2) (v1,v2)}