Simple Question (Direct)
Simple Question
Q1539176
P27
Q1048835
USER
Which political territory is the native country of Johann Stigel ?
(Q1539176,P27,c(Q1048835))
action filter_type
action find
entity Q1539176
relation P27
type Q1048835
['Q1539176', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:Q1048835 . resource:Q1539176 property:P27 ?a }
Johann Stigel
action filter_type
action find
entity Johann Stigel
relation country of citizenship
type political territorial entity
['Johann Stigel', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:political_territorial_entity . resource:Johann_Stigel property:country_of_citizenship ?a }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q1539176,P27,c(Q1048835))
action filter_type
action find
entity Q1539176
relation P27
type Q1048835
The [ANSWER] is the native country of Johann Stigel
['Q1539176', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:Q1048835 . resource:Q1539176 property:P27 ?a }
Germany
The Germany is the native country of Johann Stigel
Germany
action filter_type
action find
entity Johann Stigel
relation country of citizenship
type political territorial entity
['Johann Stigel', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:political_territorial_entity . resource:Johann_Stigel property:country_of_citizenship ?a }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1539176
P19
Q15617994
USER
Which administrative territory is the place of birth of Johann Stigel ?
(Q1539176,P19,c(Q15617994))
action filter_type
action find
entity Q1539176
relation P19
type Q15617994
['Q1539176', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q1539176 property:P19 ?b . ?b rdf:type ontology:Q15617994 }
Johann Stigel
action filter_type
action find
entity Johann Stigel
relation place of birth
type designation for an administrative territorial entity
['Johann Stigel', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Johann_Stigel property:place_of_birth ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q6986
SYSTEM
Gotha
Q6986
(Q1539176,P19,c(Q15617994))
action filter_type
action find
entity Q1539176
relation P19
type Q15617994
In [ANSWER] is the place of birth of Johann Stigel
['Q1539176', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { resource:Q1539176 property:P19 ?b . ?b rdf:type ontology:Q15617994 }
Gotha
In Gotha is the place of birth of Johann Stigel
Gotha
action filter_type
action find
entity Johann Stigel
relation place of birth
type designation for an administrative territorial entity
['Johann Stigel', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Johann_Stigel property:place_of_birth ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q6986 Q2149510
P20
Q502895
USER
Does Richard Freytag have that administrative territory as place of death ?
(Q2149510,P20,Q6986)
action is_in
entity Q6986
action find
entity Q2149510
relation P20
['Q2149510', 'P20', 'Q6986']
ASK WHERE { resource:Q2149510 property:P20 resource:Q6986 }
Gotha Richard Freytag
action is_in
entity Gotha
action find
entity Richard Freytag
relation place of death
['Richard Freytag', 'place of death', 'Gotha']
ASK WHERE { resource:Richard_Freytag property:place_of_death resource:Gotha }
[]
common name
SYSTEM
YES
(Q2149510,P20,Q6986)
action is_in
entity Q6986
action find
entity Q2149510
relation P20
[ANSWER]
['Q2149510', 'P20', 'Q6986']
ASK WHERE { resource:Q2149510 property:P20 resource:Q6986 }
Yes
action is_in
entity Gotha
action find
entity Richard Freytag
relation place of death
['Richard Freytag', 'place of death', 'Gotha']
ASK WHERE { resource:Richard_Freytag property:place_of_death resource:Gotha }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1378278 Q2149510
P27
Q1048835
USER
Which political territories do Richard Freytag or Wilhelm Haspel belong to ?
OR((Q2149510,P27,c(Q1048835)), (Q1378278,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q2149510
relation P27
action find
entity Q1378278
relation P27
type Q1048835
{'OR': [['Q2149510', 'P27', {'concept': 'Q1048835'}], ['Q1378278', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?q ) { ( resource:Q2149510 ) ( resource:Q1378278 ) } . ?q property:P27 ?p } . ?p rdf:type ontology:Q1048835 }
Wilhelm Haspel Richard Freytag
action filter_type
action union
action find
entity Richard Freytag
relation country of citizenship
action find
entity Wilhelm Haspel
relation country of citizenship
type political territorial entity
{'OR': [['Richard Freytag', 'country of citizenship', {'concept': 'political territorial entity'}], ['Wilhelm Haspel', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?q ) { ( resource:Richard_Freytag ) ( resource:Wilhelm_Haspel ) } . ?q property:country_of_citizenship ?p } . ?p rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
OR((Q2149510,P27,c(Q1048835)), (Q1378278,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q2149510
relation P27
action find
entity Q1378278
relation P27
type Q1048835
Richard Freytag or Wilhelm Haspel belong to Nazi [ANSWER]
{'OR': [['Q2149510', 'P27', {'concept': 'Q1048835'}], ['Q1378278', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?q ) { ( resource:Q2149510 ) ( resource:Q1378278 ) } . ?q property:P27 ?p } . ?p rdf:type ontology:Q1048835 }
Germany
Richard Freytag or Wilhelm Haspel belong to Nazi Germany
Germany
action filter_type
action union
action find
entity Richard Freytag
relation country of citizenship
action find
entity Wilhelm Haspel
relation country of citizenship
type political territorial entity
{'OR': [['Richard Freytag', 'country of citizenship', {'concept': 'political territorial entity'}], ['Wilhelm Haspel', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?q ) { ( resource:Richard_Freytag ) ( resource:Wilhelm_Haspel ) } . ?q property:country_of_citizenship ?p } . ?p rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P1029
Q502895 Q1656682 Q12973014
USER
Which people were the crew members of max number of events and sports teams ?
(c(Q1656682)|c(Q12973014),P1029,c(Q502895))
action argmax
action union
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q1656682
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q12973014
[[{'concept': 'Q1656682'}, {'concept': 'Q12973014'}], 'P1029', {'concept': 'Q502895'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?l ) { SELECT DISTINCT ?u ( COUNT ( ?h ) AS ?y ) WHERE { { ?h property:P1029 ?u . ?u rdf:type ontology:Q502895 . ?h rdf:type ontology:Q1656682 } UNION { ?h property:P1029 ?u . ?u rdf:type ontology:Q502895 . ?h rdf:type ontology:Q12973014 } } GROUP BY ?u } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?n ( COUNT ( ?p ) AS ?q ) WHERE { { ?p property:P1029 ?n . ?n rdf:type ontology:Q502895 . ?p rdf:type ontology:Q1656682 } UNION { ?p property:P1029 ?n . ?n rdf:type ontology:Q502895 . ?p rdf:type ontology:Q12973014 } } GROUP BY ?n } }
action argmax
action union
action find_reverse_tuple_counts
relation crew member
type common name
type event
action find_reverse_tuple_counts
relation crew member
type common name
type sports team
[[{'concept': 'event'}, {'concept': 'sports team'}], 'crew member', {'concept': 'common name'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?l ) { SELECT DISTINCT ?u ( COUNT ( ?h ) AS ?y ) WHERE { { ?h property:crew_member ?u . ?u rdf:type ontology:common_name . ?h rdf:type ontology:event } UNION { ?h property:crew_member ?u . ?u rdf:type ontology:common_name . ?h rdf:type ontology:sports_team } } GROUP BY ?u } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?n ( COUNT ( ?p ) AS ?q ) WHERE { { ?p property:crew_member ?n . ?n rdf:type ontology:common_name . ?p rdf:type ontology:event } UNION { ?p property:crew_member ?n . ?n rdf:type ontology:common_name . ?p rdf:type ontology:sports_team } } GROUP BY ?n } }
[]
common name event sports team
Q97007 Q461881
SYSTEM
Alexandre Imperatori, Mike Conway
Q97007 Q461881
(c(Q1656682)|c(Q12973014),P1029,c(Q502895))
action argmax
action union
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q1656682
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q12973014
[ANSWERS] were the crew members of max number of events and sports teams
[[{'concept': 'Q1656682'}, {'concept': 'Q12973014'}], 'P1029', {'concept': 'Q502895'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?l ) { SELECT DISTINCT ?u ( COUNT ( ?h ) AS ?y ) WHERE { { ?h property:P1029 ?u . ?u rdf:type ontology:Q502895 . ?h rdf:type ontology:Q1656682 } UNION { ?h property:P1029 ?u . ?u rdf:type ontology:Q502895 . ?h rdf:type ontology:Q12973014 } } GROUP BY ?u } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?n ( COUNT ( ?p ) AS ?q ) WHERE { { ?p property:P1029 ?n . ?n rdf:type ontology:Q502895 . ?p rdf:type ontology:Q1656682 } UNION { ?p property:P1029 ?n . ?n rdf:type ontology:Q502895 . ?p rdf:type ontology:Q12973014 } } GROUP BY ?n } }
Alexandre Imperatori Mike Conway
Alexandre Imperatori and Mike Conway were the crew members of max number of events and sports teams
Alexandre Imperatori Mike Conway
action argmax
action union
action find_reverse_tuple_counts
relation crew member
type common name
type event
action find_reverse_tuple_counts
relation crew member
type common name
type sports team
[[{'concept': 'event'}, {'concept': 'sports team'}], 'crew member', {'concept': 'common name'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( MAX ( ?y ) AS ?l ) { SELECT DISTINCT ?u ( COUNT ( ?h ) AS ?y ) WHERE { { ?h property:crew_member ?u . ?u rdf:type ontology:common_name . ?h rdf:type ontology:event } UNION { ?h property:crew_member ?u . ?u rdf:type ontology:common_name . ?h rdf:type ontology:sports_team } } GROUP BY ?u } } . FILTER ( ?q = ?l ) . { SELECT DISTINCT ?n ( COUNT ( ?p ) AS ?q ) WHERE { { ?p property:crew_member ?n . ?n rdf:type ontology:common_name . ?p rdf:type ontology:event } UNION { ?p property:crew_member ?n . ?n rdf:type ontology:common_name . ?p rdf:type ontology:sports_team } } GROUP BY ?n } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q19054006 Q183
P6 P50
Q502895
USER
Which people have Germany as their heads of government or were the writers of Morgan, Charles (1575-1642) (DNB00) ?
OR((Q183,P6,c(Q502895)), (Q19054006,P50,c(Q502895)))
action filter_type
action union
action find
entity Q183
relation P6
action find
entity Q19054006
relation P50
type Q502895
{'OR': [['Q183', 'P6', {'concept': 'Q502895'}], ['Q19054006', 'P50', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q502895 . { { resource:Q183 property:P6 ?w } UNION { resource:Q19054006 property:P50 ?w } } }
Morgan, Charles (1575-1642) (DNB00) Germany
action filter_type
action union
action find
entity Germany
relation head of government
action find
entity Morgan, Charles (1575-1642) (DNB00)
relation author
type common name
{'OR': [['Germany', 'head of government', {'concept': 'common name'}], ['Morgan, Charles (1575-1642) (DNB00)', 'author', {'concept': 'common name'}]]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:common_name . { { resource:Germany property:head_of_government ?w } UNION { resource:Morgan,_Charles_(1575-1642)_(DNB00) property:author ?w } } }
[]
common name
Q2492 Q2518 Q2530 Q2496 Q2514 Q2516 Q2571 Q2512 Q19361420 Q567
SYSTEM
Konrad Adenauer, Helmut Kohl, Gerhard Schröder, Ludwig Erhard, Willy Brandt, Helmut Schmidt, Walter Scheel, Kurt Georg Kiesinger, Gordon Goodwin, Angela Merkel
Q2492 Q2518 Q2530 Q2496 Q2514 Q2516 Q2571 Q2512 Q19361420 Q567
OR((Q183,P6,c(Q502895)), (Q19054006,P50,c(Q502895)))
action filter_type
action union
action find
entity Q183
relation P6
action find
entity Q19054006
relation P50
type Q502895
[ANSWERS] have Germany as their heads of government or were the writers of Morgan, Charles (1575-1642) (DNB00)
{'OR': [['Q183', 'P6', {'concept': 'Q502895'}], ['Q19054006', 'P50', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q502895 . { { resource:Q183 property:P6 ?w } UNION { resource:Q19054006 property:P50 ?w } } }
Konrad Adenauer Helmut Kohl Gerhard Schröder Ludwig Erhard Willy Brandt Helmut Schmidt Walter Scheel Kurt Georg Kiesinger Gordon Goodwin Angela Merkel
Konrad Adenauer, Helmut Kohl, Gerhard Schröder, Ludwig Erhard, Willy Brandt, Helmut Schmidt, Walter Scheel, Kurt Georg Kiesinger, Gordon Goodwin and Angela Merkel have Germany as their heads of government or were the writers of Morgan, Charles (1575-1642) (DNB00)
Konrad Adenauer Helmut Kohl Gerhard Schröder Ludwig Erhard Willy Brandt Helmut Schmidt Walter Scheel Kurt Georg Kiesinger Gordon Goodwin Angela Merkel
action filter_type
action union
action find
entity Germany
relation head of government
action find
entity Morgan, Charles (1575-1642) (DNB00)
relation author
type common name
{'OR': [['Germany', 'head of government', {'concept': 'common name'}], ['Morgan, Charles (1575-1642) (DNB00)', 'author', {'concept': 'common name'}]]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:common_name . { { resource:Germany property:head_of_government ?w } UNION { resource:Morgan,_Charles_(1575-1642)_(DNB00) property:author ?w } } }
[]