Simple Question (Direct)
Simple Question
Q1579206
P734
Q82799
USER
Which name is associated with Pierre René Müller ?
(Q1579206,P734,c(Q82799))
action filter_type
action find
entity Q1579206
relation P734
type Q82799
['Q1579206', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?m WHERE { resource:Q1579206 property:P734 ?m . ?m rdf:type ontology:Q82799 }
Pierre René Müller
action filter_type
action find
entity Pierre René Müller
relation family name
type name
['Pierre René Müller', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?m WHERE { resource:Pierre_René_Müller property:family_name ?m . ?m rdf:type ontology:name }
[]
name
Q8157228
SYSTEM
Müller
Q8157228
(Q1579206,P734,c(Q82799))
action filter_type
action find
entity Q1579206
relation P734
type Q82799
[ANSWER] is associated with Pierre René [ANSWER]
['Q1579206', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?m WHERE { resource:Q1579206 property:P734 ?m . ?m rdf:type ontology:Q82799 }
Müller
Müller is associated with Pierre René Müller
Müller
action filter_type
action find
entity Pierre René Müller
relation family name
type name
['Pierre René Müller', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?m WHERE { resource:Pierre_René_Müller property:family_name ?m . ?m rdf:type ontology:name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1579206
P27
Q1048835
USER
Which political territory is Pierre René Müller a civilian of ?
(Q1579206,P27,c(Q1048835))
action filter_type
action find
entity Q1579206
relation P27
type Q1048835
['Q1579206', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?s WHERE { resource:Q1579206 property:P27 ?s . ?s rdf:type ontology:Q1048835 }
Pierre René Müller
action filter_type
action find
entity Pierre René Müller
relation country of citizenship
type political territorial entity
['Pierre René Müller', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Pierre_René_Müller property:country_of_citizenship ?s . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q1579206,P27,c(Q1048835))
action filter_type
action find
entity Q1579206
relation P27
type Q1048835
[ANSWER] is Pierre René Müller a civilian of
['Q1579206', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?s WHERE { resource:Q1579206 property:P27 ?s . ?s rdf:type ontology:Q1048835 }
Germany
Germany is Pierre René Müller a civilian of
Germany
action filter_type
action find
entity Pierre René Müller
relation country of citizenship
type political territorial entity
['Pierre René Müller', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Pierre_René_Müller property:country_of_citizenship ?s . ?s rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q183 Q2582
P35
Q502895
USER
Is Heinrich Lübke the chief of state of that political territory ?
(Q183,P35,Q2582)
action is_in
entity Q2582
action find
entity Q183
relation P35
['Q183', 'P35', 'Q2582']
ASK WHERE { resource:Q183 property:P35 resource:Q2582 }
Germany Heinrich Lübke
action is_in
entity Heinrich Lübke
action find
entity Germany
relation head of state
['Germany', 'head of state', 'Heinrich Lübke']
ASK WHERE { resource:Germany property:head_of_state resource:Heinrich_Lübke }
[]
common name
SYSTEM
YES
(Q183,P35,Q2582)
action is_in
entity Q2582
action find
entity Q183
relation P35
[ANSWER]
['Q183', 'P35', 'Q2582']
ASK WHERE { resource:Q183 property:P35 resource:Q2582 }
Yes
action is_in
entity Heinrich Lübke
action find
entity Germany
relation head of state
['Germany', 'head of state', 'Heinrich Lübke']
ASK WHERE { resource:Germany property:head_of_state resource:Heinrich_Lübke }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1579206
P21
Q290
USER
What is the sex of Pierre René Müller ?
(Q1579206,P21,c(Q290))
action filter_type
action find
entity Q1579206
relation P21
type Q290
['Q1579206', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?e WHERE { resource:Q1579206 property:P21 ?e . ?e rdf:type ontology:Q290 }
Pierre René Müller
action filter_type
action find
entity Pierre René Müller
relation gender
type sex
['Pierre René Müller', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?e WHERE { resource:Pierre_René_Müller property:gender ?e . ?e rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q1579206,P21,c(Q290))
action filter_type
action find
entity Q1579206
relation P21
type Q290
The sex of Pierre René Müller is a [ANSWER]
['Q1579206', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?e WHERE { resource:Q1579206 property:P21 ?e . ?e rdf:type ontology:Q290 }
male
The sex of Pierre René Müller is a male
male
action filter_type
action find
entity Pierre René Müller
relation gender
type sex
['Pierre René Müller', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?e WHERE { resource:Pierre_René_Müller property:gender ?e . ?e rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1579206
P106
Q12737077
USER
Which occupations have that person as his/her 's career ?
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q1579206
relation P106
type Q12737077
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?l WHERE { resource:Q1579206 property:P106 ?l . ?l rdf:type ontology:Q12737077 }
Pierre René Müller
action filter_type
action find
entity Pierre René Müller
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?l WHERE { resource:Pierre_René_Müller property:occupation ?l . ?l rdf:type ontology:occupation }
[]
occupation
Q33999 Q2259451
SYSTEM
actor, stage actor
Q33999 Q2259451
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q1579206
relation P106
type Q12737077
The [ANSWERS] have that person as his/her 's career
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?l WHERE { resource:Q1579206 property:P106 ?l . ?l rdf:type ontology:Q12737077 }
actor stage actor
The actor and stage actor have that person as his/her 's career
actor stage actor
action filter_type
action find
entity Pierre René Müller
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?l WHERE { resource:Pierre_René_Müller property:occupation ?l . ?l rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q16301303
P106
Q502895
USER
Do Michael Malarkey have the profession as those occupations ?
(Q16301303,P106,Q33999) (Q16301303,P106,Q2259451)
action is_in
entity prev_answer
action find
entity Q16301303
relation P106
['Q16301303', 'P106', 'Q33999'] ['Q16301303', 'P106', 'Q2259451']
ASK WHERE { resource:Q16301303 property:P106 ?e . VALUES ( ?e ) { ( resource:Q33999 ) ( resource:Q2259451 ) } }
Michael Malarkey
action is_in
entity prev_answer
action find
entity Michael Malarkey
relation occupation
['Michael Malarkey', 'occupation', 'actor'] ['Michael Malarkey', 'occupation', 'stage actor']
ASK WHERE { resource:Michael_Malarkey property:occupation ?e . VALUES ( ?e ) { ( resource:actor ) ( resource:stage_actor ) } }
[]
common name
SYSTEM
YES
(Q16301303,P106,Q33999) (Q16301303,P106,Q2259451)
action is_in
entity prev_answer
action find
entity Q16301303
relation P106
[ANSWER]
['Q16301303', 'P106', 'Q33999'] ['Q16301303', 'P106', 'Q2259451']
ASK WHERE { resource:Q16301303 property:P106 ?e . VALUES ( ?e ) { ( resource:Q33999 ) ( resource:Q2259451 ) } }
Yes
action is_in
entity prev_answer
action find
entity Michael Malarkey
relation occupation
['Michael Malarkey', 'occupation', 'actor'] ['Michael Malarkey', 'occupation', 'stage actor']
ASK WHERE { resource:Michael_Malarkey property:occupation ?e . VALUES ( ?e ) { ( resource:actor ) ( resource:stage_actor ) } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P180
Q82799 Q11060274 Q1792379
USER
Which names are expressed in min number of prints or art genres ?
(c(Q11060274)|c(Q1792379),P180,c(Q82799))
action argmin
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q11060274
action find_reverse_tuple_counts
relation P180
type Q82799
type Q1792379
[[{'concept': 'Q11060274'}, {'concept': 'Q1792379'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MIN ( ?z ) AS ?l ) { SELECT DISTINCT ?s ( COUNT ( ?t ) AS ?z ) WHERE { { ?t property:P180 ?s . ?s rdf:type ontology:Q82799 . ?t rdf:type ontology:Q11060274 } UNION { ?s rdf:type ontology:Q82799 . ?t rdf:type ontology:Q1792379 . ?t property:P180 ?s } } GROUP BY ?s } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?j ( COUNT ( ?i ) AS ?q ) WHERE { VALUES ( ?k ) { ( ontology:Q1792379 ) ( ontology:Q11060274 ) } . ?i rdf:type ?k } GROUP BY ?j } }
action argmin
action union
action find_reverse_tuple_counts
relation depicts
type name
type print
action find_reverse_tuple_counts
relation depicts
type name
type art genre
[[{'concept': 'print'}, {'concept': 'art genre'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MIN ( ?z ) AS ?l ) { SELECT DISTINCT ?s ( COUNT ( ?t ) AS ?z ) WHERE { { ?t property:depicts ?s . ?s rdf:type ontology:name . ?t rdf:type ontology:print } UNION { ?s rdf:type ontology:name . ?t rdf:type ontology:art_genre . ?t property:depicts ?s } } GROUP BY ?s } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?j ( COUNT ( ?i ) AS ?q ) WHERE { VALUES ( ?k ) { ( ontology:art_genre ) ( ontology:print ) } . ?i rdf:type ?k } GROUP BY ?j } }
[]
name print art genre
Q1807269 Q876933 Q152
SYSTEM
leek, magi, fish
Q13219075 Q134609 Q6453151 Q41692 Q3711329 Q732775 Q36940 Q1517781 Q7369 Q2092297 Q11946202 Q2258881 Q4767951 Q16529344 Q24067392 Q713019 Q1807269 Q201251 Q8331 Q8335 Q846664 Q3116510 Q3537778 Q1865281 Q1192868 Q9394 Q2734060 Q2495957 Q1953597 Q15629245 Q25894 Q1466321 Q858243 Q876933 Q190294 Q7378 Q123120 Q214169 Q538906 Q308841 Q1360763 Q83931 Q9458574 Q152 Q5070208 Q859257 Q10968813
(c(Q11060274)|c(Q1792379),P180,c(Q82799))
action argmin
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q11060274
action find_reverse_tuple_counts
relation P180
type Q82799
type Q1792379
[ANSWERS] are expressed in min number of prints or art genres
[[{'concept': 'Q11060274'}, {'concept': 'Q1792379'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MIN ( ?z ) AS ?l ) { SELECT DISTINCT ?s ( COUNT ( ?t ) AS ?z ) WHERE { { ?t property:P180 ?s . ?s rdf:type ontology:Q82799 . ?t rdf:type ontology:Q11060274 } UNION { ?s rdf:type ontology:Q82799 . ?t rdf:type ontology:Q1792379 . ?t property:P180 ?s } } GROUP BY ?s } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?j ( COUNT ( ?i ) AS ?q ) WHERE { VALUES ( ?k ) { ( ontology:Q1792379 ) ( ontology:Q11060274 ) } . ?i rdf:type ?k } GROUP BY ?j } }
octopus Cynara scolymus toad mule wolf Partridge sugarcane shrimp dolphin eagle butterfly trout cattle goose Boy cannoneer leek peacock fox raven hawk frog donkeys whale clam rabbit reed magpie slug lizard antelope Yellow jacket Tree squirrel magi mouflon elephant vulture pheasant thistle snail Scipio locust wasp fish kangaroo fly jay
Leek, magi and fish are expressed in min number of prints or art genres
leek magi fish
action argmin
action union
action find_reverse_tuple_counts
relation depicts
type name
type print
action find_reverse_tuple_counts
relation depicts
type name
type art genre
[[{'concept': 'print'}, {'concept': 'art genre'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ( MIN ( ?z ) AS ?l ) { SELECT DISTINCT ?s ( COUNT ( ?t ) AS ?z ) WHERE { { ?t property:depicts ?s . ?s rdf:type ontology:name . ?t rdf:type ontology:print } UNION { ?s rdf:type ontology:name . ?t rdf:type ontology:art_genre . ?t property:depicts ?s } } GROUP BY ?s } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?j ( COUNT ( ?i ) AS ?q ) WHERE { VALUES ( ?k ) { ( ontology:art_genre ) ( ontology:print ) } . ?i rdf:type ?k } GROUP BY ?j } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P180
Q82799 Q18783400 Q340169
USER
How many names are expressed in atmost 7 genres of sculpture or medias ?
(c(Q18783400)|c(Q340169),P180,c(Q82799))
action count
action atmost
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q18783400
action find_reverse_tuple_counts
relation P180
type Q82799
type Q340169
value 7
[[{'concept': 'Q18783400'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?h ) ?w WHERE { { ?w rdf:type ontology:Q82799 . ?f rdf:type ontology:Q340169 . ?f property:P180 ?w } UNION { ?f property:P180 ?w . ?w rdf:type ontology:Q82799 . ?f rdf:type ontology:Q18783400 } } GROUP BY ?w } . FILTER ( ?h <= 7 ) }
action count
action atmost
action union
action find_reverse_tuple_counts
relation depicts
type name
type genre of sculpture
action find_reverse_tuple_counts
relation depicts
type name
type media
value 7
[[{'concept': 'genre of sculpture'}, {'concept': 'media'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?h ) ?w WHERE { { ?w rdf:type ontology:name . ?f rdf:type ontology:media . ?f property:depicts ?w } UNION { ?f property:depicts ?w . ?w rdf:type ontology:name . ?f rdf:type ontology:genre_of_sculpture } } GROUP BY ?w } . FILTER ( ?h <= 7 ) }
[]
name genre of sculpture media
SYSTEM
54
Q13219075 Q134609 Q5 Q6453151 Q830 Q3736439 Q41692 Q3711329 Q732775 Q36940 Q1517781 Q7368 Q7369 Q2092297 Q11946202 Q144 Q2258881 Q4767951 Q16529344 Q24067392 Q713019 Q1807269 Q201251 Q8331 Q8335 Q846664 Q3116510 Q3537778 Q1865281 Q1367 Q1192868 Q9394 Q2734060 Q2495957 Q1953597 Q15629245 Q25894 Q1466321 Q43115 Q858243 Q876933 Q190294 Q7378 Q123120 Q214169 Q538906 Q308841 Q1360763 Q83931 Q9458574 Q152 Q5070208 Q859257 Q10968813
(c(Q18783400)|c(Q340169),P180,c(Q82799))
action count
action atmost
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q18783400
action find_reverse_tuple_counts
relation P180
type Q82799
type Q340169
value 7
[ANSWER]
[[{'concept': 'Q18783400'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?h ) ?w WHERE { { ?w rdf:type ontology:Q82799 . ?f rdf:type ontology:Q340169 . ?f property:P180 ?w } UNION { ?f property:P180 ?w . ?w rdf:type ontology:Q82799 . ?f rdf:type ontology:Q18783400 } } GROUP BY ?w } . FILTER ( ?h <= 7 ) }
octopus Cynara scolymus human toad cattle duck mule wolf Partridge sugarcane shrimp Ovis aries dolphin eagle butterfly dog trout cattle goose Boy cannoneer leek peacock fox raven hawk frog donkeys whale monkey clam rabbit reed magpie slug lizard antelope Yellow jacket saint Tree squirrel magi mouflon elephant vulture pheasant thistle snail Scipio locust wasp fish kangaroo fly jay
54
action count
action atmost
action union
action find_reverse_tuple_counts
relation depicts
type name
type genre of sculpture
action find_reverse_tuple_counts
relation depicts
type name
type media
value 7
[[{'concept': 'genre of sculpture'}, {'concept': 'media'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?p ) WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?h ) ?w WHERE { { ?w rdf:type ontology:name . ?f rdf:type ontology:media . ?f property:depicts ?w } UNION { ?f property:depicts ?w . ?w rdf:type ontology:name . ?f rdf:type ontology:genre_of_sculpture } } GROUP BY ?w } . FILTER ( ?h <= 7 ) }
[]