Simple Question (Direct)
Simple Question
Q1591670
P178
Q28640
USER
Which profession developed Jack Keane ?
(Q1591670,P178,c(Q28640))
action filter_type
action find
entity Q1591670
relation P178
type Q28640
['Q1591670', 'P178', {'concept': 'Q28640'}]
SELECT DISTINCT ?p WHERE { resource:Q1591670 property:P178 ?p . ?p rdf:type ontology:Q28640 }
Jack Keane
action filter_type
action find
entity Jack Keane
relation developer
type profession
['Jack Keane', 'developer', {'concept': 'profession'}]
SELECT DISTINCT ?p WHERE { resource:Jack_Keane property:developer ?p . ?p rdf:type ontology:profession }
[]
profession
Q834035
SYSTEM
Deck13 Interactive
Q834035
(Q1591670,P178,c(Q28640))
action filter_type
action find
entity Q1591670
relation P178
type Q28640
[ANSWER] developed Jack Keane
['Q1591670', 'P178', {'concept': 'Q28640'}]
SELECT DISTINCT ?p WHERE { resource:Q1591670 property:P178 ?p . ?p rdf:type ontology:Q28640 }
Deck13 Interactive
Deck13 Interactive developed Jack Keane
Deck13 Interactive
action filter_type
action find
entity Jack Keane
relation developer
type profession
['Jack Keane', 'developer', {'concept': 'profession'}]
SELECT DISTINCT ?p WHERE { resource:Jack_Keane property:developer ?p . ?p rdf:type ontology:profession }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1591670
P750
Q7397
USER
Who is the distributor of Jack Keane ?
(Q1591670,P750,c(Q7397))
action filter_type
action find
entity Q1591670
relation P750
type Q7397
['Q1591670', 'P750', {'concept': 'Q7397'}]
SELECT DISTINCT ?b WHERE { resource:Q1591670 property:P750 ?b . ?b rdf:type ontology:Q7397 }
Jack Keane
action filter_type
action find
entity Jack Keane
relation distributor
type software
['Jack Keane', 'distributor', {'concept': 'software'}]
SELECT DISTINCT ?b WHERE { resource:Jack_Keane property:distributor ?b . ?b rdf:type ontology:software }
[]
software
Q337535
SYSTEM
Steam
Q337535
(Q1591670,P750,c(Q7397))
action filter_type
action find
entity Q1591670
relation P750
type Q7397
The distributor of Jack Keane is on [ANSWER]
['Q1591670', 'P750', {'concept': 'Q7397'}]
SELECT DISTINCT ?b WHERE { resource:Q1591670 property:P750 ?b . ?b rdf:type ontology:Q7397 }
Steam
The distributor of Jack Keane is on Steam
Steam
action filter_type
action find
entity Jack Keane
relation distributor
type software
['Jack Keane', 'distributor', {'concept': 'software'}]
SELECT DISTINCT ?b WHERE { resource:Jack_Keane property:distributor ?b . ?b rdf:type ontology:software }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q1591670 Q1159590
P400
Q676202
USER
How many system software are the computing platforms for which Jack Keane and Danger from the Deep were specifically designed ?
(Q1591670,P400,c(Q676202)) (Q1159590,P400,c(Q676202))
action count
action intersection
action filter_type
action find
entity Q1591670
relation P400
type Q676202
action filter_type
action find
entity Q1159590
relation P400
type Q676202
['Q1591670', 'P400', {'concept': 'Q676202'}] ['Q1159590', 'P400', {'concept': 'Q676202'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?g ) WHERE { resource:Q1591670 property:P400 ?l . ?l rdf:type ontology:Q676202 . resource:Q1159590 property:P400 ?l . ?l rdf:type ontology:Q676202 }
Jack Keane Danger from the Deep
action count
action intersection
action filter_type
action find
entity Jack Keane
relation platform
type system software
action filter_type
action find
entity Danger from the Deep
relation platform
type system software
['Jack Keane', 'platform', {'concept': 'system software'}] ['Danger from the Deep', 'platform', {'concept': 'system software'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?g ) WHERE { resource:Jack_Keane property:platform ?l . ?l rdf:type ontology:system_software . resource:Danger_from_the_Deep property:platform ?l . ?l rdf:type ontology:system_software }
[]
system software
SYSTEM
2
Q1406 Q388
(Q1591670,P400,c(Q676202)) (Q1159590,P400,c(Q676202))
action count
action intersection
action filter_type
action find
entity Q1591670
relation P400
type Q676202
action filter_type
action find
entity Q1159590
relation P400
type Q676202
[ANSWER]
['Q1591670', 'P400', {'concept': 'Q676202'}] ['Q1159590', 'P400', {'concept': 'Q676202'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?g ) WHERE { resource:Q1591670 property:P400 ?l . ?l rdf:type ontology:Q676202 . resource:Q1159590 property:P400 ?l . ?l rdf:type ontology:Q676202 }
Microsoft Windows Linux
2
action count
action intersection
action filter_type
action find
entity Jack Keane
relation platform
type system software
action filter_type
action find
entity Danger from the Deep
relation platform
type system software
['Jack Keane', 'platform', {'concept': 'system software'}] ['Danger from the Deep', 'platform', {'concept': 'system software'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?g ) WHERE { resource:Jack_Keane property:platform ?l . ?l rdf:type ontology:system_software . resource:Danger_from_the_Deep property:platform ?l . ?l rdf:type ontology:system_software }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1591670
P408
Q1077784
USER
Which programming tool is the software engine employed by that application ?
action filter_type
action find
entity Q1591670
relation P408
type Q1077784
SELECT DISTINCT ?n WHERE { resource:Q1591670 property:P408 ?n . ?n rdf:type ontology:Q1077784 }
Jack Keane
action filter_type
action find
entity Jack Keane
relation software engine
type programming tool
SELECT DISTINCT ?n WHERE { resource:Jack_Keane property:software_engine ?n . ?n rdf:type ontology:programming_tool }
[]
programming tool
Q1073498
SYSTEM
OGRE
Q1073498
action filter_type
action find
entity Q1591670
relation P408
type Q1077784
[ANSWER] is the software engine employed by that application
SELECT DISTINCT ?n WHERE { resource:Q1591670 property:P408 ?n . ?n rdf:type ontology:Q1077784 }
OGRE
OGRE is the software engine employed by that application
OGRE
action filter_type
action find
entity Jack Keane
relation software engine
type programming tool
SELECT DISTINCT ?n WHERE { resource:Jack_Keane property:software_engine ?n . ?n rdf:type ontology:programming_tool }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q856015 Q1073498
P277
Q629206
USER
Which computer languages are used to code OGRE or BibDesk ?
OR((Q1073498,P277,c(Q629206)), (Q856015,P277,c(Q629206)))
action filter_type
action union
action find
entity Q1073498
relation P277
action find
entity Q856015
relation P277
type Q629206
{'OR': [['Q1073498', 'P277', {'concept': 'Q629206'}], ['Q856015', 'P277', {'concept': 'Q629206'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q629206 . { { resource:Q1073498 property:P277 ?c } UNION { resource:Q856015 property:P277 ?c } } }
BibDesk OGRE
action filter_type
action union
action find
entity OGRE
relation programming language
action find
entity BibDesk
relation programming language
type computer language
{'OR': [['OGRE', 'programming language', {'concept': 'computer language'}], ['BibDesk', 'programming language', {'concept': 'computer language'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:computer_language . { { resource:OGRE property:programming_language ?c } UNION { resource:BibDesk property:programming_language ?c } } }
[]
computer language
Q188531 Q2407 Q15777
SYSTEM
Objective-C, C++, C
Q188531 Q2407 Q15777
OR((Q1073498,P277,c(Q629206)), (Q856015,P277,c(Q629206)))
action filter_type
action union
action find
entity Q1073498
relation P277
action find
entity Q856015
relation P277
type Q629206
[ANSWERS] are used to code OGRE or BibDesk
{'OR': [['Q1073498', 'P277', {'concept': 'Q629206'}], ['Q856015', 'P277', {'concept': 'Q629206'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q629206 . { { resource:Q1073498 property:P277 ?c } UNION { resource:Q856015 property:P277 ?c } } }
Objective-C C++ C
Objective-C, C++ and C are used to code OGRE or BibDesk
Objective-C C++ C
action filter_type
action union
action find
entity OGRE
relation programming language
action find
entity BibDesk
relation programming language
type computer language
{'OR': [['OGRE', 'programming language', {'concept': 'computer language'}], ['BibDesk', 'programming language', {'concept': 'computer language'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:computer_language . { { resource:OGRE property:programming_language ?c } UNION { resource:BibDesk property:programming_language ?c } } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P737
Q629206 Q629206
USER
Which computer languages influenced max number of computer languages ?
(c(Q629206),P737,Q18965699)
action argmax
action find_tuple_counts
relation P737
type Q629206
type Q629206
[{'concept': 'Q629206'}, 'P737', 'Q18965699']
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?d ) { SELECT DISTINCT ?l ( COUNT ( ?q ) AS ?u ) WHERE { ?l rdf:type ontology:Q629206 . ?q rdf:type ontology:Q629206 . ?l property:P737 ?q } GROUP BY ?l } } . { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?e ) WHERE { ?k rdf:type ontology:Q629206 . ?m rdf:type ontology:Q629206 . ?k property:P737 ?m } GROUP BY ?k } . FILTER ( ?e = ?d ) }
action argmax
action find_tuple_counts
relation influenced by
type computer language
type computer language
[{'concept': 'computer language'}, 'influenced by', 'Cilk++']
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?d ) { SELECT DISTINCT ?l ( COUNT ( ?q ) AS ?u ) WHERE { ?l rdf:type ontology:computer_language . ?q rdf:type ontology:computer_language . ?l property:influenced_by ?q } GROUP BY ?l } } . { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?e ) WHERE { ?k rdf:type ontology:computer_language . ?m rdf:type ontology:computer_language . ?k property:influenced_by ?m } GROUP BY ?k } . FILTER ( ?e = ?d ) }
[]
computer language computer language
Q15777
SYSTEM
C
Q15777
(c(Q629206),P737,Q18965699)
action argmax
action find_tuple_counts
relation P737
type Q629206
type Q629206
[ANSWER] influenced max number of computer languages
[{'concept': 'Q629206'}, 'P737', 'Q18965699']
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?d ) { SELECT DISTINCT ?l ( COUNT ( ?q ) AS ?u ) WHERE { ?l rdf:type ontology:Q629206 . ?q rdf:type ontology:Q629206 . ?l property:P737 ?q } GROUP BY ?l } } . { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?e ) WHERE { ?k rdf:type ontology:Q629206 . ?m rdf:type ontology:Q629206 . ?k property:P737 ?m } GROUP BY ?k } . FILTER ( ?e = ?d ) }
C
C influenced max number of computer languages
C
action argmax
action find_tuple_counts
relation influenced by
type computer language
type computer language
[{'concept': 'computer language'}, 'influenced by', 'Cilk++']
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?d ) { SELECT DISTINCT ?l ( COUNT ( ?q ) AS ?u ) WHERE { ?l rdf:type ontology:computer_language . ?q rdf:type ontology:computer_language . ?l property:influenced_by ?q } GROUP BY ?l } } . { SELECT DISTINCT ?k ( COUNT ( ?m ) AS ?e ) WHERE { ?k rdf:type ontology:computer_language . ?m rdf:type ontology:computer_language . ?k property:influenced_by ?m } GROUP BY ?k } . FILTER ( ?e = ?d ) }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q15777 Q2140881
P277
Q341
USER
Is Vega Strike written in that computer language ?
(Q2140881,P277,Q15777)
action is_in
entity Q15777
action find
entity Q2140881
relation P277
['Q2140881', 'P277', 'Q15777']
ASK WHERE { resource:Q2140881 property:P277 resource:Q15777 }
C Vega Strike
action is_in
entity C
action find
entity Vega Strike
relation programming language
['Vega Strike', 'programming language', 'C']
ASK WHERE { resource:Vega_Strike property:programming_language resource:C }
[]
free software
SYSTEM
YES
(Q2140881,P277,Q15777)
action is_in
entity Q15777
action find
entity Q2140881
relation P277
[ANSWER]
['Q2140881', 'P277', 'Q15777']
ASK WHERE { resource:Q2140881 property:P277 resource:Q15777 }
Yes
action is_in
entity C
action find
entity Vega Strike
relation programming language
['Vega Strike', 'programming language', 'C']
ASK WHERE { resource:Vega_Strike property:programming_language resource:C }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15777
P138
Q188267
USER
Which programming paradigm is named after that computer language ?
action filter_type
action find_reverse
entity Q15777
relation P138
type Q188267
SELECT DISTINCT ?b WHERE { ?b property:P138 resource:Q15777 . ?b rdf:type ontology:Q188267 }
C
action filter_type
action find_reverse
entity C
relation named after
type programming paradigm
SELECT DISTINCT ?b WHERE { ?b property:named_after resource:C . ?b rdf:type ontology:programming_paradigm }
[]
programming paradigm
Q2370
SYSTEM
C♯
Q2370
action filter_type
action find_reverse
entity Q15777
relation P138
type Q188267
[ANSWER] is named after that computer language
SELECT DISTINCT ?b WHERE { ?b property:P138 resource:Q15777 . ?b rdf:type ontology:Q188267 }
C♯
C♯ is named after that computer language
C♯
action filter_type
action find_reverse
entity C
relation named after
type programming paradigm
SELECT DISTINCT ?b WHERE { ?b property:named_after resource:C . ?b rdf:type ontology:programming_paradigm }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q2370 Q2407 Q15777
P737
Q629206
USER
Was C♯ influenced by C++ and C ?
(Q2370,P737,Q2407) (Q2370,P737,Q15777)
action is_in
entity Q2370
action intersection
action find_reverse
entity Q2407
relation P737
action find_reverse
entity Q15777
relation P737
['Q2370', 'P737', 'Q2407'] ['Q2370', 'P737', 'Q15777']
ASK WHERE { resource:Q2370 property:P737 resource:Q2407 . resource:Q2370 property:P737 resource:Q15777 }
C♯ C++ C
action is_in
entity C♯
action intersection
action find_reverse
entity C++
relation influenced by
action find_reverse
entity C
relation influenced by
['C♯', 'influenced by', 'C++'] ['C♯', 'influenced by', 'C']
ASK WHERE { resource:C♯ property:influenced_by resource:C++ . resource:C♯ property:influenced_by resource:C }
[]
computer language
SYSTEM
YES
(Q2370,P737,Q2407) (Q2370,P737,Q15777)
action is_in
entity Q2370
action intersection
action find_reverse
entity Q2407
relation P737
action find_reverse
entity Q15777
relation P737
[ANSWER]
['Q2370', 'P737', 'Q2407'] ['Q2370', 'P737', 'Q15777']
ASK WHERE { resource:Q2370 property:P737 resource:Q2407 . resource:Q2370 property:P737 resource:Q15777 }
Yes
action is_in
entity C♯
action intersection
action find_reverse
entity C++
relation influenced by
action find_reverse
entity C
relation influenced by
['C♯', 'influenced by', 'C++'] ['C♯', 'influenced by', 'C']
ASK WHERE { resource:C♯ property:influenced_by resource:C++ . resource:C♯ property:influenced_by resource:C }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q15777 Q305932
P277
Q7397
USER
How many software are programmed using C and yacc ?
(c(Q7397),P277,Q15777) (c(Q7397),P277,Q305932)
action count
action intersection
action filter_type
action find_reverse
entity Q15777
relation P277
type Q7397
action filter_type
action find_reverse
entity Q305932
relation P277
type Q7397
[{'concept': 'Q7397'}, 'P277', 'Q15777'] [{'concept': 'Q7397'}, 'P277', 'Q305932']
SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) WHERE { ?i property:P277 resource:Q15777 . ?i rdf:type ontology:Q7397 . ?i rdf:type ontology:Q7397 . ?i property:P277 resource:Q305932 }
C yacc
action count
action intersection
action filter_type
action find_reverse
entity C
relation programming language
type software
action filter_type
action find_reverse
entity yacc
relation programming language
type software
[{'concept': 'software'}, 'programming language', 'C'] [{'concept': 'software'}, 'programming language', 'yacc']
SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) WHERE { ?i property:programming_language resource:C . ?i rdf:type ontology:software . ?i rdf:type ontology:software . ?i property:programming_language resource:yacc }
[]
software
SYSTEM
2
Q311404 Q3647640
(c(Q7397),P277,Q15777) (c(Q7397),P277,Q305932)
action count
action intersection
action filter_type
action find_reverse
entity Q15777
relation P277
type Q7397
action filter_type
action find_reverse
entity Q305932
relation P277
type Q7397
[ANSWER]
[{'concept': 'Q7397'}, 'P277', 'Q15777'] [{'concept': 'Q7397'}, 'P277', 'Q305932']
SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) WHERE { ?i property:P277 resource:Q15777 . ?i rdf:type ontology:Q7397 . ?i rdf:type ontology:Q7397 . ?i property:P277 resource:Q305932 }
OpenBSD PF NetBSD packet filter
2
action count
action intersection
action filter_type
action find_reverse
entity C
relation programming language
type software
action filter_type
action find_reverse
entity yacc
relation programming language
type software
[{'concept': 'software'}, 'programming language', 'C'] [{'concept': 'software'}, 'programming language', 'yacc']
SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) WHERE { ?i property:programming_language resource:C . ?i rdf:type ontology:software . ?i rdf:type ontology:software . ?i property:programming_language resource:yacc }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P275
Q3943414 Q93288 Q629206
USER
Which computer languages are authorized under max number of free software licenses and contracts ?
(c(Q629206),P275,c(Q3943414)|c(Q93288))
action argmax
action union
action find_tuple_counts
relation P275
type Q629206
type Q3943414
action find_tuple_counts
relation P275
type Q629206
type Q93288
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q3943414'}, {'concept': 'Q93288'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?z ) AS ?u ) ?g WHERE { VALUES ( ?t ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } . ?z rdf:type ?t } GROUP BY ?g } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) ?d WHERE { ?v rdf:type ?j . VALUES ( ?j ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } } GROUP BY ?d } . FILTER ( ?p = ?b ) }
action argmax
action union
action find_tuple_counts
relation license
type computer language
type free software license
action find_tuple_counts
relation license
type computer language
type contract
[{'concept': 'computer language'}, 'license', [{'concept': 'free software license'}, {'concept': 'contract'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?z ) AS ?u ) ?g WHERE { VALUES ( ?t ) { ( ontology:contract ) ( ontology:free_software_license ) } . ?z rdf:type ?t } GROUP BY ?g } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) ?d WHERE { ?v rdf:type ?j . VALUES ( ?j ) { ( ontology:contract ) ( ontology:free_software_license ) } } GROUP BY ?d } . FILTER ( ?p = ?b ) }
[]
free software license contract computer language
Q575650 Q37227 Q20080327
SYSTEM
Rust, Go, Nim
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(Q3943414)|c(Q93288))
action argmax
action union
action find_tuple_counts
relation P275
type Q629206
type Q3943414
action find_tuple_counts
relation P275
type Q629206
type Q93288
[ANSWERS] are authorized under max number of free software licenses and contracts
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q3943414'}, {'concept': 'Q93288'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?z ) AS ?u ) ?g WHERE { VALUES ( ?t ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } . ?z rdf:type ?t } GROUP BY ?g } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) ?d WHERE { ?v rdf:type ?j . VALUES ( ?j ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } } GROUP BY ?d } . FILTER ( ?p = ?b ) }
Ioke Pforth F♯ Kotlin Neko IronRuby Hack Arc Psake Cobra Scala Rust Roy CoffeeScript CLIPS Cython Nim Red OCaml Squeak Julia ActiveVFP Go Pharo
Rust, Go and Nim are authorized under max number of free software licenses and contracts
Rust Go Nim
action argmax
action union
action find_tuple_counts
relation license
type computer language
type free software license
action find_tuple_counts
relation license
type computer language
type contract
[{'concept': 'computer language'}, 'license', [{'concept': 'free software license'}, {'concept': 'contract'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MAX ( ?u ) AS ?b ) { SELECT DISTINCT ( COUNT ( ?z ) AS ?u ) ?g WHERE { VALUES ( ?t ) { ( ontology:contract ) ( ontology:free_software_license ) } . ?z rdf:type ?t } GROUP BY ?g } } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) ?d WHERE { ?v rdf:type ?j . VALUES ( ?j ) { ( ontology:contract ) ( ontology:free_software_license ) } } GROUP BY ?d } . FILTER ( ?p = ?b ) }
[]