Simple Question (Direct)
Simple Question
Q2262587
P734
Q82799
USER
Who has the surname Sebastian Bauer ?
(Q2262587,P734,c(Q82799))
action filter_type
action find
entity Q2262587
relation P734
type Q82799
['Q2262587', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q82799 . resource:Q2262587 property:P734 ?p }
Sebastian Bauer
action filter_type
action find
entity Sebastian Bauer
relation family name
type name
['Sebastian Bauer', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:name . resource:Sebastian_Bauer property:family_name ?p }
[]
name
Q1965022
SYSTEM
Bauer
Q1965022
(Q2262587,P734,c(Q82799))
action filter_type
action find
entity Q2262587
relation P734
type Q82799
The [ANSWER] has the surname Sebastian [ANSWER]
['Q2262587', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q82799 . resource:Q2262587 property:P734 ?p }
Bauer
The Bauer has the surname Sebastian Bauer
Bauer
action filter_type
action find
entity Sebastian Bauer
relation family name
type name
['Sebastian Bauer', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:name . resource:Sebastian_Bauer property:family_name ?p }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2262587
P140
Q879146
USER
Which Christian denomination is the religion of that person ?
(Q1965022,P140,c(Q879146))
action filter_type
action find
entity Q2262587
relation P140
type Q879146
['Q1965022', 'P140', {'concept': 'Q879146'}]
SELECT DISTINCT ?z WHERE { resource:Q2262587 property:P140 ?z . ?z rdf:type ontology:Q879146 }
Sebastian Bauer
action filter_type
action find
entity Sebastian Bauer
relation religion
type Christian denomination
['Bauer', 'religion', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?z WHERE { resource:Sebastian_Bauer property:religion ?z . ?z rdf:type ontology:Christian_denomination }
[]
Christian denomination
Q9592
SYSTEM
Roman Catholic Church
Q9592
(Q1965022,P140,c(Q879146))
action filter_type
action find
entity Q2262587
relation P140
type Q879146
[ANSWER] is the religion of that person
['Q1965022', 'P140', {'concept': 'Q879146'}]
SELECT DISTINCT ?z WHERE { resource:Q2262587 property:P140 ?z . ?z rdf:type ontology:Q879146 }
Roman Catholic Church
Roman Catholic Church is the religion of that person
Roman Catholic Church
action filter_type
action find
entity Sebastian Bauer
relation religion
type Christian denomination
['Bauer', 'religion', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?z WHERE { resource:Sebastian_Bauer property:religion ?z . ?z rdf:type ontology:Christian_denomination }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q9592
P123
Q2342494
USER
Which collectable was published by that Christian denomination ?
(c(Q2342494),P123,Q9592)
action filter_type
action find_reverse
entity Q9592
relation P123
type Q2342494
[{'concept': 'Q2342494'}, 'P123', 'Q9592']
SELECT DISTINCT ?v WHERE { ?v property:P123 resource:Q9592 . ?v rdf:type ontology:Q2342494 }
Roman Catholic Church
action filter_type
action find_reverse
entity Roman Catholic Church
relation publisher
type collectable
[{'concept': 'collectable'}, 'publisher', 'Roman Catholic Church']
SELECT DISTINCT ?v WHERE { ?v property:publisher resource:Roman_Catholic_Church . ?v rdf:type ontology:collectable }
[]
collectable
Q22765
SYSTEM
Index Librorum Prohibitorum
Q22765
(c(Q2342494),P123,Q9592)
action filter_type
action find_reverse
entity Q9592
relation P123
type Q2342494
[ANSWER] was published by that Christian denomination
[{'concept': 'Q2342494'}, 'P123', 'Q9592']
SELECT DISTINCT ?v WHERE { ?v property:P123 resource:Q9592 . ?v rdf:type ontology:Q2342494 }
Index Librorum Prohibitorum
Index Librorum Prohibitorum was published by that Christian denomination
Index Librorum Prohibitorum
action filter_type
action find_reverse
entity Roman Catholic Church
relation publisher
type collectable
[{'concept': 'collectable'}, 'publisher', 'Roman Catholic Church']
SELECT DISTINCT ?v WHERE { ?v property:publisher resource:Roman_Catholic_Church . ?v rdf:type ontology:collectable }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q9592
P366
Q2065736
USER
Which cultural property has its main functionality as that Christian denomination ?
(c(Q2065736),P366,Q22765)
action filter_type
action find_reverse
entity Q9592
relation P366
type Q2065736
[{'concept': 'Q2065736'}, 'P366', 'Q22765']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q2065736 . ?v property:P366 resource:Q9592 }
Roman Catholic Church
action filter_type
action find_reverse
entity Roman Catholic Church
relation use
type cultural property
[{'concept': 'cultural property'}, 'use', 'Index Librorum Prohibitorum']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:cultural_property . ?v property:use resource:Roman_Catholic_Church }
[]
cultural property
Q5786052
SYSTEM
Convento de los Agustinos
Q5786052
(c(Q2065736),P366,Q22765)
action filter_type
action find_reverse
entity Q9592
relation P366
type Q2065736
[ANSWER] has its main functionality as that Christian denomination
[{'concept': 'Q2065736'}, 'P366', 'Q22765']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q2065736 . ?v property:P366 resource:Q9592 }
Convento de los Agustinos
Convento de los Agustinos has its main functionality as that Christian denomination
Convento de los Agustinos
action filter_type
action find_reverse
entity Roman Catholic Church
relation use
type cultural property
[{'concept': 'cultural property'}, 'use', 'Index Librorum Prohibitorum']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:cultural_property . ?v property:use resource:Roman_Catholic_Church }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5786052
P112
Q502895
USER
Which person founded that cultural property ?
(Q5786052,P112,c(Q502895))
action filter_type
action find
entity Q5786052
relation P112
type Q502895
['Q5786052', 'P112', {'concept': 'Q502895'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q502895 . resource:Q5786052 property:P112 ?y }
Convento de los Agustinos
action filter_type
action find
entity Convento de los Agustinos
relation founder
type common name
['Convento de los Agustinos', 'founder', {'concept': 'common name'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:common_name . resource:Convento_de_los_Agustinos property:founder ?y }
[]
common name
Q6142550
SYSTEM
Teresa Enríquez de Alvarado
Q6142550
(Q5786052,P112,c(Q502895))
action filter_type
action find
entity Q5786052
relation P112
type Q502895
[ANSWER] founded that cultural property
['Q5786052', 'P112', {'concept': 'Q502895'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q502895 . resource:Q5786052 property:P112 ?y }
Teresa Enríquez de Alvarado
Teresa Enríquez de Alvarado founded that cultural property
Teresa Enríquez de Alvarado
action filter_type
action find
entity Convento de los Agustinos
relation founder
type common name
['Convento de los Agustinos', 'founder', {'concept': 'common name'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:common_name . resource:Convento_de_los_Agustinos property:founder ?y }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q6142550 Q51364 Q29
P27
Q15617994
USER
Is that person a native of Farindola and Spain ?
(Q6142550,P27,Q51364) (Q6142550,P27,Q29)
action is_in
entity Q6142550
action intersection
action find_reverse
entity Q51364
relation P27
action find_reverse
entity Q29
relation P27
['Q6142550', 'P27', 'Q51364'] ['Q6142550', 'P27', 'Q29']
ASK WHERE { resource:Q6142550 property:P27 resource:Q51364 . resource:Q6142550 property:P27 resource:Q29 }
Teresa Enríquez de Alvarado Farindola Spain
action is_in
entity Teresa Enríquez de Alvarado
action intersection
action find_reverse
entity Farindola
relation country of citizenship
action find_reverse
entity Spain
relation country of citizenship
['Teresa Enríquez de Alvarado', 'country of citizenship', 'Farindola'] ['Teresa Enríquez de Alvarado', 'country of citizenship', 'Spain']
ASK WHERE { resource:Teresa_Enríquez_de_Alvarado property:country_of_citizenship resource:Farindola . resource:Teresa_Enríquez_de_Alvarado property:country_of_citizenship resource:Spain }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q6142550,P27,Q51364) (Q6142550,P27,Q29)
action is_in
entity Q6142550
action intersection
action find_reverse
entity Q51364
relation P27
action find_reverse
entity Q29
relation P27
[ANSWER]
['Q6142550', 'P27', 'Q51364'] ['Q6142550', 'P27', 'Q29']
ASK WHERE { resource:Q6142550 property:P27 resource:Q51364 . resource:Q6142550 property:P27 resource:Q29 }
NO and YES respectively
action is_in
entity Teresa Enríquez de Alvarado
action intersection
action find_reverse
entity Farindola
relation country of citizenship
action find_reverse
entity Spain
relation country of citizenship
['Teresa Enríquez de Alvarado', 'country of citizenship', 'Farindola'] ['Teresa Enríquez de Alvarado', 'country of citizenship', 'Spain']
ASK WHERE { resource:Teresa_Enríquez_de_Alvarado property:country_of_citizenship resource:Farindola . resource:Teresa_Enríquez_de_Alvarado property:country_of_citizenship resource:Spain }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q82185 Q2262587
P190 P937
Q56061
USER
Which administrative territories are the work locations of Sebastian Bauer or are partner towns of La Rochelle ?
OR((Q2262587,P937,c(Q56061)), (Q82185,P190,c(Q56061)))
action filter_type
action union
action find
entity Q2262587
relation P937
action find
entity Q82185
relation P190
type Q56061
{'OR': [['Q2262587', 'P937', {'concept': 'Q56061'}], ['Q82185', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q56061 . { { resource:Q2262587 property:P937 ?m } UNION { resource:Q82185 property:P190 ?m } } }
La Rochelle Sebastian Bauer
action filter_type
action union
action find
entity Sebastian Bauer
relation work location
action find
entity La Rochelle
relation sister city
type administrative territorial entity
{'OR': [['Sebastian Bauer', 'work location', {'concept': 'administrative territorial entity'}], ['La Rochelle', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:administrative_territorial_entity . { { resource:Sebastian_Bauer property:work_location ?m } UNION { resource:La_Rochelle property:sister_city ?m } } }
[]
administrative territorial entity
Q126084 Q744948 Q54264 Q44211 Q216939 Q64 Q1895
SYSTEM
Acre, New Rochelle, Newport, Corrientes, Essaouira, Berlin, Petrozavodsk
Q126084 Q744948 Q54264 Q44211 Q216939 Q64 Q1895
OR((Q2262587,P937,c(Q56061)), (Q82185,P190,c(Q56061)))
action filter_type
action union
action find
entity Q2262587
relation P937
action find
entity Q82185
relation P190
type Q56061
[ANSWERS] are the work locations of Sebastian Bauer or are partner towns of La Rochelle
{'OR': [['Q2262587', 'P937', {'concept': 'Q56061'}], ['Q82185', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q56061 . { { resource:Q2262587 property:P937 ?m } UNION { resource:Q82185 property:P190 ?m } } }
Acre New Rochelle Newport Corrientes Essaouira Berlin Petrozavodsk
Acre, New Rochelle, Newport, Corrientes, Essaouira, Berlin and Petrozavodsk are the work locations of Sebastian Bauer or are partner towns of La Rochelle
Acre New Rochelle Newport Corrientes Essaouira Berlin Petrozavodsk
action filter_type
action union
action find
entity Sebastian Bauer
relation work location
action find
entity La Rochelle
relation sister city
type administrative territorial entity
{'OR': [['Sebastian Bauer', 'work location', {'concept': 'administrative territorial entity'}], ['La Rochelle', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:administrative_territorial_entity . { { resource:Sebastian_Bauer property:work_location ?m } UNION { resource:La_Rochelle property:sister_city ?m } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q5
P180
Q82799 Q838948 Q1792379
USER
How many names are depicted in less number of works of art or art genres than human ?
(c(Q838948)|c(Q1792379),P180,c(Q82799))
action count
action less
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q838948
action find_reverse_tuple_counts
relation P180
type Q82799
type Q1792379
action count
action filter_multi_types
action find_reverse
entity Q5
relation P180
type Q838948
type Q1792379
[[{'concept': 'Q838948'}, {'concept': 'Q1792379'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?l WHERE { VALUES ( ?n ) { ( ontology:Q1792379 ) ( ontology:Q838948 ) } . ?e rdf:type ?n } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { ?f property:P180 resource:Q5 . { { ?f rdf:type ontology:Q838948 } UNION { ?f rdf:type ontology:Q1792379 } } } } . FILTER ( ?a < ?r ) }
human
action count
action less
action union
action find_reverse_tuple_counts
relation depicts
type name
type work of art
action find_reverse_tuple_counts
relation depicts
type name
type art genre
action count
action filter_multi_types
action find_reverse
entity human
relation depicts
type work of art
type art genre
[[{'concept': 'work of art'}, {'concept': 'art genre'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?l WHERE { VALUES ( ?n ) { ( ontology:art_genre ) ( ontology:work_of_art ) } . ?e rdf:type ?n } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { ?f property:depicts resource:human . { { ?f rdf:type ontology:work_of_art } UNION { ?f rdf:type ontology:art_genre } } } } . FILTER ( ?a < ?r ) }
[]
name work of art art genre
SYSTEM
41
Q13219075 Q134609 Q6453151 Q830 Q41692 Q3711329 Q732775 Q36940 Q1517781 Q11946202 Q2258881 Q4767951 Q16529344 Q24067392 Q713019 Q1807269 Q201251 Q8335 Q846664 Q3116510 Q1865281 Q1192868 Q2495957 Q1953597 Q15629245 Q25894 Q1466321 Q43115 Q858243 Q876933 Q190294 Q123120 Q214169 Q538906 Q308841 Q1360763 Q83931 Q9458574 Q5070208 Q859257 Q10968813
(c(Q838948)|c(Q1792379),P180,c(Q82799))
action count
action less
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q838948
action find_reverse_tuple_counts
relation P180
type Q82799
type Q1792379
action count
action filter_multi_types
action find_reverse
entity Q5
relation P180
type Q838948
type Q1792379
[ANSWER]
[[{'concept': 'Q838948'}, {'concept': 'Q1792379'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?l WHERE { VALUES ( ?n ) { ( ontology:Q1792379 ) ( ontology:Q838948 ) } . ?e rdf:type ?n } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { ?f property:P180 resource:Q5 . { { ?f rdf:type ontology:Q838948 } UNION { ?f rdf:type ontology:Q1792379 } } } } . FILTER ( ?a < ?r ) }
octopus Cynara scolymus toad cattle mule wolf Partridge sugarcane shrimp butterfly trout cattle goose Boy cannoneer leek peacock raven hawk frog whale clam magpie slug lizard antelope Yellow jacket saint Tree squirrel magi mouflon vulture pheasant thistle snail Scipio locust wasp kangaroo fly jay
41
action count
action less
action union
action find_reverse_tuple_counts
relation depicts
type name
type work of art
action find_reverse_tuple_counts
relation depicts
type name
type art genre
action count
action filter_multi_types
action find_reverse
entity human
relation depicts
type work of art
type art genre
[[{'concept': 'work of art'}, {'concept': 'art genre'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?a ) ?l WHERE { VALUES ( ?n ) { ( ontology:art_genre ) ( ontology:work_of_art ) } . ?e rdf:type ?n } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { ?f property:depicts resource:human . { { ?f rdf:type ontology:work_of_art } UNION { ?f rdf:type ontology:art_genre } } } } . FILTER ( ?a < ?r ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q15629245
P180
Q82799 Q838948 Q1792379
USER
And what about lizard?
(c(Q838948)|c(Q1792379),P180,c(Q82799))
action count
action less
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q838948
action find_reverse_tuple_counts
relation P180
type Q82799
type Q1792379
action count
action filter_multi_types
action find_reverse
entity Q15629245
relation P180
type Q838948
type Q1792379
[[{'concept': 'Q838948'}, {'concept': 'Q1792379'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?k ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?v ) WHERE { { ?e property:P180 ?x . ?x rdf:type ontology:Q82799 . ?e rdf:type ontology:Q1792379 } UNION { ?e property:P180 ?x . ?x rdf:type ontology:Q82799 . ?e rdf:type ontology:Q838948 } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:P180 resource:Q15629245 . { { ?q rdf:type ontology:Q838948 } UNION { ?q rdf:type ontology:Q1792379 } } } } . FILTER ( ?v < ?r ) }
lizard
action count
action less
action union
action find_reverse_tuple_counts
relation depicts
type name
type work of art
action find_reverse_tuple_counts
relation depicts
type name
type art genre
action count
action filter_multi_types
action find_reverse
entity lizard
relation depicts
type work of art
type art genre
[[{'concept': 'work of art'}, {'concept': 'art genre'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?k ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?v ) WHERE { { ?e property:depicts ?x . ?x rdf:type ontology:name . ?e rdf:type ontology:art_genre } UNION { ?e property:depicts ?x . ?x rdf:type ontology:name . ?e rdf:type ontology:work_of_art } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:depicts resource:lizard . { { ?q rdf:type ontology:work_of_art } UNION { ?q rdf:type ontology:art_genre } } } } . FILTER ( ?v < ?r ) }
[]
name work of art art genre
SYSTEM
30
Q134609 Q6453151 Q41692 Q3711329 Q732775 Q36940 Q1517781 Q11946202 Q2258881 Q4767951 Q16529344 Q24067392 Q1807269 Q8335 Q3116510 Q1865281 Q2495957 Q1953597 Q1466321 Q43115 Q858243 Q876933 Q214169 Q538906 Q1360763 Q83931 Q9458574 Q5070208 Q859257 Q10968813
(c(Q838948)|c(Q1792379),P180,c(Q82799))
action count
action less
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q838948
action find_reverse_tuple_counts
relation P180
type Q82799
type Q1792379
action count
action filter_multi_types
action find_reverse
entity Q15629245
relation P180
type Q838948
type Q1792379
[ANSWER]
[[{'concept': 'Q838948'}, {'concept': 'Q1792379'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?k ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?v ) WHERE { { ?e property:P180 ?x . ?x rdf:type ontology:Q82799 . ?e rdf:type ontology:Q1792379 } UNION { ?e property:P180 ?x . ?x rdf:type ontology:Q82799 . ?e rdf:type ontology:Q838948 } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:P180 resource:Q15629245 . { { ?q rdf:type ontology:Q838948 } UNION { ?q rdf:type ontology:Q1792379 } } } } . FILTER ( ?v < ?r ) }
Cynara scolymus toad mule wolf Partridge sugarcane shrimp butterfly trout cattle goose Boy leek raven frog whale magpie slug Yellow jacket saint Tree squirrel magi pheasant thistle Scipio locust wasp kangaroo fly jay
30
action count
action less
action union
action find_reverse_tuple_counts
relation depicts
type name
type work of art
action find_reverse_tuple_counts
relation depicts
type name
type art genre
action count
action filter_multi_types
action find_reverse
entity lizard
relation depicts
type work of art
type art genre
[[{'concept': 'work of art'}, {'concept': 'art genre'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?k ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?v ) WHERE { { ?e property:depicts ?x . ?x rdf:type ontology:name . ?e rdf:type ontology:art_genre } UNION { ?e property:depicts ?x . ?x rdf:type ontology:name . ?e rdf:type ontology:work_of_art } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?r ) WHERE { ?q property:depicts resource:lizard . { { ?q rdf:type ontology:work_of_art } UNION { ?q rdf:type ontology:art_genre } } } } . FILTER ( ?v < ?r ) }
[]