Simple Question (Direct)
Simple Question
Q4058515
P512
Q3412758
USER
What degree or diploma was awarded to Nariman Aitov ?
(Q4058515,P512,c(Q3412758))
action filter_type
action find
entity Q4058515
relation P512
type Q3412758
['Q4058515', 'P512', {'concept': 'Q3412758'}]
SELECT DISTINCT ?r WHERE { resource:Q4058515 property:P512 ?r . ?r rdf:type ontology:Q3412758 }
Nariman Aitov
action filter_type
action find
entity Nariman Aitov
relation academic degree
type qualification
['Nariman Aitov', 'academic degree', {'concept': 'qualification'}]
SELECT DISTINCT ?r WHERE { resource:Nariman_Aitov property:academic_degree ?r . ?r rdf:type ontology:qualification }
[]
qualification
Q17281084
SYSTEM
Doktor Nauk in Philosophy
Q17281084
(Q4058515,P512,c(Q3412758))
action filter_type
action find
entity Q4058515
relation P512
type Q3412758
[ANSWER]
['Q4058515', 'P512', {'concept': 'Q3412758'}]
SELECT DISTINCT ?r WHERE { resource:Q4058515 property:P512 ?r . ?r rdf:type ontology:Q3412758 }
Doktor Nauk in Philosophy
Doktor Nauk in Philosophy
action filter_type
action find
entity Nariman Aitov
relation academic degree
type qualification
['Nariman Aitov', 'academic degree', {'concept': 'qualification'}]
SELECT DISTINCT ?r WHERE { resource:Nariman_Aitov property:academic_degree ?r . ?r rdf:type ontology:qualification }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q4058515
P184
Q502895
USER
Who has that one as doctor supervisor ?
(c(Q502895),P184,Q17281084)
action filter_type
action find_reverse
entity Q4058515
relation P184
type Q502895
[{'concept': 'Q502895'}, 'P184', 'Q17281084']
SELECT DISTINCT ?z WHERE { ?z property:P184 resource:Q4058515 . ?z rdf:type ontology:Q502895 }
Nariman Aitov
action filter_type
action find_reverse
entity Nariman Aitov
relation doctoral advisor
type common name
[{'concept': 'common name'}, 'doctoral advisor', 'Doktor Nauk in Philosophy']
SELECT DISTINCT ?z WHERE { ?z property:doctoral_advisor resource:Nariman_Aitov . ?z rdf:type ontology:common_name }
[]
common name
Q16657594
SYSTEM
Rashit Kamayev
Q16657594
(c(Q502895),P184,Q17281084)
action filter_type
action find_reverse
entity Q4058515
relation P184
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P184', 'Q17281084']
SELECT DISTINCT ?z WHERE { ?z property:P184 resource:Q4058515 . ?z rdf:type ontology:Q502895 }
Rashit Kamayev
Rashit Kamayev
action filter_type
action find_reverse
entity Nariman Aitov
relation doctoral advisor
type common name
[{'concept': 'common name'}, 'doctoral advisor', 'Doktor Nauk in Philosophy']
SELECT DISTINCT ?z WHERE { ?z property:doctoral_advisor resource:Nariman_Aitov . ?z rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q16657594 Q159
P27
Q15617994
USER
Does Rashit Kamayev belong to Russia ?
(Q16657594,P27,Q159)
action is_in
entity Q159
action find
entity Q16657594
relation P27
['Q16657594', 'P27', 'Q159']
ASK WHERE { resource:Q16657594 property:P27 resource:Q159 }
Rashit Kamayev Russia
action is_in
entity Russia
action find
entity Rashit Kamayev
relation country of citizenship
['Rashit Kamayev', 'country of citizenship', 'Russia']
ASK WHERE { resource:Rashit_Kamayev property:country_of_citizenship resource:Russia }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q16657594,P27,Q159)
action is_in
entity Q159
action find
entity Q16657594
relation P27
[ANSWER]
['Q16657594', 'P27', 'Q159']
ASK WHERE { resource:Q16657594 property:P27 resource:Q159 }
Yes
action is_in
entity Russia
action find
entity Rashit Kamayev
relation country of citizenship
['Rashit Kamayev', 'country of citizenship', 'Russia']
ASK WHERE { resource:Rashit_Kamayev property:country_of_citizenship resource:Russia }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q17281084 Q657756
P17
Q15617994
USER
Is Doktor Nauk in Philosophy present in Lampaden ?
(Q17281084,P17,Q657756)
action is_in
entity Q657756
action find
entity Q17281084
relation P17
['Q17281084', 'P17', 'Q657756']
ASK WHERE { resource:Q17281084 property:P17 resource:Q657756 }
Doktor Nauk in Philosophy Lampaden
action is_in
entity Lampaden
action find
entity Doktor Nauk in Philosophy
relation country
['Doktor Nauk in Philosophy', 'country', 'Lampaden']
ASK WHERE { resource:Doktor_Nauk_in_Philosophy property:country resource:Lampaden }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q17281084,P17,Q657756)
action is_in
entity Q657756
action find
entity Q17281084
relation P17
[ANSWER]
['Q17281084', 'P17', 'Q657756']
ASK WHERE { resource:Q17281084 property:P17 resource:Q657756 }
No
action is_in
entity Lampaden
action find
entity Doktor Nauk in Philosophy
relation country
['Doktor Nauk in Philosophy', 'country', 'Lampaden']
ASK WHERE { resource:Doktor_Nauk_in_Philosophy property:country resource:Lampaden }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q17281084
P425
Q1047113
USER
What has that qualification as the associated field of occupation ?
action filter_type
action find
entity Q17281084
relation P425
type Q1047113
SELECT DISTINCT ?z WHERE { resource:Q17281084 property:P425 ?z . ?z rdf:type ontology:Q1047113 }
Doktor Nauk in Philosophy
action filter_type
action find
entity Doktor Nauk in Philosophy
relation field of this occupation
type special field
SELECT DISTINCT ?z WHERE { resource:Doktor_Nauk_in_Philosophy property:field_of_this_occupation ?z . ?z rdf:type ontology:special_field }
[]
special field
Q5891
SYSTEM
philosophy
Q5891
action filter_type
action find
entity Q17281084
relation P425
type Q1047113
[ANSWER]
SELECT DISTINCT ?z WHERE { resource:Q17281084 property:P425 ?z . ?z rdf:type ontology:Q1047113 }
philosophy
philosophy
action filter_type
action find
entity Doktor Nauk in Philosophy
relation field of this occupation
type special field
SELECT DISTINCT ?z WHERE { resource:Doktor_Nauk_in_Philosophy property:field_of_this_occupation ?z . ?z rdf:type ontology:special_field }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Indirect
P101
Q1047113 Q43229 Q502895
USER
How many special fields do approximately the same number of organizations and people belong to as that special field ?
(c(Q43229)|c(Q502895),P101,c(Q1047113))
action count
action approx
action union
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q43229
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q5891
relation P101
type Q43229
type Q502895
[[{'concept': 'Q43229'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?r ) AS ?g ) WHERE { ?r rdf:type ?i . VALUES ( ?i ) { ( ontology:Q43229 ) ( ontology:Q502895 ) } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?m ) WHERE { ?s property:P101 resource:Q5891 . { { ?s rdf:type ontology:Q502895 } UNION { ?s rdf:type ontology:Q43229 } } } } . FILTER ( ?g = ?m ) }
action count
action approx
action union
action find_reverse_tuple_counts
relation field of work
type special field
type organization
action find_reverse_tuple_counts
relation field of work
type special field
type common name
action count
action filter_multi_types
action find_reverse
entity philosophy
relation field of work
type organization
type common name
[[{'concept': 'organization'}, {'concept': 'common name'}], 'field of work', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?r ) AS ?g ) WHERE { ?r rdf:type ?i . VALUES ( ?i ) { ( ontology:organization ) ( ontology:common_name ) } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?m ) WHERE { ?s property:field_of_work resource:philosophy . { { ?s rdf:type ontology:common_name } UNION { ?s rdf:type ontology:organization } } } } . FILTER ( ?g = ?m ) }
[]
special field organization common name
SYSTEM
7
Q5891 Q40821 Q11351 Q34178 Q161437 Q441 Q23498
(c(Q43229)|c(Q502895),P101,c(Q1047113))
action count
action approx
action union
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q43229
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q5891
relation P101
type Q43229
type Q502895
[ANSWER]
[[{'concept': 'Q43229'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?r ) AS ?g ) WHERE { ?r rdf:type ?i . VALUES ( ?i ) { ( ontology:Q43229 ) ( ontology:Q502895 ) } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?m ) WHERE { ?s property:P101 resource:Q5891 . { { ?s rdf:type ontology:Q502895 } UNION { ?s rdf:type ontology:Q43229 } } } } . FILTER ( ?g = ?m ) }
philosophy surgery organic chemistry theology ophthalmology botany archaeology
7
action count
action approx
action union
action find_reverse_tuple_counts
relation field of work
type special field
type organization
action find_reverse_tuple_counts
relation field of work
type special field
type common name
action count
action filter_multi_types
action find_reverse
entity philosophy
relation field of work
type organization
type common name
[[{'concept': 'organization'}, {'concept': 'common name'}], 'field of work', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?r ) AS ?g ) WHERE { ?r rdf:type ?i . VALUES ( ?i ) { ( ontology:organization ) ( ontology:common_name ) } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?m ) WHERE { ?s property:field_of_work resource:philosophy . { { ?s rdf:type ontology:common_name } UNION { ?s rdf:type ontology:organization } } } } . FILTER ( ?g = ?m ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q16657594
P20
Q56061
USER
Where did the demise of Rashit Kamayev occur ?
(Q16657594,P20,c(Q56061))
action filter_type
action find
entity Q16657594
relation P20
type Q56061
['Q16657594', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?a WHERE { resource:Q16657594 property:P20 ?a . ?a rdf:type ontology:Q56061 }
Rashit Kamayev
action filter_type
action find
entity Rashit Kamayev
relation place of death
type administrative territorial entity
['Rashit Kamayev', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Rashit_Kamayev property:place_of_death ?a . ?a rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q911
SYSTEM
Ufa
Q911
(Q16657594,P20,c(Q56061))
action filter_type
action find
entity Q16657594
relation P20
type Q56061
[ANSWER]
['Q16657594', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?a WHERE { resource:Q16657594 property:P20 ?a . ?a rdf:type ontology:Q56061 }
Ufa
Ufa
action filter_type
action find
entity Rashit Kamayev
relation place of death
type administrative territorial entity
['Rashit Kamayev', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Rashit_Kamayev property:place_of_death ?a . ?a rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q911 Q818541 Q159
P17
Q15617994
USER
Is that administrative territory located in Lütow and Russia ?
(Q911,P17,Q818541) (Q911,P17,Q159)
action is_in
entity Q911
action intersection
action find_reverse
entity Q818541
relation P17
action find_reverse
entity Q159
relation P17
['Q911', 'P17', 'Q818541'] ['Q911', 'P17', 'Q159']
ASK WHERE { resource:Q911 property:P17 resource:Q818541 . resource:Q911 property:P17 resource:Q159 }
Ufa Lütow Russia
action is_in
entity Ufa
action intersection
action find_reverse
entity Lütow
relation country
action find_reverse
entity Russia
relation country
['Ufa', 'country', 'Lütow'] ['Ufa', 'country', 'Russia']
ASK WHERE { resource:Ufa property:country resource:Lütow . resource:Ufa property:country resource:Russia }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q911,P17,Q818541) (Q911,P17,Q159)
action is_in
entity Q911
action intersection
action find_reverse
entity Q818541
relation P17
action find_reverse
entity Q159
relation P17
[ANSWER]
['Q911', 'P17', 'Q818541'] ['Q911', 'P17', 'Q159']
ASK WHERE { resource:Q911 property:P17 resource:Q818541 . resource:Q911 property:P17 resource:Q159 }
NO and YES respectively
action is_in
entity Ufa
action intersection
action find_reverse
entity Lütow
relation country
action find_reverse
entity Russia
relation country
['Ufa', 'country', 'Lütow'] ['Ufa', 'country', 'Russia']
ASK WHERE { resource:Ufa property:country resource:Lütow . resource:Ufa property:country resource:Russia }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q4058515 Q1892993 Q35493
P20
Q56061
USER
Does Nariman Aitov have Drežnica, Kobarid and Almaty as the area of death ?
(Q4058515,P20,Q1892993) (Q4058515,P20,Q35493)
action is_in
entity Q4058515
action intersection
action find_reverse
entity Q1892993
relation P20
action find_reverse
entity Q35493
relation P20
['Q4058515', 'P20', 'Q1892993'] ['Q4058515', 'P20', 'Q35493']
ASK WHERE { resource:Q4058515 property:P20 resource:Q1892993 . resource:Q4058515 property:P20 resource:Q35493 }
Nariman Aitov Drežnica, Kobarid Almaty
action is_in
entity Nariman Aitov
action intersection
action find_reverse
entity Drežnica, Kobarid
relation place of death
action find_reverse
entity Almaty
relation place of death
['Nariman Aitov', 'place of death', 'Drežnica, Kobarid'] ['Nariman Aitov', 'place of death', 'Almaty']
ASK WHERE { resource:Nariman_Aitov property:place_of_death resource:Drežnica,_Kobarid . resource:Nariman_Aitov property:place_of_death resource:Almaty }
[]
administrative territorial entity
SYSTEM
NO and YES respectively
(Q4058515,P20,Q1892993) (Q4058515,P20,Q35493)
action is_in
entity Q4058515
action intersection
action find_reverse
entity Q1892993
relation P20
action find_reverse
entity Q35493
relation P20
[ANSWER]
['Q4058515', 'P20', 'Q1892993'] ['Q4058515', 'P20', 'Q35493']
ASK WHERE { resource:Q4058515 property:P20 resource:Q1892993 . resource:Q4058515 property:P20 resource:Q35493 }
NO and YES respectively
action is_in
entity Nariman Aitov
action intersection
action find_reverse
entity Drežnica, Kobarid
relation place of death
action find_reverse
entity Almaty
relation place of death
['Nariman Aitov', 'place of death', 'Drežnica, Kobarid'] ['Nariman Aitov', 'place of death', 'Almaty']
ASK WHERE { resource:Nariman_Aitov property:place_of_death resource:Drežnica,_Kobarid . resource:Nariman_Aitov property:place_of_death resource:Almaty }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q8678 Q35493
P190
Q56061
USER
Which administrative territories are the sister cities of Almaty but not Rio de Janeiro ?
AND((Q35493,P190,c(Q56061)), NOT((Q8678,P190,c(Q56061))))
action filter_type
action difference
action find
entity Q35493
relation P190
action find
entity Q8678
relation P190
type Q56061
{'AND': [['Q35493', 'P190', {'concept': 'Q56061'}], {'NOT': [['Q8678', 'P190', {'concept': 'Q56061'}]]}]}
SELECT DISTINCT ?q WHERE { resource:Q35493 property:P190 ?q . FILTER NOT EXISTS { resource:Q8678 property:P190 ?q } . ?q rdf:type ontology:Q56061 }
Rio de Janeiro Almaty
action filter_type
action difference
action find
entity Almaty
relation sister city
action find
entity Rio de Janeiro
relation sister city
type administrative territorial entity
{'AND': [['Almaty', 'sister city', {'concept': 'administrative territorial entity'}], {'NOT': [['Rio de Janeiro', 'sister city', {'concept': 'administrative territorial entity'}]]}]}
SELECT DISTINCT ?q WHERE { resource:Almaty property:sister_city ?q . FILTER NOT EXISTS { resource:Rio_de_Janeiro property:sister_city ?q } . ?q rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q279 Q647 Q9361 Q6487 Q178663 Q2449
SYSTEM
Modena, Rennes, Bishkek, Antalya, Meknes, Mogadishu
Q279 Q647 Q9361 Q6487 Q178663 Q2449
AND((Q35493,P190,c(Q56061)), NOT((Q8678,P190,c(Q56061))))
action filter_type
action difference
action find
entity Q35493
relation P190
action find
entity Q8678
relation P190
type Q56061
[ANSWERS]
{'AND': [['Q35493', 'P190', {'concept': 'Q56061'}], {'NOT': [['Q8678', 'P190', {'concept': 'Q56061'}]]}]}
SELECT DISTINCT ?q WHERE { resource:Q35493 property:P190 ?q . FILTER NOT EXISTS { resource:Q8678 property:P190 ?q } . ?q rdf:type ontology:Q56061 }
Modena Rennes Bishkek Antalya Meknes Mogadishu
Modena Rennes Bishkek Antalya Meknes Mogadishu
action filter_type
action difference
action find
entity Almaty
relation sister city
action find
entity Rio de Janeiro
relation sister city
type administrative territorial entity
{'AND': [['Almaty', 'sister city', {'concept': 'administrative territorial entity'}], {'NOT': [['Rio de Janeiro', 'sister city', {'concept': 'administrative territorial entity'}]]}]}
SELECT DISTINCT ?q WHERE { resource:Almaty property:sister_city ?q . FILTER NOT EXISTS { resource:Rio_de_Janeiro property:sister_city ?q } . ?q rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q35493
P190
Q56061
USER
Are Almaty twin town of those ones ?
(Q35493,P190,Q279) (Q35493,P190,Q647) (Q35493,P190,Q9361) (Q35493,P190,Q6487) (Q35493,P190,Q178663) (Q35493,P190,Q2449)
action is_in
entity prev_answer
action find
entity Q35493
relation P190
['Q35493', 'P190', 'Q279'] ['Q35493', 'P190', 'Q647'] ['Q35493', 'P190', 'Q9361'] ['Q35493', 'P190', 'Q6487'] ['Q35493', 'P190', 'Q178663'] ['Q35493', 'P190', 'Q2449']
ASK WHERE { resource:Q35493 property:P190 ?p . VALUES ( ?p ) { ( resource:Q279 ) ( resource:Q647 ) ( resource:Q9361 ) } }
Almaty
action is_in
entity prev_answer
action find
entity Almaty
relation sister city
['Almaty', 'sister city', 'Modena'] ['Almaty', 'sister city', 'Rennes'] ['Almaty', 'sister city', 'Bishkek'] ['Almaty', 'sister city', 'Antalya'] ['Almaty', 'sister city', 'Meknes'] ['Almaty', 'sister city', 'Mogadishu']
ASK WHERE { resource:Almaty property:sister_city ?p . VALUES ( ?p ) { ( resource:Modena ) ( resource:Rennes ) ( resource:Bishkek ) } }
[]
administrative territorial entity
SYSTEM
YES
(Q35493,P190,Q279) (Q35493,P190,Q647) (Q35493,P190,Q9361) (Q35493,P190,Q6487) (Q35493,P190,Q178663) (Q35493,P190,Q2449)
action is_in
entity prev_answer
action find
entity Q35493
relation P190
[ANSWER]
['Q35493', 'P190', 'Q279'] ['Q35493', 'P190', 'Q647'] ['Q35493', 'P190', 'Q9361'] ['Q35493', 'P190', 'Q6487'] ['Q35493', 'P190', 'Q178663'] ['Q35493', 'P190', 'Q2449']
ASK WHERE { resource:Q35493 property:P190 ?p . VALUES ( ?p ) { ( resource:Q279 ) ( resource:Q647 ) ( resource:Q9361 ) } }
Yes
action is_in
entity prev_answer
action find
entity Almaty
relation sister city
['Almaty', 'sister city', 'Modena'] ['Almaty', 'sister city', 'Rennes'] ['Almaty', 'sister city', 'Bishkek'] ['Almaty', 'sister city', 'Antalya'] ['Almaty', 'sister city', 'Meknes'] ['Almaty', 'sister city', 'Mogadishu']
ASK WHERE { resource:Almaty property:sister_city ?p . VALUES ( ?p ) { ( resource:Modena ) ( resource:Rennes ) ( resource:Bishkek ) } }
[]