Simple Question (Direct)
Simple Question
Q61895
P140
Q879146
USER
Which Christian denomination does Ludwig Kaas correspond to ?
(Q61895,P140,c(Q879146))
action filter_type
action find
entity Q61895
relation P140
type Q879146
['Q61895', 'P140', {'concept': 'Q879146'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q879146 . resource:Q61895 property:P140 ?f }
Ludwig Kaas
action filter_type
action find
entity Ludwig Kaas
relation religion
type Christian denomination
['Ludwig Kaas', 'religion', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Christian_denomination . resource:Ludwig_Kaas property:religion ?f }
[]
Christian denomination
Q9592
SYSTEM
Roman Catholic Church
Q9592
(Q61895,P140,c(Q879146))
action filter_type
action find
entity Q61895
relation P140
type Q879146
Ludwig Kaas corresponds à [ANSWER]
['Q61895', 'P140', {'concept': 'Q879146'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q879146 . resource:Q61895 property:P140 ?f }
Roman Catholic Church
Ludwig Kaas corresponds à Roman Catholic Church
Roman Catholic Church
action filter_type
action find
entity Ludwig Kaas
relation religion
type Christian denomination
['Ludwig Kaas', 'religion', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Christian_denomination . resource:Ludwig_Kaas property:religion ?f }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q61895
P20
Q56061
USER
Where did Ludwig Kaas expire ?
(Q61895,P20,c(Q56061))
action filter_type
action find
entity Q61895
relation P20
type Q56061
['Q61895', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q56061 . resource:Q61895 property:P20 ?s }
Ludwig Kaas
action filter_type
action find
entity Ludwig Kaas
relation place of death
type administrative territorial entity
['Ludwig Kaas', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:administrative_territorial_entity . resource:Ludwig_Kaas property:place_of_death ?s }
[]
administrative territorial entity
Q220
SYSTEM
Rome
Q220
(Q61895,P20,c(Q56061))
action filter_type
action find
entity Q61895
relation P20
type Q56061
Ludwig Kaas expired in [ANSWER]
['Q61895', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q56061 . resource:Q61895 property:P20 ?s }
Rome
Ludwig Kaas expired in Rome
Rome
action filter_type
action find
entity Ludwig Kaas
relation place of death
type administrative territorial entity
['Ludwig Kaas', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:administrative_territorial_entity . resource:Ludwig_Kaas property:place_of_death ?s }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q220 Q277573 Q242926
P47
Q15617994
USER
Does Ferrazzano and Marino, Lazio share a border with Q220 ?
(Q220,P47,Q277573) (Q220,P47,Q242926)
action is_in
entity Q220
action intersection
action find_reverse
entity Q277573
relation P47
action find_reverse
entity Q242926
relation P47
['Q220', 'P47', 'Q277573'] ['Q220', 'P47', 'Q242926']
ASK WHERE { resource:Q220 property:P47 resource:Q277573 . resource:Q220 property:P47 resource:Q242926 }
Rome Ferrazzano Marino, Lazio
action is_in
entity Rome
action intersection
action find_reverse
entity Ferrazzano
relation shares border with
action find_reverse
entity Marino, Lazio
relation shares border with
['Rome', 'shares border with', 'Ferrazzano'] ['Rome', 'shares border with', 'Marino, Lazio']
ASK WHERE { resource:Rome property:shares_border_with resource:Ferrazzano . resource:Rome property:shares_border_with resource:Marino,_Lazio }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q220,P47,Q277573) (Q220,P47,Q242926)
action is_in
entity Q220
action intersection
action find_reverse
entity Q277573
relation P47
action find_reverse
entity Q242926
relation P47
[ANSWER]
['Q220', 'P47', 'Q277573'] ['Q220', 'P47', 'Q242926']
ASK WHERE { resource:Q220 property:P47 resource:Q277573 . resource:Q220 property:P47 resource:Q242926 }
NO and YES respectively
action is_in
entity Rome
action intersection
action find_reverse
entity Ferrazzano
relation shares border with
action find_reverse
entity Marino, Lazio
relation shares border with
['Rome', 'shares border with', 'Ferrazzano'] ['Rome', 'shares border with', 'Marino, Lazio']
ASK WHERE { resource:Rome property:shares_border_with resource:Ferrazzano . resource:Rome property:shares_border_with resource:Marino,_Lazio }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q61895 Q12676062 Q64
P937
Q56061
USER
Does Ludwig Kaas have Vadžgirys and Berlin as their work location ?
(Q61895,P937,Q12676062) (Q61895,P937,Q64)
action is_in
entity Q61895
action intersection
action find_reverse
entity Q12676062
relation P937
action find_reverse
entity Q64
relation P937
['Q61895', 'P937', 'Q12676062'] ['Q61895', 'P937', 'Q64']
ASK WHERE { resource:Q61895 property:P937 resource:Q64 . resource:Q61895 property:P937 resource:Q12676062 }
Ludwig Kaas Vadžgirys Berlin
action is_in
entity Ludwig Kaas
action intersection
action find_reverse
entity Vadžgirys
relation work location
action find_reverse
entity Berlin
relation work location
['Ludwig Kaas', 'work location', 'Vadžgirys'] ['Ludwig Kaas', 'work location', 'Berlin']
ASK WHERE { resource:Ludwig_Kaas property:work_location resource:Berlin . resource:Ludwig_Kaas property:work_location resource:Vadžgirys }
[]
administrative territorial entity
SYSTEM
NO and YES respectively
(Q61895,P937,Q12676062) (Q61895,P937,Q64)
action is_in
entity Q61895
action intersection
action find_reverse
entity Q12676062
relation P937
action find_reverse
entity Q64
relation P937
[ANSWER]
['Q61895', 'P937', 'Q12676062'] ['Q61895', 'P937', 'Q64']
ASK WHERE { resource:Q61895 property:P937 resource:Q64 . resource:Q61895 property:P937 resource:Q12676062 }
NO and YES respectively
action is_in
entity Ludwig Kaas
action intersection
action find_reverse
entity Vadžgirys
relation work location
action find_reverse
entity Berlin
relation work location
['Ludwig Kaas', 'work location', 'Vadžgirys'] ['Ludwig Kaas', 'work location', 'Berlin']
ASK WHERE { resource:Ludwig_Kaas property:work_location resource:Berlin . resource:Ludwig_Kaas property:work_location resource:Vadžgirys }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q61895
P106
Q12737077
USER
How many occupations have Ludwig Kaas as his/her as a career ?
(Q61895,P106,c(Q12737077))
action count
action filter_type
action find
entity Q61895
relation P106
type Q12737077
['Q61895', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { resource:Q61895 property:P106 ?v . ?v rdf:type ontology:Q12737077 }
Ludwig Kaas
action count
action filter_type
action find
entity Ludwig Kaas
relation occupation
type occupation
['Ludwig Kaas', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { resource:Ludwig_Kaas property:occupation ?v . ?v rdf:type ontology:occupation }
[]
occupation
SYSTEM
4
Q1234713 Q82955 Q1622272 Q250867
(Q61895,P106,c(Q12737077))
action count
action filter_type
action find
entity Q61895
relation P106
type Q12737077
[ANSWER]
['Q61895', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { resource:Q61895 property:P106 ?v . ?v rdf:type ontology:Q12737077 }
theologian politician university teacher Catholic priest
4
action count
action filter_type
action find
entity Ludwig Kaas
relation occupation
type occupation
['Ludwig Kaas', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { resource:Ludwig_Kaas property:occupation ?v . ?v rdf:type ontology:occupation }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q21070947
Q12737077
USER
And how about Andrew Spence?
(Q21070947,P106,c(Q12737077))
action count
action filter_type
action find
entity Q21070947
relation P106
type Q12737077
['Q21070947', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { ?b rdf:type ontology:Q12737077 . resource:Q21070947 property:P106 ?b }
Andrew Spence
action count
action filter_type
action find
entity Andrew Spence
relation occupation
type occupation
['Andrew Spence', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { ?b rdf:type ontology:occupation . resource:Andrew_Spence property:occupation ?b }
[]
occupation
SYSTEM
1
(Q21070947,P106,c(Q12737077))
action count
action filter_type
action find
entity Q21070947
relation P106
type Q12737077
[ANSWER]
['Q21070947', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { ?b rdf:type ontology:Q12737077 . resource:Q21070947 property:P106 ?b }
1
action count
action filter_type
action find
entity Andrew Spence
relation occupation
type occupation
['Andrew Spence', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { ?b rdf:type ontology:occupation . resource:Andrew_Spence property:occupation ?b }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q220
P291
Q625994 Q49848
USER
How many conventions and documents have Rome as their publication location ?
(c(Q625994),P291,Q220) (c(Q49848),P291,Q220)
action count
action union
action filter_type
action find_reverse
entity Q220
relation P291
type Q625994
action filter_type
action find_reverse
entity Q220
relation P291
type Q49848
[{'concept': 'Q625994'}, 'P291', 'Q220'] [{'concept': 'Q49848'}, 'P291', 'Q220']
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { ?a rdf:type ?y . VALUES ( ?y ) { ( ontology:Q49848 ) ( ontology:Q625994 ) } }
Rome
action count
action union
action filter_type
action find_reverse
entity Rome
relation place of publication
type convention
action filter_type
action find_reverse
entity Rome
relation place of publication
type document
[{'concept': 'convention'}, 'place of publication', 'Rome'] [{'concept': 'document'}, 'place of publication', 'Rome']
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { ?a rdf:type ?y . VALUES ( ?y ) { ( ontology:document ) ( ontology:convention ) } }
[]
convention document
SYSTEM
1 conventions and 1 documents
Q19796716 Q27074750
(c(Q625994),P291,Q220) (c(Q49848),P291,Q220)
action count
action union
action filter_type
action find_reverse
entity Q220
relation P291
type Q625994
action filter_type
action find_reverse
entity Q220
relation P291
type Q49848
[ANSWER]
[{'concept': 'Q625994'}, 'P291', 'Q220'] [{'concept': 'Q49848'}, 'P291', 'Q220']
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { ?a rdf:type ?y . VALUES ( ?y ) { ( ontology:Q49848 ) ( ontology:Q625994 ) } }
Cosmographia Second Advanced Encryption Standard (AES) Candidate Conference
1 conventions and 1 documents
action count
action union
action filter_type
action find_reverse
entity Rome
relation place of publication
type convention
action filter_type
action find_reverse
entity Rome
relation place of publication
type document
[{'concept': 'convention'}, 'place of publication', 'Rome'] [{'concept': 'document'}, 'place of publication', 'Rome']
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { ?a rdf:type ?y . VALUES ( ?y ) { ( ontology:document ) ( ontology:convention ) } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1379849
P361
Q879146 Q12737077 Q2342494
USER
Which Christian denominations are around the same number of occupations and collectables a part of as Evangelical Lutheran Church of Finland ?
(c(Q12737077)|c(Q2342494),P361,c(Q879146))
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q12737077
action find_reverse_tuple_counts
relation P361
type Q879146
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q1379849
relation P361
type Q12737077
type Q2342494
[[{'concept': 'Q12737077'}, {'concept': 'Q2342494'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { { { ?f rdf:type ontology:Q2342494 } UNION { ?f rdf:type ontology:Q12737077 } } . ?f property:P361 resource:Q1379849 } } . FILTER ( ?c = ?g ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?c ) ?v WHERE { VALUES ( ?s ) { ( ontology:Q12737077 ) ( ontology:Q2342494 ) } . ?l rdf:type ?s } GROUP BY ?v } }
Evangelical Lutheran Church of Finland
action approx
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type occupation
action find_reverse_tuple_counts
relation part of
type Christian denomination
type collectable
action count
action filter_multi_types
action find_reverse
entity Evangelical Lutheran Church of Finland
relation part of
type occupation
type collectable
[[{'concept': 'occupation'}, {'concept': 'collectable'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { { { ?f rdf:type ontology:collectable } UNION { ?f rdf:type ontology:occupation } } . ?f property:part_of resource:Evangelical_Lutheran_Church_of_Finland } } . FILTER ( ?c = ?g ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?c ) ?v WHERE { VALUES ( ?s ) { ( ontology:occupation ) ( ontology:collectable ) } . ?l rdf:type ?s } GROUP BY ?v } }
[]
Christian denomination occupation collectable
Q752470 Q1379849 Q1089788
SYSTEM
Finnish Orthodox Church, Evangelical Lutheran Church of Finland, Church in Wales
Q682443 Q666860 Q752470 Q346575 Q749243 Q540782 Q922480 Q1089788 Q170111 Q1379849
(c(Q12737077)|c(Q2342494),P361,c(Q879146))
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q12737077
action find_reverse_tuple_counts
relation P361
type Q879146
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q1379849
relation P361
type Q12737077
type Q2342494
[ANSWERS] are around the same number of occupations and collectables a part of as Evangelical Lutheran Church of Finland
[[{'concept': 'Q12737077'}, {'concept': 'Q2342494'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { { { ?f rdf:type ontology:Q2342494 } UNION { ?f rdf:type ontology:Q12737077 } } . ?f property:P361 resource:Q1379849 } } . FILTER ( ?c = ?g ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?c ) ?v WHERE { VALUES ( ?s ) { ( ontology:Q12737077 ) ( ontology:Q2342494 ) } . ?l rdf:type ?s } GROUP BY ?v } }
Episcopal Church Church of Norway Finnish Orthodox Church Evangelical Church Church of Sweden Anglican Church of Canada Church of Scotland Church in Wales Evangelical Church in Germany Evangelical Lutheran Church of Finland
Finnish Orthodox Church, Evangelical Lutheran Church of Finland and Church in Wales are around the same number of occupations and collectables a part of as Evangelical Lutheran Church of Finland
Finnish Orthodox Church Evangelical Lutheran Church of Finland Church in Wales
action approx
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type occupation
action find_reverse_tuple_counts
relation part of
type Christian denomination
type collectable
action count
action filter_multi_types
action find_reverse
entity Evangelical Lutheran Church of Finland
relation part of
type occupation
type collectable
[[{'concept': 'occupation'}, {'concept': 'collectable'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { { { ?f rdf:type ontology:collectable } UNION { ?f rdf:type ontology:occupation } } . ?f property:part_of resource:Evangelical_Lutheran_Church_of_Finland } } . FILTER ( ?c = ?g ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?c ) ?v WHERE { VALUES ( ?s ) { ( ontology:occupation ) ( ontology:collectable ) } . ?l rdf:type ?s } GROUP BY ?v } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q170111
P361
Q879146 Q12737077 Q2342494
USER
And also tell me about Evangelical Church in Germany?
(c(Q12737077)|c(Q2342494),P361,c(Q879146))
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q12737077
action find_reverse_tuple_counts
relation P361
type Q879146
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q170111
relation P361
type Q12737077
type Q2342494
[[{'concept': 'Q12737077'}, {'concept': 'Q2342494'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) ?h WHERE { ?v rdf:type ?x . VALUES ( ?x ) { ( ontology:Q12737077 ) ( ontology:Q2342494 ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?t ) WHERE { ?o property:P361 resource:Q170111 . { { ?o rdf:type ontology:Q12737077 } UNION { ?o rdf:type ontology:Q2342494 } } } } . FILTER ( ?y = ?t ) }
Evangelical Church in Germany
action approx
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type occupation
action find_reverse_tuple_counts
relation part of
type Christian denomination
type collectable
action count
action filter_multi_types
action find_reverse
entity Evangelical Church in Germany
relation part of
type occupation
type collectable
[[{'concept': 'occupation'}, {'concept': 'collectable'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) ?h WHERE { ?v rdf:type ?x . VALUES ( ?x ) { ( ontology:occupation ) ( ontology:collectable ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?t ) WHERE { ?o property:part_of resource:Evangelical_Church_in_Germany . { { ?o rdf:type ontology:occupation } UNION { ?o rdf:type ontology:collectable } } } } . FILTER ( ?y = ?t ) }
[]
Christian denomination occupation collectable
Q752470 Q1379849 Q1089788
SYSTEM
Finnish Orthodox Church, Evangelical Lutheran Church of Finland, Church in Wales
Q682443 Q666860 Q752470 Q346575 Q749243 Q540782 Q922480 Q1089788 Q170111 Q1379849
(c(Q12737077)|c(Q2342494),P361,c(Q879146))
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q12737077
action find_reverse_tuple_counts
relation P361
type Q879146
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q170111
relation P361
type Q12737077
type Q2342494
[ANSWERS]
[[{'concept': 'Q12737077'}, {'concept': 'Q2342494'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) ?h WHERE { ?v rdf:type ?x . VALUES ( ?x ) { ( ontology:Q12737077 ) ( ontology:Q2342494 ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?t ) WHERE { ?o property:P361 resource:Q170111 . { { ?o rdf:type ontology:Q12737077 } UNION { ?o rdf:type ontology:Q2342494 } } } } . FILTER ( ?y = ?t ) }
Episcopal Church Church of Norway Finnish Orthodox Church Evangelical Church Church of Sweden Anglican Church of Canada Church of Scotland Church in Wales Evangelical Church in Germany Evangelical Lutheran Church of Finland
Finnish Orthodox Church Evangelical Lutheran Church of Finland Church in Wales
action approx
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type occupation
action find_reverse_tuple_counts
relation part of
type Christian denomination
type collectable
action count
action filter_multi_types
action find_reverse
entity Evangelical Church in Germany
relation part of
type occupation
type collectable
[[{'concept': 'occupation'}, {'concept': 'collectable'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) ?h WHERE { ?v rdf:type ?x . VALUES ( ?x ) { ( ontology:occupation ) ( ontology:collectable ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?t ) WHERE { ?o property:part_of resource:Evangelical_Church_in_Germany . { { ?o rdf:type ontology:occupation } UNION { ?o rdf:type ontology:collectable } } } } . FILTER ( ?y = ?t ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P361
Q879146 Q44539 Q43229
USER
Which Christian denominations are min number of temples and organizations a component of ?
(c(Q44539)|c(Q43229),P361,c(Q879146))
action argmin
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q44539
action find_reverse_tuple_counts
relation P361
type Q879146
type Q43229
[[{'concept': 'Q44539'}, {'concept': 'Q43229'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?p ) AS ?s ) WHERE { { ?p property:P361 ?v . ?v rdf:type ontology:Q879146 . ?p rdf:type ontology:Q43229 } UNION { ?v rdf:type ontology:Q879146 . ?p rdf:type ontology:Q44539 . ?p property:P361 ?v } } GROUP BY ?v } . FILTER ( ?s = ?n ) . { SELECT DISTINCT ( MIN ( ?g ) AS ?n ) { SELECT DISTINCT ?q ( COUNT ( ?f ) AS ?g ) WHERE { { ?f property:P361 ?q . ?f rdf:type ontology:Q44539 . ?q rdf:type ontology:Q879146 } UNION { ?q rdf:type ontology:Q879146 . ?f rdf:type ontology:Q43229 . ?f property:P361 ?q } } GROUP BY ?q } } }
action argmin
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type temple
action find_reverse_tuple_counts
relation part of
type Christian denomination
type organization
[[{'concept': 'temple'}, {'concept': 'organization'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?p ) AS ?s ) WHERE { { ?p property:part_of ?v . ?v rdf:type ontology:Christian_denomination . ?p rdf:type ontology:organization } UNION { ?v rdf:type ontology:Christian_denomination . ?p rdf:type ontology:temple . ?p property:part_of ?v } } GROUP BY ?v } . FILTER ( ?s = ?n ) . { SELECT DISTINCT ( MIN ( ?g ) AS ?n ) { SELECT DISTINCT ?q ( COUNT ( ?f ) AS ?g ) WHERE { { ?f property:part_of ?q . ?f rdf:type ontology:temple . ?q rdf:type ontology:Christian_denomination } UNION { ?q rdf:type ontology:Christian_denomination . ?f rdf:type ontology:organization . ?f property:part_of ?q } } GROUP BY ?q } } }
[]
Christian denomination temple organization
Q752470 Q82708 Q1089788
SYSTEM
Finnish Orthodox Church, Church of England, Church in Wales
Q666860 Q752470 Q346575 Q540782 Q82708 Q922480 Q1089788
(c(Q44539)|c(Q43229),P361,c(Q879146))
action argmin
action union
action find_reverse_tuple_counts
relation P361
type Q879146
type Q44539
action find_reverse_tuple_counts
relation P361
type Q879146
type Q43229
Are min number of temples and organizations a component of the [ANSWERS]
[[{'concept': 'Q44539'}, {'concept': 'Q43229'}], 'P361', {'concept': 'Q879146'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?p ) AS ?s ) WHERE { { ?p property:P361 ?v . ?v rdf:type ontology:Q879146 . ?p rdf:type ontology:Q43229 } UNION { ?v rdf:type ontology:Q879146 . ?p rdf:type ontology:Q44539 . ?p property:P361 ?v } } GROUP BY ?v } . FILTER ( ?s = ?n ) . { SELECT DISTINCT ( MIN ( ?g ) AS ?n ) { SELECT DISTINCT ?q ( COUNT ( ?f ) AS ?g ) WHERE { { ?f property:P361 ?q . ?f rdf:type ontology:Q44539 . ?q rdf:type ontology:Q879146 } UNION { ?q rdf:type ontology:Q879146 . ?f rdf:type ontology:Q43229 . ?f property:P361 ?q } } GROUP BY ?q } } }
Church of Norway Finnish Orthodox Church Evangelical Church Anglican Church of Canada Church of England Church of Scotland Church in Wales
Are min number of temples and organizations a component of the Finnish Orthodox Church, Church of England and Church in Wales
Finnish Orthodox Church Church of England Church in Wales
action argmin
action union
action find_reverse_tuple_counts
relation part of
type Christian denomination
type temple
action find_reverse_tuple_counts
relation part of
type Christian denomination
type organization
[[{'concept': 'temple'}, {'concept': 'organization'}], 'part of', {'concept': 'Christian denomination'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?p ) AS ?s ) WHERE { { ?p property:part_of ?v . ?v rdf:type ontology:Christian_denomination . ?p rdf:type ontology:organization } UNION { ?v rdf:type ontology:Christian_denomination . ?p rdf:type ontology:temple . ?p property:part_of ?v } } GROUP BY ?v } . FILTER ( ?s = ?n ) . { SELECT DISTINCT ( MIN ( ?g ) AS ?n ) { SELECT DISTINCT ?q ( COUNT ( ?f ) AS ?g ) WHERE { { ?f property:part_of ?q . ?f rdf:type ontology:temple . ?q rdf:type ontology:Christian_denomination } UNION { ?q rdf:type ontology:Christian_denomination . ?f rdf:type ontology:organization . ?f property:part_of ?q } } GROUP BY ?q } } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q15449194 Q61895
P937
Q56061
USER
Which administrative territories are the work locations of Ludwig Kaas or Adam Franz Xaver Roggenbach ?
OR((Q61895,P937,c(Q56061)), (Q15449194,P937,c(Q56061)))
action filter_type
action union
action find
entity Q61895
relation P937
action find
entity Q15449194
relation P937
type Q56061
{'OR': [['Q61895', 'P937', {'concept': 'Q56061'}], ['Q15449194', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q61895 property:P937 ?l } UNION { resource:Q15449194 property:P937 ?l } } . ?l rdf:type ontology:Q56061 }
Adam Franz Xaver Roggenbach Ludwig Kaas
action filter_type
action union
action find
entity Ludwig Kaas
relation work location
action find
entity Adam Franz Xaver Roggenbach
relation work location
type administrative territorial entity
{'OR': [['Ludwig Kaas', 'work location', {'concept': 'administrative territorial entity'}], ['Adam Franz Xaver Roggenbach', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Ludwig_Kaas property:work_location ?l } UNION { resource:Adam_Franz_Xaver_Roggenbach property:work_location ?l } } . ?l rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q64 Q532167
SYSTEM
Berlin, Mahlberg
Q64 Q532167
OR((Q61895,P937,c(Q56061)), (Q15449194,P937,c(Q56061)))
action filter_type
action union
action find
entity Q61895
relation P937
action find
entity Q15449194
relation P937
type Q56061
[ANSWERS] are the work locations of Ludwig Kaas or Adam Franz Xaver Roggenbach
{'OR': [['Q61895', 'P937', {'concept': 'Q56061'}], ['Q15449194', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q61895 property:P937 ?l } UNION { resource:Q15449194 property:P937 ?l } } . ?l rdf:type ontology:Q56061 }
Berlin Mahlberg
Berlin and Mahlberg are the work locations of Ludwig Kaas or Adam Franz Xaver Roggenbach
Berlin Mahlberg
action filter_type
action union
action find
entity Ludwig Kaas
relation work location
action find
entity Adam Franz Xaver Roggenbach
relation work location
type administrative territorial entity
{'OR': [['Ludwig Kaas', 'work location', {'concept': 'administrative territorial entity'}], ['Adam Franz Xaver Roggenbach', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Ludwig_Kaas property:work_location ?l } UNION { resource:Adam_Franz_Xaver_Roggenbach property:work_location ?l } } . ?l rdf:type ontology:administrative_territorial_entity }
[]
Clarification
Quantitative|Count|Single entity type|Indirect
P19
Q502895
USER
How many people have birthplace at that administrative territory ?
(c(Q502895),P19,Q532167)
[{'concept': 'Q502895'}, 'P19', 'Q532167']
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { ?z property:Q1322263 resource:Q1210111 . ?z rdf:type ontology:Q502895 }
[{'concept': 'common name'}, 'place of birth', 'Mahlberg']
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { ?z property:place_of_birth resource:Mahlberg . ?z rdf:type ontology:common_name }
[]
common name
Quantitative|Count|Single entity type|Clarification
Q64
SYSTEM
Did you mean Berlin ?
(c(Q502895),P19,Q64) (c(Q502895),P19,Q532167)
[ANSWER]
[{'concept': 'Q502895'}, 'P19', 'Q64'] [{'concept': 'Q502895'}, 'P19', 'Q532167']
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { ?z property:Q1322263 resource:Q1210111 . ?z rdf:type ontology:Q502895 }
Did you mean Berlin ?
Berlin
[{'concept': 'common name'}, 'place of birth', 'Berlin'] [{'concept': 'common name'}, 'place of birth', 'Mahlberg']
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { ?z property:place_of_birth resource:Mahlberg . ?z rdf:type ontology:common_name }
[]
Quantitative Reasoning (Count) (All)
USER
No, I meant Mahlberg. Could you tell me the answer for that?
(c(Q502895),P19,Q532167)
Q532167
[{'concept': 'Q502895'}, 'P19', 'Q532167']
[{'concept': 'common name'}, 'place of birth', 'Mahlberg']
[]
SYSTEM
3
Q1732035 Q869762 Q1448775
(c(Q502895),P19,Q532167)
[ANSWER]
[{'concept': 'Q502895'}, 'P19', 'Q532167']
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { ?z property:Q1322263 resource:Q1210111 . ?z rdf:type ontology:Q502895 }
Karl Kromer Friedrich von Blittersdorff Franz Rost
3
[{'concept': 'common name'}, 'place of birth', 'Mahlberg']
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { ?z property:place_of_birth resource:Mahlberg . ?z rdf:type ontology:common_name }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q24027428
P532
Q56061 Q2235308
USER
How many ship types have greater number of administrative territories as their base harbour than Swallow ?
(c(Q2235308),P532,c(Q56061))
action count
action greater
action find_tuple_counts
relation P532
type Q2235308
type Q56061
action count
action filter_type
action find
entity Q24027428
relation P532
type Q2235308
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?l ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?i ) AS ?k ) WHERE { ?q rdf:type ontology:Q2235308 . ?i rdf:type ontology:Q56061 . ?q property:P532 ?i } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { ?b rdf:type ontology:Q2235308 . resource:Q24027428 property:P532 ?b } } . FILTER ( ?k > ?d ) }
Swallow
action count
action greater
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
action count
action filter_type
action find
entity Swallow
relation port of registry
type ship type
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?l ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?i ) AS ?k ) WHERE { ?q rdf:type ontology:ship_type . ?i rdf:type ontology:administrative_territorial_entity . ?q property:port_of_registry ?i } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { ?b rdf:type ontology:ship_type . resource:Swallow property:port_of_registry ?b } } . FILTER ( ?k > ?d ) }
[]
administrative territorial entity ship type
SYSTEM
70
Q2992316 Q2301456 Q983141 Q133606 Q26988086 Q168474 Q300311 Q20489530 Q5338632 Q7499755 Q2124429 Q1293488 Q1017179 Q7120838 Q7393546 Q25173 Q14493958 Q18128240 Q664284 Q26988094 Q21196329 Q10659251 Q477173 Q130373 Q19608222 Q11707059 Q1026780 Q22342351 Q15662618 Q33209 Q1514518 Q2596850 Q16854668 Q1325547 Q761593 Q26883829 Q2124449 Q778649 Q3952367 Q11705702 Q24039469 Q751584 Q6930211 Q16629249 Q497065 Q3053251 Q468026 Q1439419 Q23579589 Q4686475 Q26987769 Q11891639 Q321007 Q6720006 Q741803 Q338340 Q7120888 Q215692 Q917188 Q18213370 Q1129910 Q2714360 Q16852551 Q1514126 Q18711004 Q1339472 Q3558075 Q192381 Q493616 Q35462
(c(Q2235308),P532,c(Q56061))
action count
action greater
action find_tuple_counts
relation P532
type Q2235308
type Q56061
action count
action filter_type
action find
entity Q24027428
relation P532
type Q2235308
[ANSWER]
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?l ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?i ) AS ?k ) WHERE { ?q rdf:type ontology:Q2235308 . ?i rdf:type ontology:Q56061 . ?q property:P532 ?i } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { ?b rdf:type ontology:Q2235308 . resource:Q24027428 property:P532 ?b } } . FILTER ( ?k > ?d ) }
HSC Condor Rapide MS Viking XPRS MY Sam Simon MS Star Meteora MV Arctic Sunrise A MS Harmony of the Seas Edith Mærsk Shoalway RMS Samaria MV Esperanza SS Burutu PS Empress Queen SS Empire Airman RMS Titanic Mærsk Mc-Kinney Møller MS Quantum of the Seas Pioneering Spirit Emma Victory SS Argentina S/S Drottningholm Emma Mærsk Admiral Makarov HSC Condor Liberation MS Arrow SS California Modern Express Djurgården 8 Mary Celeste Sapphire Princess MS Azura Mein Schiff 4 MT Mastera CMA CGM Marco Polo VOS Sympathy RMS St Helena Eclipse MS Norman Atlantic MV Ascension HSC Highspeed 5 MS Express Samina msy Wind Song Varnek (ship, 1974-2010) MV Baltic Ace Empire Sandy SS Maxim Gorkiy Vitus Bering MV Christinaki Adventure British Explorer SS Coccolita RMS Olympic MV Royal Daffodil RMS Mauretania MV Boudicca SS Prince of Wales HMHS Britannic MS Brilliance of the Seas Anthem of the Seas SS Potsdam MS Empress MS Epsilon MS Marco Polo MV Hoegh Osaka RMS Empress of Ireland Vieux Crabe MS Oasis of the Seas Royal Clipper RMS Aquitania
70
action count
action greater
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
action count
action filter_type
action find
entity Swallow
relation port of registry
type ship type
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?l ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?i ) AS ?k ) WHERE { ?q rdf:type ontology:ship_type . ?i rdf:type ontology:administrative_territorial_entity . ?q property:port_of_registry ?i } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { ?b rdf:type ontology:ship_type . resource:Swallow property:port_of_registry ?b } } . FILTER ( ?k > ?d ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Incomplete
Q24027478
P532
Q56061 Q2235308
USER
And how about Raymond?
(c(Q2235308),P532,c(Q56061))
action count
action greater
action find_tuple_counts
relation P532
type Q2235308
type Q56061
action count
action filter_type
action find
entity Q24027478
relation P532
type Q2235308
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?a ) WHERE { ?b property:P532 ?k . ?k rdf:type ontology:Q56061 . ?b rdf:type ontology:Q2235308 } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { ?x rdf:type ontology:Q2235308 . resource:Q24027478 property:P532 ?x } } . FILTER ( ?a > ?h ) }
Raymond
action count
action greater
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
action count
action filter_type
action find
entity Raymond
relation port of registry
type ship type
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?a ) WHERE { ?b property:port_of_registry ?k . ?k rdf:type ontology:administrative_territorial_entity . ?b rdf:type ontology:ship_type } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { ?x rdf:type ontology:ship_type . resource:Raymond property:port_of_registry ?x } } . FILTER ( ?a > ?h ) }
[]
administrative territorial entity ship type
SYSTEM
70
Q2992316 Q2301456 Q983141 Q133606 Q26988086 Q168474 Q300311 Q20489530 Q5338632 Q7499755 Q2124429 Q1293488 Q1017179 Q7120838 Q7393546 Q25173 Q14493958 Q18128240 Q664284 Q26988094 Q21196329 Q10659251 Q477173 Q130373 Q19608222 Q11707059 Q1026780 Q22342351 Q15662618 Q33209 Q1514518 Q2596850 Q16854668 Q1325547 Q761593 Q26883829 Q2124449 Q778649 Q3952367 Q11705702 Q24039469 Q751584 Q6930211 Q16629249 Q497065 Q3053251 Q468026 Q1439419 Q23579589 Q4686475 Q26987769 Q11891639 Q321007 Q6720006 Q741803 Q338340 Q7120888 Q215692 Q917188 Q18213370 Q1129910 Q2714360 Q16852551 Q1514126 Q18711004 Q1339472 Q3558075 Q192381 Q493616 Q35462
(c(Q2235308),P532,c(Q56061))
action count
action greater
action find_tuple_counts
relation P532
type Q2235308
type Q56061
action count
action filter_type
action find
entity Q24027478
relation P532
type Q2235308
[ANSWER]
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?a ) WHERE { ?b property:P532 ?k . ?k rdf:type ontology:Q56061 . ?b rdf:type ontology:Q2235308 } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { ?x rdf:type ontology:Q2235308 . resource:Q24027478 property:P532 ?x } } . FILTER ( ?a > ?h ) }
HSC Condor Rapide MS Viking XPRS MY Sam Simon MS Star Meteora MV Arctic Sunrise A MS Harmony of the Seas Edith Mærsk Shoalway RMS Samaria MV Esperanza SS Burutu PS Empress Queen SS Empire Airman RMS Titanic Mærsk Mc-Kinney Møller MS Quantum of the Seas Pioneering Spirit Emma Victory SS Argentina S/S Drottningholm Emma Mærsk Admiral Makarov HSC Condor Liberation MS Arrow SS California Modern Express Djurgården 8 Mary Celeste Sapphire Princess MS Azura Mein Schiff 4 MT Mastera CMA CGM Marco Polo VOS Sympathy RMS St Helena Eclipse MS Norman Atlantic MV Ascension HSC Highspeed 5 MS Express Samina msy Wind Song Varnek (ship, 1974-2010) MV Baltic Ace Empire Sandy SS Maxim Gorkiy Vitus Bering MV Christinaki Adventure British Explorer SS Coccolita RMS Olympic MV Royal Daffodil RMS Mauretania MV Boudicca SS Prince of Wales HMHS Britannic MS Brilliance of the Seas Anthem of the Seas SS Potsdam MS Empress MS Epsilon MS Marco Polo MV Hoegh Osaka RMS Empress of Ireland Vieux Crabe MS Oasis of the Seas Royal Clipper RMS Aquitania
70
action count
action greater
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
action count
action filter_type
action find
entity Raymond
relation port of registry
type ship type
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?k ) AS ?a ) WHERE { ?b property:port_of_registry ?k . ?k rdf:type ontology:administrative_territorial_entity . ?b rdf:type ontology:ship_type } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) WHERE { ?x rdf:type ontology:ship_type . resource:Raymond property:port_of_registry ?x } } . FILTER ( ?a > ?h ) }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q1512693 Q61895
P106
Q12737077
USER
Which occupations do Ludwig Kaas and Gerhard Vinnai do for a living ?
AND((Q61895,P106,c(Q12737077)), (Q1512693,P106,c(Q12737077)))
action filter_type
action intersection
action find
entity Q61895
relation P106
action find
entity Q1512693
relation P106
type Q12737077
{'AND': [['Q61895', 'P106', {'concept': 'Q12737077'}], ['Q1512693', 'P106', {'concept': 'Q12737077'}]]}
SELECT DISTINCT ?p WHERE { resource:Q61895 property:P106 ?p . resource:Q1512693 property:P106 ?p . ?p rdf:type ontology:Q12737077 }
Gerhard Vinnai Ludwig Kaas
action filter_type
action intersection
action find
entity Ludwig Kaas
relation occupation
action find
entity Gerhard Vinnai
relation occupation
type occupation
{'AND': [['Ludwig Kaas', 'occupation', {'concept': 'occupation'}], ['Gerhard Vinnai', 'occupation', {'concept': 'occupation'}]]}
SELECT DISTINCT ?p WHERE { resource:Ludwig_Kaas property:occupation ?p . resource:Gerhard_Vinnai property:occupation ?p . ?p rdf:type ontology:occupation }
[]
occupation
Q1622272
SYSTEM
university teacher
Q1622272
AND((Q61895,P106,c(Q12737077)), (Q1512693,P106,c(Q12737077)))
action filter_type
action intersection
action find
entity Q61895
relation P106
action find
entity Q1512693
relation P106
type Q12737077
Ludwig Kaas and Gerhard Vinnai do for a living as [ANSWER]
{'AND': [['Q61895', 'P106', {'concept': 'Q12737077'}], ['Q1512693', 'P106', {'concept': 'Q12737077'}]]}
SELECT DISTINCT ?p WHERE { resource:Q61895 property:P106 ?p . resource:Q1512693 property:P106 ?p . ?p rdf:type ontology:Q12737077 }
university teacher
Ludwig Kaas and Gerhard Vinnai do for a living as university teacher
university teacher
action filter_type
action intersection
action find
entity Ludwig Kaas
relation occupation
action find
entity Gerhard Vinnai
relation occupation
type occupation
{'AND': [['Ludwig Kaas', 'occupation', {'concept': 'occupation'}], ['Gerhard Vinnai', 'occupation', {'concept': 'occupation'}]]}
SELECT DISTINCT ?p WHERE { resource:Ludwig_Kaas property:occupation ?p . resource:Gerhard_Vinnai property:occupation ?p . ?p rdf:type ontology:occupation }
[]