Simple Question (Direct)
Simple Question
Q4908885
P7
Q502895
USER
Which person is the brother of Bill Edwards ?
(Q4908885,P7,c(Q502895))
action filter_type
action find
entity Q4908885
relation P7
type Q502895
['Q4908885', 'P7', {'concept': 'Q502895'}]
SELECT DISTINCT ?q WHERE { resource:Q4908885 property:P7 ?q . ?q rdf:type ontology:Q502895 }
Bill Edwards
action filter_type
action find
entity Bill Edwards
relation brother
type common name
['Bill Edwards', 'brother', {'concept': 'common name'}]
SELECT DISTINCT ?q WHERE { resource:Bill_Edwards property:brother ?q . ?q rdf:type ontology:common_name }
[]
common name
Q5668607
SYSTEM
Harry Edwards
Q5668607
(Q4908885,P7,c(Q502895))
action filter_type
action find
entity Q4908885
relation P7
type Q502895
As [ANSWER] is the brother of Bill Edwards
['Q4908885', 'P7', {'concept': 'Q502895'}]
SELECT DISTINCT ?q WHERE { resource:Q4908885 property:P7 ?q . ?q rdf:type ontology:Q502895 }
Harry Edwards
As Harry Edwards is the brother of Bill Edwards
Harry Edwards
action filter_type
action find
entity Bill Edwards
relation brother
type common name
['Bill Edwards', 'brother', {'concept': 'common name'}]
SELECT DISTINCT ?q WHERE { resource:Bill_Edwards property:brother ?q . ?q rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q5668607 Q6225
P19
Q56061
USER
Was Coventry that person born ?
(Q5668607,P19,Q6225)
action is_in
entity Q6225
action find
entity Q5668607
relation P19
['Q5668607', 'P19', 'Q6225']
ASK WHERE { resource:Q5668607 property:P19 resource:Q6225 }
Harry Edwards Coventry
action is_in
entity Coventry
action find
entity Harry Edwards
relation place of birth
['Harry Edwards', 'place of birth', 'Coventry']
ASK WHERE { resource:Harry_Edwards property:place_of_birth resource:Coventry }
[]
administrative territorial entity
SYSTEM
YES
(Q5668607,P19,Q6225)
action is_in
entity Q6225
action find
entity Q5668607
relation P19
[ANSWER]
['Q5668607', 'P19', 'Q6225']
ASK WHERE { resource:Q5668607 property:P19 resource:Q6225 }
Yes
action is_in
entity Coventry
action find
entity Harry Edwards
relation place of birth
['Harry Edwards', 'place of birth', 'Coventry']
ASK WHERE { resource:Harry_Edwards property:place_of_birth resource:Coventry }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P825
Q502895 Q482994 Q207628
USER
Which people are exactly 1 albums or musical compositions dedicated to ?
(c(Q482994)|c(Q207628),P825,c(Q502895))
action equal
action union
action find_reverse_tuple_counts
relation P825
type Q502895
type Q482994
action find_reverse_tuple_counts
relation P825
type Q502895
type Q207628
value 1
[[{'concept': 'Q482994'}, {'concept': 'Q207628'}], 'P825', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?l WHERE { VALUES ( ?v ) { ( ontology:Q207628 ) ( ontology:Q482994 ) } . ?f rdf:type ?v } GROUP BY ?l } . FILTER ( ?j = 1 ) }
action equal
action union
action find_reverse_tuple_counts
relation dedicated to
type common name
type album
action find_reverse_tuple_counts
relation dedicated to
type common name
type musical composition
value 1
[[{'concept': 'album'}, {'concept': 'musical composition'}], 'dedicated to', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?l WHERE { VALUES ( ?v ) { ( ontology:musical_composition ) ( ontology:album ) } . ?f rdf:type ?v } GROUP BY ?l } . FILTER ( ?j = 1 ) }
[]
common name album musical composition
Q41309 Q51056 Q150767
SYSTEM
Franz Liszt, Franz Joseph I of Austria, Benjamin Britten
Q249719 Q85210 Q150767 Q1948037 Q173061 Q888326 Q44039 Q1666 Q541634 Q160257 Q6918007 Q51056 Q472635 Q92467 Q538335 Q179858 Q41309
(c(Q482994)|c(Q207628),P825,c(Q502895))
action equal
action union
action find_reverse_tuple_counts
relation P825
type Q502895
type Q482994
action find_reverse_tuple_counts
relation P825
type Q502895
type Q207628
value 1
[ANSWERS]
[[{'concept': 'Q482994'}, {'concept': 'Q207628'}], 'P825', {'concept': 'Q502895'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?l WHERE { VALUES ( ?v ) { ( ontology:Q207628 ) ( ontology:Q482994 ) } . ?f rdf:type ?v } GROUP BY ?l } . FILTER ( ?j = 1 ) }
Yui Karl Ritter von Stremayr Benjamin Britten Moritz Reichsgraf von Fries Syd Barrett Bob Wills Ludwig II of Bavaria Jacques Brel Bobby Bland Wanda Landowska Motoharu Sano Franz Joseph I of Austria Gustav, Prince of Vasa Theodor Avé-Lallemant Marianne Kirchgessner Urho Kekkonen Franz Liszt
Which people are exactly 1 albums or musical compositions dedicated to
Franz Liszt Franz Joseph I of Austria Benjamin Britten
action equal
action union
action find_reverse_tuple_counts
relation dedicated to
type common name
type album
action find_reverse_tuple_counts
relation dedicated to
type common name
type musical composition
value 1
[[{'concept': 'album'}, {'concept': 'musical composition'}], 'dedicated to', {'concept': 'common name'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?l WHERE { VALUES ( ?v ) { ( ontology:musical_composition ) ( ontology:album ) } . ?f rdf:type ?v } GROUP BY ?l } . FILTER ( ?j = 1 ) }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q41309 Q51056 Q150767
P21
Q290
USER
Which sexes do those people have ?
(Q41309,P21,c(Q290)) (Q51056,P21,c(Q290)) (Q150767,P21,c(Q290))
action filter_type
action find
entity prev_answer
relation P21
type Q290
['Q41309', 'P21', {'concept': 'Q290'}] ['Q51056', 'P21', {'concept': 'Q290'}] ['Q150767', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q290 . VALUES ( ?j ) { ( resource:Q249719 ) ( resource:Q85210 ) ( resource:Q150767 ) } . ?j property:P21 ?s }
Franz Liszt Franz Joseph I of Austria Benjamin Britten
action filter_type
action find
entity prev_answer
relation gender
type sex
['Franz Liszt', 'gender', {'concept': 'sex'}] ['Franz Joseph I of Austria', 'gender', {'concept': 'sex'}] ['Benjamin Britten', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:sex . VALUES ( ?j ) { ( resource:Yui ) ( resource:Karl_Ritter_von_Stremayr ) ( resource:Benjamin_Britten ) } . ?j property:gender ?s }
[]
sex
Q6581097 Q6581097 Q6581097
SYSTEM
male
Q6581097 Q6581097 Q6581097
(Q41309,P21,c(Q290)) (Q51056,P21,c(Q290)) (Q150767,P21,c(Q290))
action filter_type
action find
entity prev_answer
relation P21
type Q290
Those people have a [ANSWER], [ANSWER] and [ANSWER]
['Q41309', 'P21', {'concept': 'Q290'}] ['Q51056', 'P21', {'concept': 'Q290'}] ['Q150767', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q290 . VALUES ( ?j ) { ( resource:Q249719 ) ( resource:Q85210 ) ( resource:Q150767 ) } . ?j property:P21 ?s }
male male male
Those people have a male, male and male
male male male
action filter_type
action find
entity prev_answer
relation gender
type sex
['Franz Liszt', 'gender', {'concept': 'sex'}] ['Franz Joseph I of Austria', 'gender', {'concept': 'sex'}] ['Benjamin Britten', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:sex . VALUES ( ?j ) { ( resource:Yui ) ( resource:Karl_Ritter_von_Stremayr ) ( resource:Benjamin_Britten ) } . ?j property:gender ?s }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q41309
P22
Q502895
USER
Which people have Franz Liszt as father ?
(c(Q502895),P22,Q41309)
action filter_type
action find_reverse
entity Q41309
relation P22
type Q502895
[{'concept': 'Q502895'}, 'P22', 'Q41309']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q502895 . ?f property:P22 resource:Q41309 }
Franz Liszt
action filter_type
action find_reverse
entity Franz Liszt
relation father
type common name
[{'concept': 'common name'}, 'father', 'Franz Liszt']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:common_name . ?f property:father resource:Franz_Liszt }
[]
common name
Q13409402 Q75789 Q13409406
SYSTEM
Daniel Liszt, Cosima Wagner, Blandine Liszt
Q13409402 Q75789 Q13409406
(c(Q502895),P22,Q41309)
action filter_type
action find_reverse
entity Q41309
relation P22
type Q502895
[ANSWERS] have Franz Liszt as father
[{'concept': 'Q502895'}, 'P22', 'Q41309']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q502895 . ?f property:P22 resource:Q41309 }
Daniel Liszt Cosima Wagner Blandine Liszt
Daniel Liszt, Cosima Wagner and Blandine Liszt have Franz Liszt as father
Daniel Liszt Cosima Wagner Blandine Liszt
action filter_type
action find_reverse
entity Franz Liszt
relation father
type common name
[{'concept': 'common name'}, 'father', 'Franz Liszt']
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:common_name . ?f property:father resource:Franz_Liszt }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q13409402 Q75789 Q13409406
P40
Q502895
USER
Who have Daniel Liszt, Cosima Wagner and Blandine Liszt as a child ?
(c(Q502895),P40,Q13409402) (c(Q502895),P40,Q75789) (c(Q502895),P40,Q13409406)
action union
action filter_type
action find_reverse
entity Q13409402
relation P40
type Q502895
action filter_type
action find_reverse
entity Q75789
relation P40
type Q502895
action filter_type
action find_reverse
entity Q13409406
relation P40
type Q502895
[{'concept': 'Q502895'}, 'P40', 'Q13409402'] [{'concept': 'Q502895'}, 'P40', 'Q75789'] [{'concept': 'Q502895'}, 'P40', 'Q13409406']
SELECT DISTINCT ?u WHERE { ?u property:P40 ?o . VALUES ( ?o ) { ( resource:Q13409402 ) ( resource:Q75789 ) } }
Daniel Liszt Cosima Wagner Blandine Liszt
action union
action filter_type
action find_reverse
entity Daniel Liszt
relation child
type common name
action filter_type
action find_reverse
entity Cosima Wagner
relation child
type common name
action filter_type
action find_reverse
entity Blandine Liszt
relation child
type common name
[{'concept': 'common name'}, 'child', 'Daniel Liszt'] [{'concept': 'common name'}, 'child', 'Cosima Wagner'] [{'concept': 'common name'}, 'child', 'Blandine Liszt']
SELECT DISTINCT ?u WHERE { ?u property:child ?o . VALUES ( ?o ) { ( resource:Daniel_Liszt ) ( resource:Cosima_Wagner ) } }
[]
common name
Q41309 Q41309 Q41309
SYSTEM
Franz Liszt
Q253453 Q41309 Q253453 Q41309 Q253453 Q41309
(c(Q502895),P40,Q13409402) (c(Q502895),P40,Q75789) (c(Q502895),P40,Q13409406)
action union
action filter_type
action find_reverse
entity Q13409402
relation P40
type Q502895
action filter_type
action find_reverse
entity Q75789
relation P40
type Q502895
action filter_type
action find_reverse
entity Q13409406
relation P40
type Q502895
And [ANSWER], [ANSWER] and [ANSWER] have Daniel Liszt, Cosima Wagner and Blandine Liszt as a child
[{'concept': 'Q502895'}, 'P40', 'Q13409402'] [{'concept': 'Q502895'}, 'P40', 'Q75789'] [{'concept': 'Q502895'}, 'P40', 'Q13409406']
SELECT DISTINCT ?u WHERE { ?u property:P40 ?o . VALUES ( ?o ) { ( resource:Q13409402 ) ( resource:Q75789 ) } }
Marie d'Agoult Franz Liszt Marie d'Agoult Franz Liszt Marie d'Agoult Franz Liszt
And Franz Liszt, Franz Liszt and Franz Liszt have Daniel Liszt, Cosima Wagner and Blandine Liszt as a child
Franz Liszt Franz Liszt Franz Liszt
action union
action filter_type
action find_reverse
entity Daniel Liszt
relation child
type common name
action filter_type
action find_reverse
entity Cosima Wagner
relation child
type common name
action filter_type
action find_reverse
entity Blandine Liszt
relation child
type common name
[{'concept': 'common name'}, 'child', 'Daniel Liszt'] [{'concept': 'common name'}, 'child', 'Cosima Wagner'] [{'concept': 'common name'}, 'child', 'Blandine Liszt']
SELECT DISTINCT ?u WHERE { ?u property:child ?o . VALUES ( ?o ) { ( resource:Daniel_Liszt ) ( resource:Cosima_Wagner ) } }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q41309
P802
Q502895
USER
Who were a notable student of that one ?
(c(Q502895),P802,Q41309) (c(Q502895),P802,Q41309) (c(Q502895),P802,Q41309)
action filter_type
action find_reverse
entity Q41309
relation P802
type Q502895
[{'concept': 'Q502895'}, 'P802', 'Q41309'] [{'concept': 'Q502895'}, 'P802', 'Q41309'] [{'concept': 'Q502895'}, 'P802', 'Q41309']
SELECT DISTINCT ?s WHERE { ?s property:P802 resource:Q41309 . ?s rdf:type ontology:Q502895 }
Franz Liszt
action filter_type
action find_reverse
entity Franz Liszt
relation student
type common name
[{'concept': 'common name'}, 'student', 'Franz Liszt'] [{'concept': 'common name'}, 'student', 'Franz Liszt'] [{'concept': 'common name'}, 'student', 'Franz Liszt']
SELECT DISTINCT ?s WHERE { ?s property:student resource:Franz_Liszt . ?s rdf:type ontology:common_name }
[]
common name
Q311387 Q51088 Q215333
SYSTEM
Anton Reicha, Antonio Salieri, Carl Czerny
Q350325 Q533022 Q311387 Q215333 Q51088
(c(Q502895),P802,Q41309) (c(Q502895),P802,Q41309) (c(Q502895),P802,Q41309)
action filter_type
action find_reverse
entity Q41309
relation P802
type Q502895
Were a notable student of that one [ANSWERS]
[{'concept': 'Q502895'}, 'P802', 'Q41309'] [{'concept': 'Q502895'}, 'P802', 'Q41309'] [{'concept': 'Q502895'}, 'P802', 'Q41309']
SELECT DISTINCT ?s WHERE { ?s property:P802 resource:Q41309 . ?s rdf:type ontology:Q502895 }
Adam Liszt Ferdinando Paer Anton Reicha Carl Czerny Antonio Salieri
Were a notable student of that one Anton Reicha, Antonio Salieri and Carl Czerny
Anton Reicha Antonio Salieri Carl Czerny
action filter_type
action find_reverse
entity Franz Liszt
relation student
type common name
[{'concept': 'common name'}, 'student', 'Franz Liszt'] [{'concept': 'common name'}, 'student', 'Franz Liszt'] [{'concept': 'common name'}, 'student', 'Franz Liszt']
SELECT DISTINCT ?s WHERE { ?s property:student resource:Franz_Liszt . ?s rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q51056
P21 P7
Q502895
USER
Which people have Franz Joseph I of Austria as their sibling and are a male ?
AND((c(Q502895),P7,Q51056), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q51056
relation P7
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P7', 'Q51056'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?h WHERE { ?h property:P7 resource:Q51056 . ?h property:P21 resource:Q6581097 . ?h rdf:type ontology:Q502895 }
male Franz Joseph I of Austria
action filter_type
action intersection
action find_reverse
entity Franz Joseph I of Austria
relation brother
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'brother', 'Franz Joseph I of Austria'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?h WHERE { ?h property:brother resource:Franz_Joseph_I_of_Austria . ?h property:gender resource:male . ?h rdf:type ontology:common_name }
[]
common name
Q93377 Q78519 Q84192
SYSTEM
Archduke Ludwig Viktor of Austria, Archduke Karl Ludwig of Austria, Maximilian I of Mexico
Q93377 Q78519 Q84192
AND((c(Q502895),P7,Q51056), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q51056
relation P7
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] have Franz Joseph I of Austria as their sibling and are a male
{'AND': [[{'concept': 'Q502895'}, 'P7', 'Q51056'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?h WHERE { ?h property:P7 resource:Q51056 . ?h property:P21 resource:Q6581097 . ?h rdf:type ontology:Q502895 }
Archduke Ludwig Viktor of Austria Archduke Karl Ludwig of Austria Maximilian I of Mexico
Archduke Ludwig Viktor of Austria, Archduke Karl Ludwig of Austria and Maximilian I of Mexico have Franz Joseph I of Austria as their sibling and are a male
Archduke Ludwig Viktor of Austria Archduke Karl Ludwig of Austria Maximilian I of Mexico
action filter_type
action intersection
action find_reverse
entity Franz Joseph I of Austria
relation brother
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'brother', 'Franz Joseph I of Austria'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?h WHERE { ?h property:brother resource:Franz_Joseph_I_of_Austria . ?h property:gender resource:male . ?h rdf:type ontology:common_name }
[]