Simple Question (Direct)
Simple Question
Q1532529
P937
Q56061
USER
What is the work location of Horst Körner ?
(Q1532529,P937,c(Q56061))
action filter_type
action find
entity Q1532529
relation P937
type Q56061
['Q1532529', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { resource:Q1532529 property:P937 ?h . ?h rdf:type ontology:Q56061 }
Horst Körner
action filter_type
action find
entity Horst Körner
relation work location
type administrative territorial entity
['Horst Körner', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Horst_Körner property:work_location ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1715
SYSTEM
Hanover
Q1715
(Q1532529,P937,c(Q56061))
action filter_type
action find
entity Q1532529
relation P937
type Q56061
The work location of Horst Körner is in [ANSWER]
['Q1532529', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { resource:Q1532529 property:P937 ?h . ?h rdf:type ontology:Q56061 }
Hanover
The work location of Horst Körner is in Hanover
Hanover
action filter_type
action find
entity Horst Körner
relation work location
type administrative territorial entity
['Horst Körner', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Horst_Körner property:work_location ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1532529
P21
Q290
USER
Which sex does Horst Körner have ?
(Q1532529,P21,c(Q290))
action filter_type
action find
entity Q1532529
relation P21
type Q290
['Q1532529', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?y WHERE { resource:Q1532529 property:P21 ?y . ?y rdf:type ontology:Q290 }
Horst Körner
action filter_type
action find
entity Horst Körner
relation gender
type sex
['Horst Körner', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?y WHERE { resource:Horst_Körner property:gender ?y . ?y rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q1532529,P21,c(Q290))
action filter_type
action find
entity Q1532529
relation P21
type Q290
Horst Körner has a [ANSWER]
['Q1532529', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?y WHERE { resource:Q1532529 property:P21 ?y . ?y rdf:type ontology:Q290 }
male
Horst Körner has a male
male
action filter_type
action find
entity Horst Körner
relation gender
type sex
['Horst Körner', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?y WHERE { resource:Horst_Körner property:gender ?y . ?y rdf:type ontology:sex }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation|Incomplete
Q7235902 Q1532529
P21
Q290
USER
And also Povl Søndergaard
AND((Q1532529,P21,c(Q290)), (Q7235902,P21,c(Q290)))
action filter_type
action intersection
action find
entity Q1532529
relation P21
action find
entity Q7235902
relation P21
type Q290
{'AND': [['Q1532529', 'P21', {'concept': 'Q290'}], ['Q7235902', 'P21', {'concept': 'Q290'}]]}
SELECT DISTINCT ?k WHERE { resource:Q1532529 property:P21 ?k . resource:Q7235902 property:P21 ?k . ?k rdf:type ontology:Q290 }
Povl Søndergaard Horst Körner
action filter_type
action intersection
action find
entity Horst Körner
relation gender
action find
entity Povl Søndergaard
relation gender
type sex
{'AND': [['Horst Körner', 'gender', {'concept': 'sex'}], ['Povl Søndergaard', 'gender', {'concept': 'sex'}]]}
SELECT DISTINCT ?k WHERE { resource:Horst_Körner property:gender ?k . resource:Povl_Søndergaard property:gender ?k . ?k rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
AND((Q1532529,P21,c(Q290)), (Q7235902,P21,c(Q290)))
action filter_type
action intersection
action find
entity Q1532529
relation P21
action find
entity Q7235902
relation P21
type Q290
[ANSWER]
{'AND': [['Q1532529', 'P21', {'concept': 'Q290'}], ['Q7235902', 'P21', {'concept': 'Q290'}]]}
SELECT DISTINCT ?k WHERE { resource:Q1532529 property:P21 ?k . resource:Q7235902 property:P21 ?k . ?k rdf:type ontology:Q290 }
male
male
action filter_type
action intersection
action find
entity Horst Körner
relation gender
action find
entity Povl Søndergaard
relation gender
type sex
{'AND': [['Horst Körner', 'gender', {'concept': 'sex'}], ['Povl Søndergaard', 'gender', {'concept': 'sex'}]]}
SELECT DISTINCT ?k WHERE { resource:Horst_Körner property:gender ?k . resource:Povl_Søndergaard property:gender ?k . ?k rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q7235902
P106
Q12737077
USER
Which occupation has Povl Søndergaard as his/her as a career ?
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q7235902
relation P106
type Q12737077
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?c WHERE { resource:Q7235902 property:P106 ?c . ?c rdf:type ontology:Q12737077 }
Povl Søndergaard
action filter_type
action find
entity Povl Søndergaard
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?c WHERE { resource:Povl_Søndergaard property:occupation ?c . ?c rdf:type ontology:occupation }
[]
occupation
Q1281618
SYSTEM
sculptor
Q1281618
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q7235902
relation P106
type Q12737077
The [ANSWER] has Povl Søndergaard as his/her as a career
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?c WHERE { resource:Q7235902 property:P106 ?c . ?c rdf:type ontology:Q12737077 }
sculptor
The sculptor has Povl Søndergaard as his/her as a career
sculptor
action filter_type
action find
entity Povl Søndergaard
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?c WHERE { resource:Povl_Søndergaard property:occupation ?c . ?c rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q1281618 Q1062473
P425
Q3249551
USER
Does Cosmic ray spallation have that one as thier associated field of occupation ?
(Q1281618,P425,Q1062473)
action is_in
entity Q1062473
action find
entity Q1281618
relation P425
['Q1281618', 'P425', 'Q1062473']
ASK WHERE { resource:Q1281618 property:P425 resource:Q1062473 }
sculptor Cosmic ray spallation
action is_in
entity Cosmic ray spallation
action find
entity sculptor
relation field of this occupation
['sculptor', 'field of this occupation', 'Cosmic ray spallation']
ASK WHERE { resource:sculptor property:field_of_this_occupation resource:Cosmic_ray_spallation }
[]
process
SYSTEM
NO
(Q1281618,P425,Q1062473)
action is_in
entity Q1062473
action find
entity Q1281618
relation P425
[ANSWER]
['Q1281618', 'P425', 'Q1062473']
ASK WHERE { resource:Q1281618 property:P425 resource:Q1062473 }
No
action is_in
entity Cosmic ray spallation
action find
entity sculptor
relation field of this occupation
['sculptor', 'field of this occupation', 'Cosmic ray spallation']
ASK WHERE { resource:sculptor property:field_of_this_occupation resource:Cosmic_ray_spallation }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1281618
P180
Q838948
USER
Which works of art express that occupation ?
action filter_type
action find_reverse
entity Q1281618
relation P180
type Q838948
SELECT DISTINCT ?j WHERE { ?j property:P180 resource:Q1281618 . ?j rdf:type ontology:Q838948 }
sculptor
action filter_type
action find_reverse
entity sculptor
relation depicts
type work of art
SELECT DISTINCT ?j WHERE { ?j property:depicts resource:sculptor . ?j rdf:type ontology:work_of_art }
[]
work of art
Q7447989 Q17315628
SYSTEM
Self-Portrait with Model at Bergamo, Pygmalion and Galatea
Q7447989 Q17315628
action filter_type
action find_reverse
entity Q1281618
relation P180
type Q838948
[ANSWERS] express that occupation
SELECT DISTINCT ?j WHERE { ?j property:P180 resource:Q1281618 . ?j rdf:type ontology:Q838948 }
Self-Portrait with Model at Bergamo Pygmalion and Galatea
Self-Portrait with Model at Bergamo and Pygmalion and Galatea express that occupation
Self-Portrait with Model at Bergamo Pygmalion and Galatea
action filter_type
action find_reverse
entity sculptor
relation depicts
type work of art
SELECT DISTINCT ?j WHERE { ?j property:depicts resource:sculptor . ?j rdf:type ontology:work_of_art }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q7447989
P800 P21
Q502895
USER
Which people have Self-Portrait with Model at Bergamo as a notable work and have the gender as male ?
AND((c(Q502895),P800,Q7447989), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q7447989
relation P800
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P800', 'Q7447989'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?f WHERE { ?f property:P800 resource:Q7447989 . ?f property:P21 resource:Q6581097 . ?f rdf:type ontology:Q502895 }
male Self-Portrait with Model at Bergamo
action filter_type
action intersection
action find_reverse
entity Self-Portrait with Model at Bergamo
relation notable work
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'notable work', 'Self-Portrait with Model at Bergamo'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?f WHERE { ?f property:notable_work resource:Self-Portrait_with_Model_at_Bergamo . ?f property:gender resource:male . ?f rdf:type ontology:common_name }
[]
common name
Q505010
SYSTEM
Giacomo Manzù
Q505010
AND((c(Q502895),P800,Q7447989), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q7447989
relation P800
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWER] have Self-Portrait with Model at Bergamo as a notable work and have the gender as male
{'AND': [[{'concept': 'Q502895'}, 'P800', 'Q7447989'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?f WHERE { ?f property:P800 resource:Q7447989 . ?f property:P21 resource:Q6581097 . ?f rdf:type ontology:Q502895 }
Giacomo Manzù
Giacomo Manzù have Self-Portrait with Model at Bergamo as a notable work and have the gender as male
Giacomo Manzù
action filter_type
action intersection
action find_reverse
entity Self-Portrait with Model at Bergamo
relation notable work
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'notable work', 'Self-Portrait with Model at Bergamo'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?f WHERE { ?f property:notable_work resource:Self-Portrait_with_Model_at_Bergamo . ?f property:gender resource:male . ?f rdf:type ontology:common_name }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q17315628 Q2635667
P180
Q151885
USER
How many concepts are expressed in Pygmalion and Galatea and Cross of Saint Euphrosyne ?
(Q17315628,P180,c(Q151885)) (Q2635667,P180,c(Q151885))
action count
action intersection
action filter_type
action find
entity Q17315628
relation P180
type Q151885
action filter_type
action find
entity Q2635667
relation P180
type Q151885
['Q17315628', 'P180', {'concept': 'Q151885'}] ['Q2635667', 'P180', {'concept': 'Q151885'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?d ) WHERE { resource:Q17315628 property:P180 ?p . ?p rdf:type ontology:Q151885 . resource:Q2635667 property:P180 ?p . ?p rdf:type ontology:Q151885 }
Pygmalion and Galatea Cross of Saint Euphrosyne
action count
action intersection
action filter_type
action find
entity Pygmalion and Galatea
relation depicts
type concept
action filter_type
action find
entity Cross of Saint Euphrosyne
relation depicts
type concept
['Pygmalion and Galatea', 'depicts', {'concept': 'concept'}] ['Cross of Saint Euphrosyne', 'depicts', {'concept': 'concept'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?d ) WHERE { resource:Pygmalion_and_Galatea property:depicts ?p . ?p rdf:type ontology:concept . resource:Cross_of_Saint_Euphrosyne property:depicts ?p . ?p rdf:type ontology:concept }
[]
concept
SYSTEM
2
Q467 Q8441
(Q17315628,P180,c(Q151885)) (Q2635667,P180,c(Q151885))
action count
action intersection
action filter_type
action find
entity Q17315628
relation P180
type Q151885
action filter_type
action find
entity Q2635667
relation P180
type Q151885
[ANSWER]
['Q17315628', 'P180', {'concept': 'Q151885'}] ['Q2635667', 'P180', {'concept': 'Q151885'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?d ) WHERE { resource:Q17315628 property:P180 ?p . ?p rdf:type ontology:Q151885 . resource:Q2635667 property:P180 ?p . ?p rdf:type ontology:Q151885 }
woman man
2
action count
action intersection
action filter_type
action find
entity Pygmalion and Galatea
relation depicts
type concept
action filter_type
action find
entity Cross of Saint Euphrosyne
relation depicts
type concept
['Pygmalion and Galatea', 'depicts', {'concept': 'concept'}] ['Cross of Saint Euphrosyne', 'depicts', {'concept': 'concept'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?d ) WHERE { resource:Pygmalion_and_Galatea property:depicts ?p . ?p rdf:type ontology:concept . resource:Cross_of_Saint_Euphrosyne property:depicts ?p . ?p rdf:type ontology:concept }
[]