Simple Question (Direct)
Simple Question
Q20180907
P19
Q515
USER
Which city was Klaus-Peter Wenzel born at ?
(Q20180907,P19,c(Q515))
action filter_type
action find
entity Q20180907
relation P19
type Q515
['Q20180907', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?t WHERE { resource:Q20180907 property:P19 ?t . ?t rdf:type ontology:Q515 }
Klaus-Peter Wenzel
action filter_type
action find
entity Klaus-Peter Wenzel
relation place of birth
type city
['Klaus-Peter Wenzel', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?t WHERE { resource:Klaus-Peter_Wenzel property:place_of_birth ?t . ?t rdf:type ontology:city }
[]
city
Q3931
SYSTEM
Brandenburg an der Havel
Q3931
(Q20180907,P19,c(Q515))
action filter_type
action find
entity Q20180907
relation P19
type Q515
Klaus-Peter Wenzel was born in [ANSWER]
['Q20180907', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?t WHERE { resource:Q20180907 property:P19 ?t . ?t rdf:type ontology:Q515 }
Brandenburg an der Havel
Klaus-Peter Wenzel was born in Brandenburg an der Havel
Brandenburg an der Havel
action filter_type
action find
entity Klaus-Peter Wenzel
relation place of birth
type city
['Klaus-Peter Wenzel', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?t WHERE { resource:Klaus-Peter_Wenzel property:place_of_birth ?t . ?t rdf:type ontology:city }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q3931
P6
Q502895
USER
Who are the heads of the government of that city ?
(Q3931,P6,c(Q502895))
action filter_type
action find
entity Q3931
relation P6
type Q502895
['Q3931', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q502895 . resource:Q3931 property:P6 ?h }
Brandenburg an der Havel
action filter_type
action find
entity Brandenburg an der Havel
relation head of government
type common name
['Brandenburg an der Havel', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:common_name . resource:Brandenburg_an_der_Havel property:head_of_government ?h }
[]
common name
Q1604141 Q1223301 Q1334271
SYSTEM
Helmut Schmidt, Dietlind Tiemann, Elvira Lippitz
Q1604141 Q1223301 Q1334271 Q18628199 Q18625470
(Q3931,P6,c(Q502895))
action filter_type
action find
entity Q3931
relation P6
type Q502895
The heads of the government of that city are [ANSWERS]
['Q3931', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q502895 . resource:Q3931 property:P6 ?h }
Helmut Schmidt Dietlind Tiemann Elvira Lippitz Klaus Mühe Helmut Schliesing
The heads of the government of that city are Helmut Schmidt, Dietlind Tiemann and Elvira Lippitz
Helmut Schmidt Dietlind Tiemann Elvira Lippitz
action filter_type
action find
entity Brandenburg an der Havel
relation head of government
type common name
['Brandenburg an der Havel', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:common_name . resource:Brandenburg_an_der_Havel property:head_of_government ?h }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1613282
Q502895
USER
And how about Alcaudete?
(Q1613282,P6,c(Q502895))
action filter_type
action find
entity Q1613282
relation P6
type Q502895
['Q1613282', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q502895 . resource:Q1613282 property:P6 ?v }
Alcaudete
action filter_type
action find
entity Alcaudete
relation head of government
type common name
['Alcaudete', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:common_name . resource:Alcaudete property:head_of_government ?v }
[]
common name
Q14085016
SYSTEM
Valeriano Martín Cano
Q14085016
(Q1613282,P6,c(Q502895))
action filter_type
action find
entity Q1613282
relation P6
type Q502895
[ANSWER]
['Q1613282', 'P6', {'concept': 'Q502895'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q502895 . resource:Q1613282 property:P6 ?v }
Valeriano Martín Cano
Valeriano Martín Cano
action filter_type
action find
entity Alcaudete
relation head of government
type common name
['Alcaudete', 'head of government', {'concept': 'common name'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:common_name . resource:Alcaudete property:head_of_government ?v }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q1613282 Q1237093
P17
Q1048835
USER
How many political territories do Alcaudete or Wringen belong to ?
(Q1613282,P17,c(Q1048835)) (Q1237093,P17,c(Q1048835))
action count
action union
action filter_type
action find
entity Q1613282
relation P17
type Q1048835
action filter_type
action find
entity Q1237093
relation P17
type Q1048835
['Q1613282', 'P17', {'concept': 'Q1048835'}] ['Q1237093', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?n ) WHERE { ?d property:P17 ?s . VALUES ( ?d ) { ( resource:Q1613282 ) ( resource:Q1237093 ) } }
Alcaudete Wringen
action count
action union
action filter_type
action find
entity Alcaudete
relation country
type political territorial entity
action filter_type
action find
entity Wringen
relation country
type political territorial entity
['Alcaudete', 'country', {'concept': 'political territorial entity'}] ['Wringen', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?n ) WHERE { ?d property:country ?s . VALUES ( ?d ) { ( resource:Alcaudete ) ( resource:Wringen ) } }
[]
political territorial entity
SYSTEM
2
Q183 Q40
(Q1613282,P17,c(Q1048835)) (Q1237093,P17,c(Q1048835))
action count
action union
action filter_type
action find
entity Q1613282
relation P17
type Q1048835
action filter_type
action find
entity Q1237093
relation P17
type Q1048835
[ANSWER]
['Q1613282', 'P17', {'concept': 'Q1048835'}] ['Q1237093', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?n ) WHERE { ?d property:P17 ?s . VALUES ( ?d ) { ( resource:Q1613282 ) ( resource:Q1237093 ) } }
Germany Austria
2
action count
action union
action filter_type
action find
entity Alcaudete
relation country
type political territorial entity
action filter_type
action find
entity Wringen
relation country
type political territorial entity
['Alcaudete', 'country', {'concept': 'political territorial entity'}] ['Wringen', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?n ) WHERE { ?d property:country ?s . VALUES ( ?d ) { ( resource:Alcaudete ) ( resource:Wringen ) } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q16194357 Q20180907
P19 P937
Q56061
USER
Which administrative territories are the work locations of Klaus-Peter Wenzel or were Kathy Szeliga born at ?
OR((Q20180907,P937,c(Q56061)), (Q16194357,P19,c(Q56061)))
action filter_type
action union
action find
entity Q20180907
relation P937
action find
entity Q16194357
relation P19
type Q56061
{'OR': [['Q20180907', 'P937', {'concept': 'Q56061'}], ['Q16194357', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q16194357 property:P19 ?e } UNION { resource:Q20180907 property:P937 ?e } } . ?e rdf:type ontology:Q56061 }
Kathy Szeliga Klaus-Peter Wenzel
action filter_type
action union
action find
entity Klaus-Peter Wenzel
relation work location
action find
entity Kathy Szeliga
relation place of birth
type administrative territorial entity
{'OR': [['Klaus-Peter Wenzel', 'work location', {'concept': 'administrative territorial entity'}], ['Kathy Szeliga', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Kathy_Szeliga property:place_of_birth ?e } UNION { resource:Klaus-Peter_Wenzel property:work_location ?e } } . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q64 Q2814 Q14815 Q5092
SYSTEM
Berlin, Halle (Saale), Weißenfels, Baltimore
Q64 Q2814 Q14815 Q5092
OR((Q20180907,P937,c(Q56061)), (Q16194357,P19,c(Q56061)))
action filter_type
action union
action find
entity Q20180907
relation P937
action find
entity Q16194357
relation P19
type Q56061
[ANSWERS] are the work locations of Klaus-Peter Wenzel or were Kathy Szeliga born at
{'OR': [['Q20180907', 'P937', {'concept': 'Q56061'}], ['Q16194357', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q16194357 property:P19 ?e } UNION { resource:Q20180907 property:P937 ?e } } . ?e rdf:type ontology:Q56061 }
Berlin Halle (Saale) Weißenfels Baltimore
Berlin, Halle (Saale), Weißenfels and Baltimore are the work locations of Klaus-Peter Wenzel or were Kathy Szeliga born at
Berlin Halle (Saale) Weißenfels Baltimore
action filter_type
action union
action find
entity Klaus-Peter Wenzel
relation work location
action find
entity Kathy Szeliga
relation place of birth
type administrative territorial entity
{'OR': [['Klaus-Peter Wenzel', 'work location', {'concept': 'administrative territorial entity'}], ['Kathy Szeliga', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Kathy_Szeliga property:place_of_birth ?e } UNION { resource:Klaus-Peter_Wenzel property:work_location ?e } } . ?e rdf:type ontology:administrative_territorial_entity }
[]
Clarification
Simple Question|Single Entity|Indirect
Q64
P1071
Q15709879
USER
Which artwork series has that administrative territory as its location of final assembly ?
(c(Q15709879),P1071,Q64)
action filter_type
action find_reverse
entity Q64
relation P1071
type Q15709879
[{'concept': 'Q15709879'}, 'P1071', 'Q64']
SELECT DISTINCT ?k WHERE { ?k property:P1071 resource:Q64 . ?k rdf:type ontology:Q15709879 }
Berlin
action filter_type
action find_reverse
entity Berlin
relation location of final assembly
type artwork series
[{'concept': 'artwork series'}, 'location of final assembly', 'Berlin']
SELECT DISTINCT ?k WHERE { ?k property:location_of_final_assembly resource:Berlin . ?k rdf:type ontology:artwork_series }
[]
artwork series
Clarification for simple ques.
Q64
SYSTEM
Did you mean Berlin ?
Q64 Q2814 Q14815 Q5092
(c(Q15709879),P1071,Q64) (c(Q15709879),P1071,Q2814) (c(Q15709879),P1071,Q14815) (c(Q15709879),P1071,Q5092)
[ANSWER]
[{'concept': 'Q15709879'}, 'P1071', 'Q64'] [{'concept': 'Q15709879'}, 'P1071', 'Q2814'] [{'concept': 'Q15709879'}, 'P1071', 'Q14815'] [{'concept': 'Q15709879'}, 'P1071', 'Q5092']
SELECT DISTINCT ?k WHERE { ?k property:P1071 resource:Q64 . ?k rdf:type ontology:Q15709879 }
Berlin Halle (Saale) Weißenfels Baltimore
Did you mean Berlin ?
Berlin
[{'concept': 'artwork series'}, 'location of final assembly', 'Berlin'] [{'concept': 'artwork series'}, 'location of final assembly', 'Halle (Saale)'] [{'concept': 'artwork series'}, 'location of final assembly', 'Weißenfels'] [{'concept': 'artwork series'}, 'location of final assembly', 'Baltimore']
SELECT DISTINCT ?k WHERE { ?k property:location_of_final_assembly resource:Berlin . ?k rdf:type ontology:artwork_series }
[]
Simple Question (Coreferenced)
USER
Yes
(c(Q15709879),P1071,Q64)
[{'concept': 'Q15709879'}, 'P1071', 'Q64']
[{'concept': 'artwork series'}, 'location of final assembly', 'Berlin']
[]
Q18325696
SYSTEM
Contact Ad
Q18325696
(c(Q15709879),P1071,Q64)
action filter_type
action find_reverse
entity Q64
relation P1071
type Q15709879
[ANSWER] has that administrative territory as its location of final assembly
[{'concept': 'Q15709879'}, 'P1071', 'Q64']
SELECT DISTINCT ?k WHERE { ?k property:P1071 resource:Q64 . ?k rdf:type ontology:Q15709879 }
Contact Ad
Contact Ad has that administrative territory as its location of final assembly
Contact Ad
action filter_type
action find_reverse
entity Berlin
relation location of final assembly
type artwork series
[{'concept': 'artwork series'}, 'location of final assembly', 'Berlin']
SELECT DISTINCT ?k WHERE { ?k property:location_of_final_assembly resource:Berlin . ?k rdf:type ontology:artwork_series }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q785888 Q1613282
P47
Q1048835
USER
Which political territories are adjacent to Alcaudete or Moguer ?
OR((Q1613282,P47,c(Q1048835)), (Q785888,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q1613282
relation P47
action find
entity Q785888
relation P47
type Q1048835
{'OR': [['Q1613282', 'P47', {'concept': 'Q1048835'}], ['Q785888', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q1048835 . { ?x property:P47 ?t . VALUES ( ?x ) { ( resource:Q1613282 ) ( resource:Q785888 ) } } }
Moguer Alcaudete
action filter_type
action union
action find
entity Alcaudete
relation shares border with
action find
entity Moguer
relation shares border with
type political territorial entity
{'OR': [['Alcaudete', 'shares border with', {'concept': 'political territorial entity'}], ['Moguer', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:political_territorial_entity . { ?x property:shares_border_with ?t . VALUES ( ?x ) { ( resource:Alcaudete ) ( resource:Moguer ) } } }
[]
political territorial entity
Q339790 Q1611707 Q854403 Q986552 Q301437 Q638181 Q1614539 Q1444174 Q1614522 Q828723
SYSTEM
Fuente-Tójar, Castillo de Locubín, Baena, Luque, Priego de Córdoba, Alcalá la Real, Lucena del Puerto, San Juan del Puerto, Trigueros, Niebla
Q339790 Q1611707 Q854403 Q986552 Q301437 Q638181 Q1614539 Q1444174 Q1614522 Q828723
OR((Q1613282,P47,c(Q1048835)), (Q785888,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q1613282
relation P47
action find
entity Q785888
relation P47
type Q1048835
[ANSWERS] are adjacent to Alcaudete or Moguer
{'OR': [['Q1613282', 'P47', {'concept': 'Q1048835'}], ['Q785888', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q1048835 . { ?x property:P47 ?t . VALUES ( ?x ) { ( resource:Q1613282 ) ( resource:Q785888 ) } } }
Fuente-Tójar Castillo de Locubín Baena Luque Priego de Córdoba Alcalá la Real Lucena del Puerto San Juan del Puerto Trigueros Niebla
Fuente-Tójar, Castillo de Locubín, Baena, Luque, Priego de Córdoba, Alcalá la Real, Lucena del Puerto, San Juan del Puerto, Trigueros and Niebla are adjacent to Alcaudete or Moguer
Fuente-Tójar Castillo de Locubín Baena Luque Priego de Córdoba Alcalá la Real Lucena del Puerto San Juan del Puerto Trigueros Niebla
action filter_type
action union
action find
entity Alcaudete
relation shares border with
action find
entity Moguer
relation shares border with
type political territorial entity
{'OR': [['Alcaudete', 'shares border with', {'concept': 'political territorial entity'}], ['Moguer', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:political_territorial_entity . { ?x property:shares_border_with ?t . VALUES ( ?x ) { ( resource:Alcaudete ) ( resource:Moguer ) } } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q785888
P47
Q1048835 Q56061
USER
How many political territories or administrative territories have a shared border with Moguer ?
(Q785888,P47,c(Q1048835)) (Q785888,P47,c(Q56061))
action count
action union
action filter_type
action find
entity Q785888
relation P47
type Q1048835
action filter_type
action find
entity Q785888
relation P47
type Q56061
['Q785888', 'P47', {'concept': 'Q1048835'}] ['Q785888', 'P47', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { ?c rdf:type ?q . VALUES ( ?q ) { ( ontology:Q1048835 ) ( ontology:Q56061 ) } }
Moguer
action count
action union
action filter_type
action find
entity Moguer
relation shares border with
type political territorial entity
action filter_type
action find
entity Moguer
relation shares border with
type administrative territorial entity
['Moguer', 'shares border with', {'concept': 'political territorial entity'}] ['Moguer', 'shares border with', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { ?c rdf:type ?q . VALUES ( ?q ) { ( ontology:political_territorial_entity ) ( ontology:administrative_territorial_entity ) } }
[]
political territorial entity administrative territorial entity
SYSTEM
7
Q12246 Q1614539 Q736906 Q1444174 Q1614522 Q622030 Q828723
(Q785888,P47,c(Q1048835)) (Q785888,P47,c(Q56061))
action count
action union
action filter_type
action find
entity Q785888
relation P47
type Q1048835
action filter_type
action find
entity Q785888
relation P47
type Q56061
[ANSWER]
['Q785888', 'P47', {'concept': 'Q1048835'}] ['Q785888', 'P47', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { ?c rdf:type ?q . VALUES ( ?q ) { ( ontology:Q1048835 ) ( ontology:Q56061 ) } }
Huelva Lucena del Puerto Almonte San Juan del Puerto Trigueros Palos de la Frontera Niebla
7
action count
action union
action filter_type
action find
entity Moguer
relation shares border with
type political territorial entity
action filter_type
action find
entity Moguer
relation shares border with
type administrative territorial entity
['Moguer', 'shares border with', {'concept': 'political territorial entity'}] ['Moguer', 'shares border with', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { ?c rdf:type ?q . VALUES ( ?q ) { ( ontology:political_territorial_entity ) ( ontology:administrative_territorial_entity ) } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q13149
P206
Q1267889 Q337567 Q1048835
USER
How many political territories are located in the neighbourhood of greater number of waterways or still waterss than Nerja ?
(c(Q1048835),P206,c(Q1267889)|c(Q337567))
action count
action greater
action union
action find_tuple_counts
relation P206
type Q1048835
type Q1267889
action find_tuple_counts
relation P206
type Q1048835
type Q337567
action count
action filter_multi_types
action find
entity Q13149
relation P206
type Q1267889
type Q337567
[{'concept': 'Q1048835'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?i ) AS ?b ) WHERE { VALUES ( ?p ) { ( ontology:Q337567 ) ( ontology:Q1267889 ) } . ?i rdf:type ?p } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { { ?s rdf:type ontology:Q337567 } UNION { ?s rdf:type ontology:Q1267889 } } . resource:Q13149 property:P206 ?s } } . FILTER ( ?b > ?q ) }
Nerja
action count
action greater
action union
action find_tuple_counts
relation located next to body of water
type political territorial entity
type waterway
action find_tuple_counts
relation located next to body of water
type political territorial entity
type still waters
action count
action filter_multi_types
action find
entity Nerja
relation located next to body of water
type waterway
type still waters
[{'concept': 'political territorial entity'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'still waters'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?i ) AS ?b ) WHERE { VALUES ( ?p ) { ( ontology:still_waters ) ( ontology:waterway ) } . ?i rdf:type ?p } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { { ?s rdf:type ontology:still_waters } UNION { ?s rdf:type ontology:waterway } } . resource:Nerja property:located_next_to_body_of_water ?s } } . FILTER ( ?b > ?q ) }
[]
waterway still waters political territorial entity
SYSTEM
19
Q691567 Q1866 Q1470810 Q5065 Q5062 Q5068 Q40 Q898856 Q1823 Q3540 Q5078 Q904566 Q168159 Q109128 Q3586 Q213361 Q42314 Q3906 Q597201
(c(Q1048835),P206,c(Q1267889)|c(Q337567))
action count
action greater
action union
action find_tuple_counts
relation P206
type Q1048835
type Q1267889
action find_tuple_counts
relation P206
type Q1048835
type Q337567
action count
action filter_multi_types
action find
entity Q13149
relation P206
type Q1267889
type Q337567
[ANSWER]
[{'concept': 'Q1048835'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?i ) AS ?b ) WHERE { VALUES ( ?p ) { ( ontology:Q337567 ) ( ontology:Q1267889 ) } . ?i rdf:type ?p } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { { ?s rdf:type ontology:Q337567 } UNION { ?s rdf:type ontology:Q1267889 } } . resource:Q13149 property:P206 ?s } } . FILTER ( ?b > ?q ) }
Les Dirouilles Bangka–Belitung Islands Pierres de Lecq Central Sulawesi Province West Nusa Tenggara North Sulawesi Province Austria Jethou Aceh Banten Province South Sulawesi Brecqhou Anglesey Gwynedd East Java Pembrokeshire Channel Islands Kalimantan Selatan Lake of the Woods, Ontario
19
action count
action greater
action union
action find_tuple_counts
relation located next to body of water
type political territorial entity
type waterway
action find_tuple_counts
relation located next to body of water
type political territorial entity
type still waters
action count
action filter_multi_types
action find
entity Nerja
relation located next to body of water
type waterway
type still waters
[{'concept': 'political territorial entity'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'still waters'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?i ) AS ?b ) WHERE { VALUES ( ?p ) { ( ontology:still_waters ) ( ontology:waterway ) } . ?i rdf:type ?p } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { { ?s rdf:type ontology:still_waters } UNION { ?s rdf:type ontology:waterway } } . resource:Nerja property:located_next_to_body_of_water ?s } } . FILTER ( ?b > ?q ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q119066
P417
Q1445650 Q502895 Q56061
USER
Which administrative territories have adopted greater number of holidays and people as patron saint than Latera ?
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action greater
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q119066
relation P417
type Q1445650
type Q502895
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?n WHERE { VALUES ( ?e ) { ( ontology:Q1445650 ) ( ontology:Q502895 ) } . ?y rdf:type ?e } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { { { ?h rdf:type ontology:Q1445650 } UNION { ?h rdf:type ontology:Q502895 } } . resource:Q119066 property:P417 ?h } } . FILTER ( ?p > ?c ) }
Latera
action greater
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Latera
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?n WHERE { VALUES ( ?e ) { ( ontology:holiday ) ( ontology:common_name ) } . ?y rdf:type ?e } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { { { ?h rdf:type ontology:holiday } UNION { ?h rdf:type ontology:common_name } } . resource:Latera property:patron_saint ?h } } . FILTER ( ?p > ?c ) }
[]
holiday common name administrative territorial entity
Q39519 Q220
SYSTEM
Brinzio, Rome
Q39519 Q220
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action greater
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q119066
relation P417
type Q1445650
type Q502895
[ANSWERS] have adopted greater number of holidays and people as patron saint than Latera
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?n WHERE { VALUES ( ?e ) { ( ontology:Q1445650 ) ( ontology:Q502895 ) } . ?y rdf:type ?e } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { { { ?h rdf:type ontology:Q1445650 } UNION { ?h rdf:type ontology:Q502895 } } . resource:Q119066 property:P417 ?h } } . FILTER ( ?p > ?c ) }
Brinzio Rome
Brinzio and Rome have adopted greater number of holidays and people as patron saint than Latera
Brinzio Rome
action greater
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Latera
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?p ) ?n WHERE { VALUES ( ?e ) { ( ontology:holiday ) ( ontology:common_name ) } . ?y rdf:type ?e } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { { { ?h rdf:type ontology:holiday } UNION { ?h rdf:type ontology:common_name } } . resource:Latera property:patron_saint ?h } } . FILTER ( ?p > ?c ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q1155
P417
Q1445650 Q502895 Q56061
USER
And what about Busto Arsizio?
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action greater
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q1155
relation P417
type Q1445650
type Q502895
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?w WHERE { VALUES ( ?x ) { ( ontology:Q502895 ) ( ontology:Q1445650 ) } . ?r rdf:type ?x } GROUP BY ?w } . FILTER ( ?z > ?u ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) WHERE { { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:Q1445650 ) ( ontology:Q502895 ) } } . resource:Q1155 property:P417 ?t } } }
Busto Arsizio
action greater
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Busto Arsizio
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?w WHERE { VALUES ( ?x ) { ( ontology:common_name ) ( ontology:holiday ) } . ?r rdf:type ?x } GROUP BY ?w } . FILTER ( ?z > ?u ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) WHERE { { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:holiday ) ( ontology:common_name ) } } . resource:Busto_Arsizio property:patron_saint ?t } } }
[]
holiday common name administrative territorial entity
Q39519 Q220
SYSTEM
Brinzio, Rome
Q39519 Q220
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action greater
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q1155
relation P417
type Q1445650
type Q502895
[ANSWERS]
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?w WHERE { VALUES ( ?x ) { ( ontology:Q502895 ) ( ontology:Q1445650 ) } . ?r rdf:type ?x } GROUP BY ?w } . FILTER ( ?z > ?u ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) WHERE { { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:Q1445650 ) ( ontology:Q502895 ) } } . resource:Q1155 property:P417 ?t } } }
Brinzio Rome
Brinzio Rome
action greater
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Busto Arsizio
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?w WHERE { VALUES ( ?x ) { ( ontology:common_name ) ( ontology:holiday ) } . ?r rdf:type ?x } GROUP BY ?w } . FILTER ( ?z > ?u ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?u ) WHERE { { ?t rdf:type ?p . VALUES ( ?p ) { ( ontology:holiday ) ( ontology:common_name ) } } . resource:Busto_Arsizio property:patron_saint ?t } } }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q8678 Q64
P190
Q56061
USER
Which administrative territories are partner towns of Berlin but not Rio de Janeiro ?
AND((Q64,P190,c(Q56061)), NOT((Q8678,P190,c(Q56061))))
action filter_type
action difference
action find
entity Q64
relation P190
action find
entity Q8678
relation P190
type Q56061
{'AND': [['Q64', 'P190', {'concept': 'Q56061'}], {'NOT': [['Q8678', 'P190', {'concept': 'Q56061'}]]}]}
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:Q56061 . resource:Q64 property:P190 ?l . MINUS { resource:Q8678 property:P190 ?l } }
Rio de Janeiro Berlin
action filter_type
action difference
action find
entity Berlin
relation sister city
action find
entity Rio de Janeiro
relation sister city
type administrative territorial entity
{'AND': [['Berlin', 'sister city', {'concept': 'administrative territorial entity'}], {'NOT': [['Rio de Janeiro', 'sister city', {'concept': 'administrative territorial entity'}]]}]}
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:administrative_territorial_entity . resource:Berlin property:sister_city ?l . MINUS { resource:Rio_de_Janeiro property:sister_city ?l } }
[]
administrative territorial entity
Q269 Q3630 Q649 Q239 Q90 Q1781 Q84 Q1490 Q65 Q1085
SYSTEM
Tashkent, Jakarta, Moscow, Brussels, Paris, Budapest, London, Tokyo, Los Angeles, Prague
Q269 Q3630 Q649 Q239 Q90 Q1781 Q84 Q1490 Q65 Q1085
AND((Q64,P190,c(Q56061)), NOT((Q8678,P190,c(Q56061))))
action filter_type
action difference
action find
entity Q64
relation P190
action find
entity Q8678
relation P190
type Q56061
[ANSWERS] are partner towns of Berlin but not Rio de Janeiro
{'AND': [['Q64', 'P190', {'concept': 'Q56061'}], {'NOT': [['Q8678', 'P190', {'concept': 'Q56061'}]]}]}
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:Q56061 . resource:Q64 property:P190 ?l . MINUS { resource:Q8678 property:P190 ?l } }
Tashkent Jakarta Moscow Brussels Paris Budapest London Tokyo Los Angeles Prague
Tashkent, Jakarta, Moscow, Brussels, Paris, Budapest, London, Tokyo, Los Angeles and Prague are partner towns of Berlin but not Rio de Janeiro
Tashkent Jakarta Moscow Brussels Paris Budapest London Tokyo Los Angeles Prague
action filter_type
action difference
action find
entity Berlin
relation sister city
action find
entity Rio de Janeiro
relation sister city
type administrative territorial entity
{'AND': [['Berlin', 'sister city', {'concept': 'administrative territorial entity'}], {'NOT': [['Rio de Janeiro', 'sister city', {'concept': 'administrative territorial entity'}]]}]}
SELECT DISTINCT ?l WHERE { ?l rdf:type ontology:administrative_territorial_entity . resource:Berlin property:sister_city ?l . MINUS { resource:Rio_de_Janeiro property:sister_city ?l } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q2740208
P190
Q56061
USER
Are Severn sister town of those ones ?
(Q2740208,P190,Q269) (Q2740208,P190,Q3630) (Q2740208,P190,Q649) (Q2740208,P190,Q239) (Q2740208,P190,Q90) (Q2740208,P190,Q1781) (Q2740208,P190,Q84) (Q2740208,P190,Q1490) (Q2740208,P190,Q65) (Q2740208,P190,Q1085)
action is_in
entity prev_answer
action find
entity Q2740208
relation P190
['Q2740208', 'P190', 'Q269'] ['Q2740208', 'P190', 'Q3630'] ['Q2740208', 'P190', 'Q649'] ['Q2740208', 'P190', 'Q239'] ['Q2740208', 'P190', 'Q90'] ['Q2740208', 'P190', 'Q1781'] ['Q2740208', 'P190', 'Q84'] ['Q2740208', 'P190', 'Q1490'] ['Q2740208', 'P190', 'Q65'] ['Q2740208', 'P190', 'Q1085']
ASK WHERE { VALUES ( ?e ) { ( resource:Q269 ) ( resource:Q3630 ) ( resource:Q649 ) } . resource:Q2740208 property:P190 ?e }
Severn
action is_in
entity prev_answer
action find
entity Severn
relation sister city
['Severn', 'sister city', 'Tashkent'] ['Severn', 'sister city', 'Jakarta'] ['Severn', 'sister city', 'Moscow'] ['Severn', 'sister city', 'Brussels'] ['Severn', 'sister city', 'Paris'] ['Severn', 'sister city', 'Budapest'] ['Severn', 'sister city', 'London'] ['Severn', 'sister city', 'Tokyo'] ['Severn', 'sister city', 'Los Angeles'] ['Severn', 'sister city', 'Prague']
ASK WHERE { VALUES ( ?e ) { ( resource:Tashkent ) ( resource:Jakarta ) ( resource:Moscow ) } . resource:Severn property:sister_city ?e }
[]
administrative territorial entity
SYSTEM
NO
(Q2740208,P190,Q269) (Q2740208,P190,Q3630) (Q2740208,P190,Q649) (Q2740208,P190,Q239) (Q2740208,P190,Q90) (Q2740208,P190,Q1781) (Q2740208,P190,Q84) (Q2740208,P190,Q1490) (Q2740208,P190,Q65) (Q2740208,P190,Q1085)
action is_in
entity prev_answer
action find
entity Q2740208
relation P190
[ANSWER]
['Q2740208', 'P190', 'Q269'] ['Q2740208', 'P190', 'Q3630'] ['Q2740208', 'P190', 'Q649'] ['Q2740208', 'P190', 'Q239'] ['Q2740208', 'P190', 'Q90'] ['Q2740208', 'P190', 'Q1781'] ['Q2740208', 'P190', 'Q84'] ['Q2740208', 'P190', 'Q1490'] ['Q2740208', 'P190', 'Q65'] ['Q2740208', 'P190', 'Q1085']
ASK WHERE { VALUES ( ?e ) { ( resource:Q269 ) ( resource:Q3630 ) ( resource:Q649 ) } . resource:Q2740208 property:P190 ?e }
No
action is_in
entity prev_answer
action find
entity Severn
relation sister city
['Severn', 'sister city', 'Tashkent'] ['Severn', 'sister city', 'Jakarta'] ['Severn', 'sister city', 'Moscow'] ['Severn', 'sister city', 'Brussels'] ['Severn', 'sister city', 'Paris'] ['Severn', 'sister city', 'Budapest'] ['Severn', 'sister city', 'London'] ['Severn', 'sister city', 'Tokyo'] ['Severn', 'sister city', 'Los Angeles'] ['Severn', 'sister city', 'Prague']
ASK WHERE { VALUES ( ?e ) { ( resource:Tashkent ) ( resource:Jakarta ) ( resource:Moscow ) } . resource:Severn property:sister_city ?e }
[]