Prova de Conceito WD - K4 - Líderes dos Países

K4. Qual é a posição do principal líder administrativo no <país ?v1> e quem foram estes lideres? 

K4a -> ?p1 (?v1, ?pred1, ?v2). ?p2 (?v1, ?pred2, ?v3). 

Filtro dos predicados ( ( ?pred1 = "P35" and ?pred2 = "P1906" ) OR ( ?pred1 = "P6" and ?pred2 = "P1313"  ) )

P1313     'office held by head of government'@en   
P1906     'office held by head of state'@en
P35        'head of state'@en 
P6          'head of government'@en 

Consulta incompleta uma vez que as relações de interesse possuem contexto Temporal

Álgebra Temporal no Contra Domínio dos qualificadores: encontrar interseção dos intervalos de tempo nos pares de alegações recuperados com a consulta.

SE ?px, P580, ?vx. NOT EXISTS (?px, P582, ?vy.) ENTÃO ?px é Corrente

SE ?p1, P580, ?v4. ?p1, P582, ?v5. ?p2, P580, ?v6. ?p1, P580, ?v7. AND ((v4 <= v7) and (v5 >= v6))  ENTÃO (?p1, Temporal Overlaps, ?p2)

Casos França, Canada e Israel