semanticindex_completness_test - ConstantB/ontop-spatial GitHub Wiki
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)} |