Simple Question (Direct)
Simple Question
Q19914215
P20
Q20667921
USER
Where did Paul Chavigny die ?
(Q19914215,P20,c(Q20667921))
action filter_type
action find
entity Q19914215
relation P20
type Q20667921
['Q19914215', 'P20', {'concept': 'Q20667921'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q20667921 . resource:Q19914215 property:P20 ?d }
Paul Chavigny
action filter_type
action find
entity Paul Chavigny
relation place of death
type type of french administrative division
['Paul Chavigny', 'place of death', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_french_administrative_division . resource:Paul_Chavigny property:place_of_death ?d }
[]
type of french administrative division
Q185075
SYSTEM
Saint-Germain-en-Laye
Q185075
(Q19914215,P20,c(Q20667921))
action filter_type
action find
entity Q19914215
relation P20
type Q20667921
Paul Chavigny died in [ANSWER]
['Q19914215', 'P20', {'concept': 'Q20667921'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q20667921 . resource:Q19914215 property:P20 ?d }
Saint-Germain-en-Laye
Paul Chavigny died in Saint-Germain-en-Laye
Saint-Germain-en-Laye
action filter_type
action find
entity Paul Chavigny
relation place of death
type type of french administrative division
['Paul Chavigny', 'place of death', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_french_administrative_division . resource:Paul_Chavigny property:place_of_death ?d }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q185075
P276
Q131569
USER
What is located at that french administrative division ?
(c(Q131569),P276,Q185075)
action filter_type
action find_reverse
entity Q185075
relation P276
type Q131569
[{'concept': 'Q131569'}, 'P276', 'Q185075']
SELECT DISTINCT ?t WHERE { ?t property:P276 resource:Q185075 . ?t rdf:type ontology:Q131569 }
Saint-Germain-en-Laye
action filter_type
action find_reverse
entity Saint-Germain-en-Laye
relation location
type treaty
[{'concept': 'treaty'}, 'location', 'Saint-Germain-en-Laye']
SELECT DISTINCT ?t WHERE { ?t property:location resource:Saint-Germain-en-Laye . ?t rdf:type ontology:treaty }
[]
treaty
Q551302
SYSTEM
Treaty of Saint-Germain-en-Laye
Q551302
(c(Q131569),P276,Q185075)
action filter_type
action find_reverse
entity Q185075
relation P276
type Q131569
[ANSWER] is located at that french administrative division
[{'concept': 'Q131569'}, 'P276', 'Q185075']
SELECT DISTINCT ?t WHERE { ?t property:P276 resource:Q185075 . ?t rdf:type ontology:Q131569 }
Treaty of Saint-Germain-en-Laye
Treaty of Saint-Germain-en-Laye is located at that french administrative division
Treaty of Saint-Germain-en-Laye
action filter_type
action find_reverse
entity Saint-Germain-en-Laye
relation location
type treaty
[{'concept': 'treaty'}, 'location', 'Saint-Germain-en-Laye']
SELECT DISTINCT ?t WHERE { ?t property:location resource:Saint-Germain-en-Laye . ?t rdf:type ontology:treaty }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q185075
P551
Q502895
USER
Which person lives in that french administrative division ?
(c(Q502895),P551,Q551302)
action filter_type
action find_reverse
entity Q185075
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q551302']
SELECT DISTINCT ?g WHERE { ?g property:P551 resource:Q185075 . ?g rdf:type ontology:Q502895 }
Saint-Germain-en-Laye
action filter_type
action find_reverse
entity Saint-Germain-en-Laye
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Treaty of Saint-Germain-en-Laye']
SELECT DISTINCT ?g WHERE { ?g property:residence resource:Saint-Germain-en-Laye . ?g rdf:type ontology:common_name }
[]
common name
Q2703765
SYSTEM
Daniel Glazman
Q2703765
(c(Q502895),P551,Q551302)
action filter_type
action find_reverse
entity Q185075
relation P551
type Q502895
[ANSWER] lives in that french administrative division
[{'concept': 'Q502895'}, 'P551', 'Q551302']
SELECT DISTINCT ?g WHERE { ?g property:P551 resource:Q185075 . ?g rdf:type ontology:Q502895 }
Daniel Glazman
Daniel Glazman lives in that french administrative division
Daniel Glazman
action filter_type
action find_reverse
entity Saint-Germain-en-Laye
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Treaty of Saint-Germain-en-Laye']
SELECT DISTINCT ?g WHERE { ?g property:residence resource:Saint-Germain-en-Laye . ?g rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2703765
P69
Q3914
USER
Where was that person educated ?
(Q2703765,P69,c(Q3914))
action filter_type
action find
entity Q2703765
relation P69
type Q3914
['Q2703765', 'P69', {'concept': 'Q3914'}]
SELECT DISTINCT ?e WHERE { resource:Q2703765 property:P69 ?e . ?e rdf:type ontology:Q3914 }
Daniel Glazman
action filter_type
action find
entity Daniel Glazman
relation educated at
type school
['Daniel Glazman', 'educated at', {'concept': 'school'}]
SELECT DISTINCT ?e WHERE { resource:Daniel_Glazman property:educated_at ?e . ?e rdf:type ontology:school }
[]
school
Q273626
SYSTEM
École Polytechnique
Q273626
(Q2703765,P69,c(Q3914))
action filter_type
action find
entity Q2703765
relation P69
type Q3914
Educated that person was at [ANSWER]
['Q2703765', 'P69', {'concept': 'Q3914'}]
SELECT DISTINCT ?e WHERE { resource:Q2703765 property:P69 ?e . ?e rdf:type ontology:Q3914 }
École Polytechnique
Educated that person was at École Polytechnique
École Polytechnique
action filter_type
action find
entity Daniel Glazman
relation educated at
type school
['Daniel Glazman', 'educated at', {'concept': 'school'}]
SELECT DISTINCT ?e WHERE { resource:Daniel_Glazman property:educated_at ?e . ?e rdf:type ontology:school }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1247693 Q19914215
P27 P495
Q15617994
USER
Which administrative territories are the native countriesof Paul Chavigny or are the origins of Laverne & Shirley ?
OR((Q19914215,P27,c(Q15617994)), (Q1247693,P495,c(Q15617994)))
action filter_type
action union
action find
entity Q19914215
relation P27
action find
entity Q1247693
relation P495
type Q15617994
{'OR': [['Q19914215', 'P27', {'concept': 'Q15617994'}], ['Q1247693', 'P495', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q19914215 property:P27 ?e } UNION { resource:Q1247693 property:P495 ?e } } . ?e rdf:type ontology:Q15617994 }
Laverne & Shirley Paul Chavigny
action filter_type
action union
action find
entity Paul Chavigny
relation country of citizenship
action find
entity Laverne & Shirley
relation country of origin
type designation for an administrative territorial entity
{'OR': [['Paul Chavigny', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Laverne & Shirley', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Paul_Chavigny property:country_of_citizenship ?e } UNION { resource:Laverne_&_Shirley property:country_of_origin ?e } } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q30
SYSTEM
France, United States of America
Q142 Q30
OR((Q19914215,P27,c(Q15617994)), (Q1247693,P495,c(Q15617994)))
action filter_type
action union
action find
entity Q19914215
relation P27
action find
entity Q1247693
relation P495
type Q15617994
[ANSWERS] are the native countriesof Paul Chavigny or are the origins of Laverne & Shirley
{'OR': [['Q19914215', 'P27', {'concept': 'Q15617994'}], ['Q1247693', 'P495', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Q19914215 property:P27 ?e } UNION { resource:Q1247693 property:P495 ?e } } . ?e rdf:type ontology:Q15617994 }
France United States of America
France and United States of America are the native countriesof Paul Chavigny or are the origins of Laverne & Shirley
France United States of America
action filter_type
action union
action find
entity Paul Chavigny
relation country of citizenship
action find
entity Laverne & Shirley
relation country of origin
type designation for an administrative territorial entity
{'OR': [['Paul Chavigny', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Laverne & Shirley', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?e WHERE { { { resource:Paul_Chavigny property:country_of_citizenship ?e } UNION { resource:Laverne_&_Shirley property:country_of_origin ?e } } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q3365149
P27
Q502895
USER
Are Michal Malák a native of those administrative territories ?
(Q3365149,P27,Q142) (Q3365149,P27,Q30)
action is_in
entity prev_answer
action find
entity Q3365149
relation P27
['Q3365149', 'P27', 'Q142'] ['Q3365149', 'P27', 'Q30']
ASK WHERE { resource:Q3365149 property:P27 ?j . VALUES ( ?j ) { ( resource:Q142 ) ( resource:Q30 ) } }
Michal Malák
action is_in
entity prev_answer
action find
entity Michal Malák
relation country of citizenship
['Michal Malák', 'country of citizenship', 'France'] ['Michal Malák', 'country of citizenship', 'United States of America']
ASK WHERE { resource:Michal_Malák property:country_of_citizenship ?j . VALUES ( ?j ) { ( resource:France ) ( resource:United_States_of_America ) } }
[]
common name
SYSTEM
NO
(Q3365149,P27,Q142) (Q3365149,P27,Q30)
action is_in
entity prev_answer
action find
entity Q3365149
relation P27
[ANSWER]
['Q3365149', 'P27', 'Q142'] ['Q3365149', 'P27', 'Q30']
ASK WHERE { resource:Q3365149 property:P27 ?j . VALUES ( ?j ) { ( resource:Q142 ) ( resource:Q30 ) } }
No
action is_in
entity prev_answer
action find
entity Michal Malák
relation country of citizenship
['Michal Malák', 'country of citizenship', 'France'] ['Michal Malák', 'country of citizenship', 'United States of America']
ASK WHERE { resource:Michal_Malák property:country_of_citizenship ?j . VALUES ( ?j ) { ( resource:France ) ( resource:United_States_of_America ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2703765
P800
Q40056
USER
What was notable work done by Daniel Glazman ?
(Q2703765,P800,c(Q40056))
action filter_type
action find
entity Q2703765
relation P800
type Q40056
['Q2703765', 'P800', {'concept': 'Q40056'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q40056 . resource:Q2703765 property:P800 ?q }
Daniel Glazman
action filter_type
action find
entity Daniel Glazman
relation notable work
type computer program
['Daniel Glazman', 'notable work', {'concept': 'computer program'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:computer_program . resource:Daniel_Glazman property:notable_work ?q }
[]
computer program
Q157758
SYSTEM
Nvu
Q157758
(Q2703765,P800,c(Q40056))
action filter_type
action find
entity Q2703765
relation P800
type Q40056
Notable work done by Daniel Glazman was called [ANSWER]
['Q2703765', 'P800', {'concept': 'Q40056'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q40056 . resource:Q2703765 property:P800 ?q }
Nvu
Notable work done by Daniel Glazman was called Nvu
Nvu
action filter_type
action find
entity Daniel Glazman
relation notable work
type computer program
['Daniel Glazman', 'notable work', {'concept': 'computer program'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:computer_program . resource:Daniel_Glazman property:notable_work ?q }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q3124702
Q40056
USER
And how about Hans Peter Anvin?
(Q3124702,P800,c(Q40056))
action filter_type
action find
entity Q3124702
relation P800
type Q40056
['Q3124702', 'P800', {'concept': 'Q40056'}]
SELECT DISTINCT ?i WHERE { resource:Q3124702 property:P800 ?i . ?i rdf:type ontology:Q40056 }
Hans Peter Anvin
action filter_type
action find
entity Hans Peter Anvin
relation notable work
type computer program
['Hans Peter Anvin', 'notable work', {'concept': 'computer program'}]
SELECT DISTINCT ?i WHERE { resource:Hans_Peter_Anvin property:notable_work ?i . ?i rdf:type ontology:computer_program }
[]
computer program
Q690646
SYSTEM
SYSLINUX
Q690646
(Q3124702,P800,c(Q40056))
action filter_type
action find
entity Q3124702
relation P800
type Q40056
[ANSWER]
['Q3124702', 'P800', {'concept': 'Q40056'}]
SELECT DISTINCT ?i WHERE { resource:Q3124702 property:P800 ?i . ?i rdf:type ontology:Q40056 }
SYSLINUX
SYSLINUX
action filter_type
action find
entity Hans Peter Anvin
relation notable work
type computer program
['Hans Peter Anvin', 'notable work', {'concept': 'computer program'}]
SELECT DISTINCT ?i WHERE { resource:Hans_Peter_Anvin property:notable_work ?i . ?i rdf:type ontology:computer_program }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q690646 Q3124702
P800
Q502895
USER
Is Hans Peter Anvin author of that computer program ?
(Q3124702,P800,Q690646)
action is_in
entity Q690646
action find
entity Q3124702
relation P800
['Q3124702', 'P800', 'Q690646']
ASK WHERE { resource:Q3124702 property:P800 resource:Q690646 }
SYSLINUX Hans Peter Anvin
action is_in
entity SYSLINUX
action find
entity Hans Peter Anvin
relation notable work
['Hans Peter Anvin', 'notable work', 'SYSLINUX']
ASK WHERE { resource:Hans_Peter_Anvin property:notable_work resource:SYSLINUX }
[]
common name
SYSTEM
YES
(Q3124702,P800,Q690646)
action is_in
entity Q690646
action find
entity Q3124702
relation P800
[ANSWER]
['Q3124702', 'P800', 'Q690646']
ASK WHERE { resource:Q3124702 property:P800 resource:Q690646 }
Yes
action is_in
entity SYSLINUX
action find
entity Hans Peter Anvin
relation notable work
['Hans Peter Anvin', 'notable work', 'SYSLINUX']
ASK WHERE { resource:Hans_Peter_Anvin property:notable_work resource:SYSLINUX }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q690646
P277
Q629206
USER
Which computer languages are used to develop SYSLINUX ?
(Q690646,P277,c(Q629206))
action filter_type
action find
entity Q690646
relation P277
type Q629206
['Q690646', 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ?b WHERE { resource:Q690646 property:P277 ?b . ?b rdf:type ontology:Q629206 }
SYSLINUX
action filter_type
action find
entity SYSLINUX
relation programming language
type computer language
['SYSLINUX', 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ?b WHERE { resource:SYSLINUX property:programming_language ?b . ?b rdf:type ontology:computer_language }
[]
computer language
Q15777 Q165436
SYSTEM
C, assembly language
Q15777 Q165436
(Q690646,P277,c(Q629206))
action filter_type
action find
entity Q690646
relation P277
type Q629206
[ANSWERS] are used to develop SYSLINUX
['Q690646', 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ?b WHERE { resource:Q690646 property:P277 ?b . ?b rdf:type ontology:Q629206 }
C assembly language
C and assembly language are used to develop SYSLINUX
C assembly language
action filter_type
action find
entity SYSLINUX
relation programming language
type computer language
['SYSLINUX', 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ?b WHERE { resource:SYSLINUX property:programming_language ?b . ?b rdf:type ontology:computer_language }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q690646
P306
Q676202
USER
Which system software manages SYSLINUX ?
(Q690646,P306,c(Q676202))
action filter_type
action find
entity Q690646
relation P306
type Q676202
['Q690646', 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q676202 . resource:Q690646 property:P306 ?p }
SYSLINUX
action filter_type
action find
entity SYSLINUX
relation operating system
type system software
['SYSLINUX', 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:system_software . resource:SYSLINUX property:operating_system ?p }
[]
system software
Q388
SYSTEM
Linux
Q388
(Q690646,P306,c(Q676202))
action filter_type
action find
entity Q690646
relation P306
type Q676202
X [ANSWER] manages SYSLINUX
['Q690646', 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q676202 . resource:Q690646 property:P306 ?p }
Linux
X Linux manages SYSLINUX
Linux
action filter_type
action find
entity SYSLINUX
relation operating system
type system software
['SYSLINUX', 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:system_software . resource:SYSLINUX property:operating_system ?p }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q650881
Q676202
USER
And what about Compiere?
(Q650881,P306,c(Q676202))
action filter_type
action find
entity Q650881
relation P306
type Q676202
['Q650881', 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?f WHERE { resource:Q650881 property:P306 ?f . ?f rdf:type ontology:Q676202 }
Compiere
action filter_type
action find
entity Compiere
relation operating system
type system software
['Compiere', 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?f WHERE { resource:Compiere property:operating_system ?f . ?f rdf:type ontology:system_software }
[]
system software
Q1406 Q14656
SYSTEM
Microsoft Windows, Unix-like
Q1406 Q14656
(Q650881,P306,c(Q676202))
action filter_type
action find
entity Q650881
relation P306
type Q676202
[ANSWERS]
['Q650881', 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?f WHERE { resource:Q650881 property:P306 ?f . ?f rdf:type ontology:Q676202 }
Microsoft Windows Unix-like
Microsoft Windows Unix-like
action filter_type
action find
entity Compiere
relation operating system
type system software
['Compiere', 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?f WHERE { resource:Compiere property:operating_system ?f . ?f rdf:type ontology:system_software }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q51798
P275
Q93288 Q3943414 Q629206
USER
How many computer languages are safeguarded against piracy with more number of contracts and free software licenses than Clojure ?
(c(Q629206),P275,c(Q93288)|c(Q3943414))
action count
action greater
action union
action find_tuple_counts
relation P275
type Q629206
type Q93288
action find_tuple_counts
relation P275
type Q629206
type Q3943414
action count
action filter_multi_types
action find
entity Q51798
relation P275
type Q93288
type Q3943414
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q93288'}, {'concept': 'Q3943414'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) ?w WHERE { { ?w property:P275 ?g . ?w rdf:type ontology:Q629206 . ?g rdf:type ontology:Q93288 } UNION { ?w property:P275 ?g . ?w rdf:type ontology:Q629206 . ?g rdf:type ontology:Q3943414 } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { resource:Q51798 property:P275 ?v . { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } } } } . FILTER ( ?i > ?a ) }
Clojure
action count
action greater
action union
action find_tuple_counts
relation license
type computer language
type contract
action find_tuple_counts
relation license
type computer language
type free software license
action count
action filter_multi_types
action find
entity Clojure
relation license
type contract
type free software license
[{'concept': 'computer language'}, 'license', [{'concept': 'contract'}, {'concept': 'free software license'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) ?w WHERE { { ?w property:license ?g . ?w rdf:type ontology:computer_language . ?g rdf:type ontology:contract } UNION { ?w property:license ?g . ?w rdf:type ontology:computer_language . ?g rdf:type ontology:free_software_license } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { resource:Clojure property:license ?v . { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:contract ) ( ontology:free_software_license ) } } } } . FILTER ( ?i > ?a ) }
[]
contract free software license computer language
SYSTEM
24
Q3154072 Q7179822 Q648619 Q3816639 Q3337877 Q2618065 Q15971618 Q2438046 Q7253904 Q608565 Q460584 Q575650 Q7372499 Q1106819 Q165372 Q975594 Q20080327 Q3217187 Q212587 Q762464 Q2613697 Q4677478 Q37227 Q369096
(c(Q629206),P275,c(Q93288)|c(Q3943414))
action count
action greater
action union
action find_tuple_counts
relation P275
type Q629206
type Q93288
action find_tuple_counts
relation P275
type Q629206
type Q3943414
action count
action filter_multi_types
action find
entity Q51798
relation P275
type Q93288
type Q3943414
[ANSWER]
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q93288'}, {'concept': 'Q3943414'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) ?w WHERE { { ?w property:P275 ?g . ?w rdf:type ontology:Q629206 . ?g rdf:type ontology:Q93288 } UNION { ?w property:P275 ?g . ?w rdf:type ontology:Q629206 . ?g rdf:type ontology:Q3943414 } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { resource:Q51798 property:P275 ?v . { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } } } } . FILTER ( ?i > ?a ) }
Ioke Pforth F♯ Kotlin Neko IronRuby Hack Arc Psake Cobra Scala Rust Roy CoffeeScript CLIPS Cython Nim Red OCaml Squeak Julia ActiveVFP Go Pharo
24
action count
action greater
action union
action find_tuple_counts
relation license
type computer language
type contract
action find_tuple_counts
relation license
type computer language
type free software license
action count
action filter_multi_types
action find
entity Clojure
relation license
type contract
type free software license
[{'concept': 'computer language'}, 'license', [{'concept': 'contract'}, {'concept': 'free software license'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?i ) ?w WHERE { { ?w property:license ?g . ?w rdf:type ontology:computer_language . ?g rdf:type ontology:contract } UNION { ?w property:license ?g . ?w rdf:type ontology:computer_language . ?g rdf:type ontology:free_software_license } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { resource:Clojure property:license ?v . { ?v rdf:type ?h . VALUES ( ?h ) { ( ontology:contract ) ( ontology:free_software_license ) } } } } . FILTER ( ?i > ?a ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1406
P138
Q7397
USER
Which software is the eponym of Microsoft Windows ?
(c(Q7397),P138,Q1406)
action filter_type
action find_reverse
entity Q1406
relation P138
type Q7397
[{'concept': 'Q7397'}, 'P138', 'Q1406']
SELECT DISTINCT ?v WHERE { ?v property:P138 resource:Q1406 . ?v rdf:type ontology:Q7397 }
Microsoft Windows
action filter_type
action find_reverse
entity Microsoft Windows
relation named after
type software
[{'concept': 'software'}, 'named after', 'Microsoft Windows']
SELECT DISTINCT ?v WHERE { ?v property:named_after resource:Microsoft_Windows . ?v rdf:type ontology:software }
[]
software
Q483881
SYSTEM
Windows 2000
Q483881
(c(Q7397),P138,Q1406)
action filter_type
action find_reverse
entity Q1406
relation P138
type Q7397
[ANSWER] is the eponym of Microsoft Windows
[{'concept': 'Q7397'}, 'P138', 'Q1406']
SELECT DISTINCT ?v WHERE { ?v property:P138 resource:Q1406 . ?v rdf:type ontology:Q7397 }
Windows 2000
Windows 2000 is the eponym of Microsoft Windows
Windows 2000
action filter_type
action find_reverse
entity Microsoft Windows
relation named after
type software
[{'concept': 'software'}, 'named after', 'Microsoft Windows']
SELECT DISTINCT ?v WHERE { ?v property:named_after resource:Microsoft_Windows . ?v rdf:type ontology:software }
[]