Simple Question (Direct)
Simple Question
Q15433922
P21
Q290
USER
Which sex does Liborius Meyer belong to ?
(Q15433922,P21,c(Q290))
action filter_type
action find
entity Q15433922
relation P21
type Q290
['Q15433922', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?c WHERE { resource:Q15433922 property:P21 ?c . ?c rdf:type ontology:Q290 }
Liborius Meyer
action filter_type
action find
entity Liborius Meyer
relation gender
type sex
['Liborius Meyer', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?c WHERE { resource:Liborius_Meyer property:gender ?c . ?c rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q15433922,P21,c(Q290))
action filter_type
action find
entity Q15433922
relation P21
type Q290
Liborius Meyer belongs to [ANSWER]
['Q15433922', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?c WHERE { resource:Q15433922 property:P21 ?c . ?c rdf:type ontology:Q290 }
male
Liborius Meyer belongs to male
male
action filter_type
action find
entity Liborius Meyer
relation gender
type sex
['Liborius Meyer', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?c WHERE { resource:Liborius_Meyer property:gender ?c . ?c rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15433922
P734
Q82799
USER
Who has the surname Liborius Meyer ?
(Q15433922,P734,c(Q82799))
action filter_type
action find
entity Q15433922
relation P734
type Q82799
['Q15433922', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?s WHERE { resource:Q15433922 property:P734 ?s . ?s rdf:type ontology:Q82799 }
Liborius Meyer
action filter_type
action find
entity Liborius Meyer
relation family name
type name
['Liborius Meyer', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?s WHERE { resource:Liborius_Meyer property:family_name ?s . ?s rdf:type ontology:name }
[]
name
Q46767
SYSTEM
Meyer
Q46767
(Q15433922,P734,c(Q82799))
action filter_type
action find
entity Q15433922
relation P734
type Q82799
[ANSWER] has the surname Liborius [ANSWER]
['Q15433922', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?s WHERE { resource:Q15433922 property:P734 ?s . ?s rdf:type ontology:Q82799 }
Meyer
Meyer has the surname Liborius Meyer
Meyer
action filter_type
action find
entity Liborius Meyer
relation family name
type name
['Liborius Meyer', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?s WHERE { resource:Liborius_Meyer property:family_name ?s . ?s rdf:type ontology:name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15433922
P937
Q486972
USER
What is the work location of that person ?
(Q46767,P937,c(Q486972))
action filter_type
action find
entity Q15433922
relation P937
type Q486972
['Q46767', 'P937', {'concept': 'Q486972'}]
SELECT DISTINCT ?c WHERE { resource:Q15433922 property:P937 ?c . ?c rdf:type ontology:Q486972 }
Liborius Meyer
action filter_type
action find
entity Liborius Meyer
relation work location
type human settlement
['Meyer', 'work location', {'concept': 'human settlement'}]
SELECT DISTINCT ?c WHERE { resource:Liborius_Meyer property:work_location ?c . ?c rdf:type ontology:human_settlement }
[]
human settlement
Q2843
SYSTEM
Lübeck
Q2843
(Q46767,P937,c(Q486972))
action filter_type
action find
entity Q15433922
relation P937
type Q486972
The work location of that person is in [ANSWER]
['Q46767', 'P937', {'concept': 'Q486972'}]
SELECT DISTINCT ?c WHERE { resource:Q15433922 property:P937 ?c . ?c rdf:type ontology:Q486972 }
Lübeck
The work location of that person is in Lübeck
Lübeck
action filter_type
action find
entity Liborius Meyer
relation work location
type human settlement
['Meyer', 'work location', {'concept': 'human settlement'}]
SELECT DISTINCT ?c WHERE { resource:Liborius_Meyer property:work_location ?c . ?c rdf:type ontology:human_settlement }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators|Indirect
P190
Q914262 Q20667921
USER
How many administrative territory of Swedens and french administrative divisions are partner towns of that human settlement ?
(Q2843,P190,c(Q914262)) (Q2843,P190,c(Q20667921)) (Q2843,P190,c(Q914262)) (Q2843,P190,c(Q20667921))
action count
action union
action filter_type
action find
entity Q2843
relation P190
type Q914262
action filter_type
action find
entity Q2843
relation P190
type Q20667921
['Q2843', 'P190', {'concept': 'Q914262'}] ['Q2843', 'P190', {'concept': 'Q20667921'}] ['Q2843', 'P190', {'concept': 'Q914262'}] ['Q2843', 'P190', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { VALUES ( ?b ) { ( ontology:Q914262 ) ( ontology:Q20667921 ) } . ?v rdf:type ?b }
action count
action union
action filter_type
action find
entity Lübeck
relation sister city
type administrative territorial entity of Sweden
action filter_type
action find
entity Lübeck
relation sister city
type type of french administrative division
['Lübeck', 'sister city', {'concept': 'administrative territorial entity of Sweden'}] ['Lübeck', 'sister city', {'concept': 'type of french administrative division'}] ['Lübeck', 'sister city', {'concept': 'administrative territorial entity of Sweden'}] ['Lübeck', 'sister city', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { VALUES ( ?b ) { ( ontology:administrative_territorial_entity_of_Sweden ) ( ontology:type_of_french_administrative_division ) } . ?v rdf:type ?b }
[]
administrative territorial entity of Sweden type of french administrative division
SYSTEM
1 administrative territory of Swedens and 1 french administrative divisions
Q82185 Q374794
(Q2843,P190,c(Q914262)) (Q2843,P190,c(Q20667921)) (Q2843,P190,c(Q914262)) (Q2843,P190,c(Q20667921))
action count
action union
action filter_type
action find
entity Q2843
relation P190
type Q914262
action filter_type
action find
entity Q2843
relation P190
type Q20667921
[ANSWER]
['Q2843', 'P190', {'concept': 'Q914262'}] ['Q2843', 'P190', {'concept': 'Q20667921'}] ['Q2843', 'P190', {'concept': 'Q914262'}] ['Q2843', 'P190', {'concept': 'Q20667921'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { VALUES ( ?b ) { ( ontology:Q914262 ) ( ontology:Q20667921 ) } . ?v rdf:type ?b }
La Rochelle Gotland Municipality
1 administrative territory of Swedens and 1 french administrative divisions
action count
action union
action filter_type
action find
entity Lübeck
relation sister city
type administrative territorial entity of Sweden
action filter_type
action find
entity Lübeck
relation sister city
type type of french administrative division
['Lübeck', 'sister city', {'concept': 'administrative territorial entity of Sweden'}] ['Lübeck', 'sister city', {'concept': 'type of french administrative division'}] ['Lübeck', 'sister city', {'concept': 'administrative territorial entity of Sweden'}] ['Lübeck', 'sister city', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { VALUES ( ?b ) { ( ontology:administrative_territorial_entity_of_Sweden ) ( ontology:type_of_french_administrative_division ) } . ?v rdf:type ?b }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2843
P291
Q49848
USER
Which document has Lübeck as its release location ?
(c(Q49848),P291,Q2843)
action filter_type
action find_reverse
entity Q2843
relation P291
type Q49848
[{'concept': 'Q49848'}, 'P291', 'Q2843']
SELECT DISTINCT ?x WHERE { ?x property:P291 resource:Q2843 . ?x rdf:type ontology:Q49848 }
Lübeck
action filter_type
action find_reverse
entity Lübeck
relation place of publication
type document
[{'concept': 'document'}, 'place of publication', 'Lübeck']
SELECT DISTINCT ?x WHERE { ?x property:place_of_publication resource:Lübeck . ?x rdf:type ontology:document }
[]
document
Q24249441
SYSTEM
Rudimentum novitiorum
Q24249441
(c(Q49848),P291,Q2843)
action filter_type
action find_reverse
entity Q2843
relation P291
type Q49848
[ANSWER] has Lübeck as its release location
[{'concept': 'Q49848'}, 'P291', 'Q2843']
SELECT DISTINCT ?x WHERE { ?x property:P291 resource:Q2843 . ?x rdf:type ontology:Q49848 }
Rudimentum novitiorum
Rudimentum novitiorum has Lübeck as its release location
Rudimentum novitiorum
action filter_type
action find_reverse
entity Lübeck
relation place of publication
type document
[{'concept': 'document'}, 'place of publication', 'Lübeck']
SELECT DISTINCT ?x WHERE { ?x property:place_of_publication resource:Lübeck . ?x rdf:type ontology:document }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15433922
P106
Q28640
USER
Which profession has Liborius Meyer as his/her 's career ?
(Q15433922,P106,c(Q28640))
action filter_type
action find
entity Q15433922
relation P106
type Q28640
['Q15433922', 'P106', {'concept': 'Q28640'}]
SELECT DISTINCT ?h WHERE { resource:Q15433922 property:P106 ?h . ?h rdf:type ontology:Q28640 }
Liborius Meyer
action filter_type
action find
entity Liborius Meyer
relation occupation
type profession
['Liborius Meyer', 'occupation', {'concept': 'profession'}]
SELECT DISTINCT ?h WHERE { resource:Liborius_Meyer property:occupation ?h . ?h rdf:type ontology:profession }
[]
profession
Q185351
SYSTEM
jurist
Q185351
(Q15433922,P106,c(Q28640))
action filter_type
action find
entity Q15433922
relation P106
type Q28640
The [ANSWER] has Liborius Meyer as his/her 's career
['Q15433922', 'P106', {'concept': 'Q28640'}]
SELECT DISTINCT ?h WHERE { resource:Q15433922 property:P106 ?h . ?h rdf:type ontology:Q28640 }
jurist
The jurist has Liborius Meyer as his/her 's career
jurist
action filter_type
action find
entity Liborius Meyer
relation occupation
type profession
['Liborius Meyer', 'occupation', {'concept': 'profession'}]
SELECT DISTINCT ?h WHERE { resource:Liborius_Meyer property:occupation ?h . ?h rdf:type ontology:profession }
[]
Simple Question (Ellipsis)
Incomplete|object parent is changed, subject and predicate remain same
Q15433922
Q12737077
USER
And which occupation?
(Q15433922,P106,c(Q12737077))
action filter_type
action find
entity Q15433922
relation P106
type Q12737077
['Q15433922', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?l WHERE { resource:Q15433922 property:P106 ?l . ?l rdf:type ontology:Q12737077 }
Liborius Meyer
action filter_type
action find
entity Liborius Meyer
relation occupation
type occupation
['Liborius Meyer', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?l WHERE { resource:Liborius_Meyer property:occupation ?l . ?l rdf:type ontology:occupation }
[]
occupation
Q1622272
SYSTEM
university teacher
Q1622272
(Q15433922,P106,c(Q12737077))
action filter_type
action find
entity Q15433922
relation P106
type Q12737077
[ANSWER]
['Q15433922', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?l WHERE { resource:Q15433922 property:P106 ?l . ?l rdf:type ontology:Q12737077 }
university teacher
university teacher
action filter_type
action find
entity Liborius Meyer
relation occupation
type occupation
['Liborius Meyer', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?l WHERE { resource:Liborius_Meyer property:occupation ?l . ?l rdf:type ontology:occupation }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1082025 Q15433922
P937
Q56061
USER
Which administrative territories are the work locations of Liborius Meyer or Christian Storz ?
OR((Q15433922,P937,c(Q56061)), (Q1082025,P937,c(Q56061)))
action filter_type
action union
action find
entity Q15433922
relation P937
action find
entity Q1082025
relation P937
type Q56061
{'OR': [['Q15433922', 'P937', {'concept': 'Q56061'}], ['Q1082025', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q15433922 property:P937 ?s } UNION { resource:Q1082025 property:P937 ?s } } . ?s rdf:type ontology:Q56061 }
Christian Storz Liborius Meyer
action filter_type
action union
action find
entity Liborius Meyer
relation work location
action find
entity Christian Storz
relation work location
type administrative territorial entity
{'OR': [['Liborius Meyer', 'work location', {'concept': 'administrative territorial entity'}], ['Christian Storz', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Liborius_Meyer property:work_location ?s } UNION { resource:Christian_Storz property:work_location ?s } } . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q64 Q2861 Q365 Q6869
SYSTEM
Berlin, Rostock, Cologne, Heidenheim an der Brenz
Q64 Q2861 Q365 Q6869
OR((Q15433922,P937,c(Q56061)), (Q1082025,P937,c(Q56061)))
action filter_type
action union
action find
entity Q15433922
relation P937
action find
entity Q1082025
relation P937
type Q56061
[ANSWERS] are the work locations of Liborius Meyer or Christian Storz
{'OR': [['Q15433922', 'P937', {'concept': 'Q56061'}], ['Q1082025', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q15433922 property:P937 ?s } UNION { resource:Q1082025 property:P937 ?s } } . ?s rdf:type ontology:Q56061 }
Berlin Rostock Cologne Heidenheim an der Brenz
Berlin, Rostock, Cologne and Heidenheim an der Brenz are the work locations of Liborius Meyer or Christian Storz
Berlin Rostock Cologne Heidenheim an der Brenz
action filter_type
action union
action find
entity Liborius Meyer
relation work location
action find
entity Christian Storz
relation work location
type administrative territorial entity
{'OR': [['Liborius Meyer', 'work location', {'concept': 'administrative territorial entity'}], ['Christian Storz', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Liborius_Meyer property:work_location ?s } UNION { resource:Christian_Storz property:work_location ?s } } . ?s rdf:type ontology:administrative_territorial_entity }
[]
Clarification
Simple Question|Single Entity|Indirect
Q6869
P551
Q502895
USER
Who lives in that administrative territory ?
(c(Q502895),P551,Q6869)
action filter_type
action find_reverse
entity Q6869
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q6869']
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q502895 . ?o property:P551 resource:Q6869 }
Heidenheim an der Brenz
action filter_type
action find_reverse
entity Heidenheim an der Brenz
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Heidenheim an der Brenz']
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:common_name . ?o property:residence resource:Heidenheim_an_der_Brenz }
[]
common name
Clarification for simple ques.
Q64
SYSTEM
Did you mean Berlin ?
Q64 Q2861 Q365 Q6869
(c(Q502895),P551,Q64) (c(Q502895),P551,Q2861) (c(Q502895),P551,Q365) (c(Q502895),P551,Q6869)
[ANSWER]
[{'concept': 'Q502895'}, 'P551', 'Q64'] [{'concept': 'Q502895'}, 'P551', 'Q2861'] [{'concept': 'Q502895'}, 'P551', 'Q365'] [{'concept': 'Q502895'}, 'P551', 'Q6869']
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q502895 . ?o property:P551 resource:Q6869 }
Berlin Rostock Cologne Heidenheim an der Brenz
Did you mean Berlin ?
Berlin
[{'concept': 'common name'}, 'residence', 'Berlin'] [{'concept': 'common name'}, 'residence', 'Rostock'] [{'concept': 'common name'}, 'residence', 'Cologne'] [{'concept': 'common name'}, 'residence', 'Heidenheim an der Brenz']
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:common_name . ?o property:residence resource:Heidenheim_an_der_Brenz }
[]
Simple Question (Coreferenced)
USER
No, I meant Heidenheim an der Brenz. Could you tell me the answer for that?
(c(Q502895),P551,Q6869)
Q6869
[{'concept': 'Q502895'}, 'P551', 'Q6869']
[{'concept': 'common name'}, 'residence', 'Heidenheim an der Brenz']
[]
Q100941
SYSTEM
Christoph John
Q100941
(c(Q502895),P551,Q6869)
action filter_type
action find_reverse
entity Q6869
relation P551
type Q502895
[ANSWER] lives in that administrative territory
[{'concept': 'Q502895'}, 'P551', 'Q6869']
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q502895 . ?o property:P551 resource:Q6869 }
Christoph John
Christoph John lives in that administrative territory
Christoph John
action filter_type
action find_reverse
entity Heidenheim an der Brenz
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Heidenheim an der Brenz']
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:common_name . ?o property:residence resource:Heidenheim_an_der_Brenz }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q100941 Q183
P27
Q1048835
USER
Is that person an inhabitant of Germany ?
(Q100941,P27,Q183)
action is_in
entity Q183
action find
entity Q100941
relation P27
['Q100941', 'P27', 'Q183']
ASK WHERE { resource:Q100941 property:P27 resource:Q183 }
Christoph John Germany
action is_in
entity Germany
action find
entity Christoph John
relation country of citizenship
['Christoph John', 'country of citizenship', 'Germany']
ASK WHERE { resource:Christoph_John property:country_of_citizenship resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q100941,P27,Q183)
action is_in
entity Q183
action find
entity Q100941
relation P27
[ANSWER]
['Q100941', 'P27', 'Q183']
ASK WHERE { resource:Q100941 property:P27 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Christoph John
relation country of citizenship
['Christoph John', 'country of citizenship', 'Germany']
ASK WHERE { resource:Christoph_John property:country_of_citizenship resource:Germany }
[]