Simple Question (Direct)
Simple Question
Q1282631
P21
Q290
USER
What is the sex of Edda Müller ?
(Q1282631,P21,c(Q290))
action filter_type
action find
entity Q1282631
relation P21
type Q290
['Q1282631', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?e WHERE { resource:Q1282631 property:P21 ?e . ?e rdf:type ontology:Q290 }
Edda Müller
action filter_type
action find
entity Edda Müller
relation gender
type sex
['Edda Müller', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?e WHERE { resource:Edda_Müller property:gender ?e . ?e rdf:type ontology:sex }
[]
sex
Q6581072
SYSTEM
female
Q6581072
(Q1282631,P21,c(Q290))
action filter_type
action find
entity Q1282631
relation P21
type Q290
[ANSWER]
['Q1282631', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?e WHERE { resource:Q1282631 property:P21 ?e . ?e rdf:type ontology:Q290 }
female
female
action filter_type
action find
entity Edda Müller
relation gender
type sex
['Edda Müller', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?e WHERE { resource:Edda_Müller property:gender ?e . ?e rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1282631
P937
Q56061
USER
Where did Edda Müller work ?
(Q1282631,P937,c(Q56061))
action filter_type
action find
entity Q1282631
relation P937
type Q56061
['Q1282631', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?t WHERE { resource:Q1282631 property:P937 ?t . ?t rdf:type ontology:Q56061 }
Edda Müller
action filter_type
action find
entity Edda Müller
relation work location
type administrative territorial entity
['Edda Müller', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Edda_Müller property:work_location ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q64
SYSTEM
Berlin
Q64
(Q1282631,P937,c(Q56061))
action filter_type
action find
entity Q1282631
relation P937
type Q56061
[ANSWER]
['Q1282631', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?t WHERE { resource:Q1282631 property:P937 ?t . ?t rdf:type ontology:Q56061 }
Berlin
Berlin
action filter_type
action find
entity Edda Müller
relation work location
type administrative territorial entity
['Edda Müller', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Edda_Müller property:work_location ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1282631
P27
Q1048835
USER
Which political territory is that person an inhabitant of ?
(Q64,P27,c(Q1048835))
action filter_type
action find
entity Q1282631
relation P27
type Q1048835
['Q64', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?a WHERE { resource:Q1282631 property:P27 ?a . ?a rdf:type ontology:Q1048835 }
Edda Müller
action filter_type
action find
entity Edda Müller
relation country of citizenship
type political territorial entity
['Berlin', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Edda_Müller property:country_of_citizenship ?a . ?a rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q64,P27,c(Q1048835))
action filter_type
action find
entity Q1282631
relation P27
type Q1048835
[ANSWER]
['Q64', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?a WHERE { resource:Q1282631 property:P27 ?a . ?a rdf:type ontology:Q1048835 }
Germany
Germany
action filter_type
action find
entity Edda Müller
relation country of citizenship
type political territorial entity
['Berlin', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Edda_Müller property:country_of_citizenship ?a . ?a rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1282631
P734
Q82799
USER
Who is associated with that person ?
(Q183,P734,c(Q82799))
action filter_type
action find
entity Q1282631
relation P734
type Q82799
['Q183', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q82799 . resource:Q1282631 property:P734 ?s }
Edda Müller
action filter_type
action find
entity Edda Müller
relation family name
type name
['Germany', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:name . resource:Edda_Müller property:family_name ?s }
[]
name
Q8157228
SYSTEM
Müller
Q8157228
(Q183,P734,c(Q82799))
action filter_type
action find
entity Q1282631
relation P734
type Q82799
[ANSWER]
['Q183', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q82799 . resource:Q1282631 property:P734 ?s }
Müller
Müller
action filter_type
action find
entity Edda Müller
relation family name
type name
['Germany', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:name . resource:Edda_Müller property:family_name ?s }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q3894325 Q1282631
P106
Q12737077
USER
Which occupations are the professions of Edda Müller but not Paolo Pallia ?
AND((Q1282631,P106,c(Q12737077)), NOT((Q3894325,P106,c(Q12737077))))
action filter_type
action difference
action find
entity Q1282631
relation P106
action find
entity Q3894325
relation P106
type Q12737077
{'AND': [['Q1282631', 'P106', {'concept': 'Q12737077'}], {'NOT': [['Q3894325', 'P106', {'concept': 'Q12737077'}]]}]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q12737077 . FILTER NOT EXISTS { resource:Q3894325 property:P106 ?f } . resource:Q1282631 property:P106 ?f }
Paolo Pallia Edda Müller
action filter_type
action difference
action find
entity Edda Müller
relation occupation
action find
entity Paolo Pallia
relation occupation
type occupation
{'AND': [['Edda Müller', 'occupation', {'concept': 'occupation'}], {'NOT': [['Paolo Pallia', 'occupation', {'concept': 'occupation'}]]}]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:occupation . FILTER NOT EXISTS { resource:Paolo_Pallia property:occupation ?f } . resource:Edda_Müller property:occupation ?f }
[]
occupation
Q1622272
SYSTEM
university teacher
Q1622272
AND((Q1282631,P106,c(Q12737077)), NOT((Q3894325,P106,c(Q12737077))))
action filter_type
action difference
action find
entity Q1282631
relation P106
action find
entity Q3894325
relation P106
type Q12737077
[ANSWER]
{'AND': [['Q1282631', 'P106', {'concept': 'Q12737077'}], {'NOT': [['Q3894325', 'P106', {'concept': 'Q12737077'}]]}]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q12737077 . FILTER NOT EXISTS { resource:Q3894325 property:P106 ?f } . resource:Q1282631 property:P106 ?f }
university teacher
university teacher
action filter_type
action difference
action find
entity Edda Müller
relation occupation
action find
entity Paolo Pallia
relation occupation
type occupation
{'AND': [['Edda Müller', 'occupation', {'concept': 'occupation'}], {'NOT': [['Paolo Pallia', 'occupation', {'concept': 'occupation'}]]}]}
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:occupation . FILTER NOT EXISTS { resource:Paolo_Pallia property:occupation ?f } . resource:Edda_Müller property:occupation ?f }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1622272 Q69526
P106
Q502895
USER
Does Wilhelm His have the profession as that occupation ?
(Q69526,P106,Q1622272)
action is_in
entity Q1622272
action find
entity Q69526
relation P106
['Q69526', 'P106', 'Q1622272']
ASK WHERE { resource:Q69526 property:P106 resource:Q1622272 }
university teacher Wilhelm His
action is_in
entity university teacher
action find
entity Wilhelm His
relation occupation
['Wilhelm His', 'occupation', 'university teacher']
ASK WHERE { resource:Wilhelm_His property:occupation resource:university_teacher }
[]
common name
SYSTEM
YES
(Q69526,P106,Q1622272)
action is_in
entity Q1622272
action find
entity Q69526
relation P106
[ANSWER]
['Q69526', 'P106', 'Q1622272']
ASK WHERE { resource:Q69526 property:P106 resource:Q1622272 }
Yes
action is_in
entity university teacher
action find
entity Wilhelm His
relation occupation
['Wilhelm His', 'occupation', 'university teacher']
ASK WHERE { resource:Wilhelm_His property:occupation resource:university_teacher }
[]