Simple Question (Direct)
Simple Question
Q1974968
P400
Q676202
USER
What are the platforms for which Postal 2 were developed ?
(Q1974968,P400,c(Q676202))
action filter_type
action find
entity Q1974968
relation P400
type Q676202
['Q1974968', 'P400', {'concept': 'Q676202'}]
SELECT DISTINCT ?a WHERE { resource:Q1974968 property:P400 ?a . ?a rdf:type ontology:Q676202 }
Postal 2
action filter_type
action find
entity Postal 2
relation platform
type system software
['Postal 2', 'platform', {'concept': 'system software'}]
SELECT DISTINCT ?a WHERE { resource:Postal_2 property:platform ?a . ?a rdf:type ontology:system_software }
[]
system software
Q1406 Q388
SYSTEM
Microsoft Windows, Linux
Q1406 Q388
(Q1974968,P400,c(Q676202))
action filter_type
action find
entity Q1974968
relation P400
type Q676202
Windows [ANSWERS]
['Q1974968', 'P400', {'concept': 'Q676202'}]
SELECT DISTINCT ?a WHERE { resource:Q1974968 property:P400 ?a . ?a rdf:type ontology:Q676202 }
Microsoft Windows Linux
Windows Microsoft Windows and Linux
Microsoft Windows Linux
action filter_type
action find
entity Postal 2
relation platform
type system software
['Postal 2', 'platform', {'concept': 'system software'}]
SELECT DISTINCT ?a WHERE { resource:Postal_2 property:platform ?a . ?a rdf:type ontology:system_software }
[]
Clarification
Simple Question|Single Entity|Indirect
Q1406
P178
Q1269299
USER
Who developed that system software ?
(Q1406,P178,c(Q1269299))
action filter_type
action find
entity Q1406
relation P178
type Q1269299
['Q1406', 'P178', {'concept': 'Q1269299'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q1269299 . resource:Q1406 property:P178 ?d }
Microsoft Windows
action filter_type
action find
entity Microsoft Windows
relation developer
type type of business entity
['Microsoft Windows', 'developer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_business_entity . resource:Microsoft_Windows property:developer ?d }
[]
type of business entity
Clarification for simple ques.
Q1406
SYSTEM
Did you mean Microsoft Windows ?
Q1406 Q388
(Q1406,P178,c(Q1269299)) (Q388,P178,c(Q1269299))
[ANSWER]
['Q1406', 'P178', {'concept': 'Q1269299'}] ['Q388', 'P178', {'concept': 'Q1269299'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q1269299 . resource:Q1406 property:P178 ?d }
Microsoft Windows Linux
Did you mean Microsoft Windows ?
Microsoft Windows
['Microsoft Windows', 'developer', {'concept': 'type of business entity'}] ['Linux', 'developer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_business_entity . resource:Microsoft_Windows property:developer ?d }
[]
Simple Question (Coreferenced)
USER
Yes
(Q1406,P178,c(Q1269299))
['Q1406', 'P178', {'concept': 'Q1269299'}]
['Microsoft Windows', 'developer', {'concept': 'type of business entity'}]
[]
Q2283
SYSTEM
Microsoft
Q2283
(Q1406,P178,c(Q1269299))
action filter_type
action find
entity Q1406
relation P178
type Q1269299
[ANSWER] developed that system software
['Q1406', 'P178', {'concept': 'Q1269299'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:Q1269299 . resource:Q1406 property:P178 ?d }
Microsoft
Microsoft developed that system software
Microsoft
action filter_type
action find
entity Microsoft Windows
relation developer
type type of business entity
['Microsoft Windows', 'developer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?d WHERE { ?d rdf:type ontology:type_of_business_entity . resource:Microsoft_Windows property:developer ?d }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q2283 Q17137714 Q181162
P127
Q502895
USER
Is that business organization owned by Will Wilson and Steve Ballmer ?
(Q2283,P127,Q17137714) (Q2283,P127,Q181162)
action is_in
entity Q2283
action intersection
action find_reverse
entity Q17137714
relation P127
action find_reverse
entity Q181162
relation P127
['Q2283', 'P127', 'Q17137714'] ['Q2283', 'P127', 'Q181162']
ASK WHERE { resource:Q2283 property:P127 resource:Q17137714 . resource:Q2283 property:P127 resource:Q181162 }
Microsoft Will Wilson Steve Ballmer
action is_in
entity Microsoft
action intersection
action find_reverse
entity Will Wilson
relation owned by
action find_reverse
entity Steve Ballmer
relation owned by
['Microsoft', 'owned by', 'Will Wilson'] ['Microsoft', 'owned by', 'Steve Ballmer']
ASK WHERE { resource:Microsoft property:owned_by resource:Will_Wilson . resource:Microsoft property:owned_by resource:Steve_Ballmer }
[]
common name
SYSTEM
NO and YES respectively
(Q2283,P127,Q17137714) (Q2283,P127,Q181162)
action is_in
entity Q2283
action intersection
action find_reverse
entity Q17137714
relation P127
action find_reverse
entity Q181162
relation P127
[ANSWER]
['Q2283', 'P127', 'Q17137714'] ['Q2283', 'P127', 'Q181162']
ASK WHERE { resource:Q2283 property:P127 resource:Q17137714 . resource:Q2283 property:P127 resource:Q181162 }
NO and YES respectively
action is_in
entity Microsoft
action intersection
action find_reverse
entity Will Wilson
relation owned by
action find_reverse
entity Steve Ballmer
relation owned by
['Microsoft', 'owned by', 'Will Wilson'] ['Microsoft', 'owned by', 'Steve Ballmer']
ASK WHERE { resource:Microsoft property:owned_by resource:Will_Wilson . resource:Microsoft property:owned_by resource:Steve_Ballmer }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q5514035 Q1406
P277
Q629206
USER
Which computer languages are used to create Microsoft Windows but not GNUmed ?
AND((Q1406,P277,c(Q629206)), NOT((Q5514035,P277,c(Q629206))))
action filter_type
action difference
action find
entity Q1406
relation P277
action find
entity Q5514035
relation P277
type Q629206
{'AND': [['Q1406', 'P277', {'concept': 'Q629206'}], {'NOT': [['Q5514035', 'P277', {'concept': 'Q629206'}]]}]}
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q629206 . resource:Q1406 property:P277 ?k . FILTER NOT EXISTS { resource:Q5514035 property:P277 ?k } }
GNUmed Microsoft Windows
action filter_type
action difference
action find
entity Microsoft Windows
relation programming language
action find
entity GNUmed
relation programming language
type computer language
{'AND': [['Microsoft Windows', 'programming language', {'concept': 'computer language'}], {'NOT': [['GNUmed', 'programming language', {'concept': 'computer language'}]]}]}
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:computer_language . resource:Microsoft_Windows property:programming_language ?k . FILTER NOT EXISTS { resource:GNUmed property:programming_language ?k } }
[]
computer language
Q15777 Q165436
SYSTEM
C, assembly language
Q15777 Q165436
AND((Q1406,P277,c(Q629206)), NOT((Q5514035,P277,c(Q629206))))
action filter_type
action difference
action find
entity Q1406
relation P277
action find
entity Q5514035
relation P277
type Q629206
[ANSWERS] are used to create Microsoft Windows but not GNUmed
{'AND': [['Q1406', 'P277', {'concept': 'Q629206'}], {'NOT': [['Q5514035', 'P277', {'concept': 'Q629206'}]]}]}
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q629206 . resource:Q1406 property:P277 ?k . FILTER NOT EXISTS { resource:Q5514035 property:P277 ?k } }
C assembly language
C and assembly language are used to create Microsoft Windows but not GNUmed
C assembly language
action filter_type
action difference
action find
entity Microsoft Windows
relation programming language
action find
entity GNUmed
relation programming language
type computer language
{'AND': [['Microsoft Windows', 'programming language', {'concept': 'computer language'}], {'NOT': [['GNUmed', 'programming language', {'concept': 'computer language'}]]}]}
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:computer_language . resource:Microsoft_Windows property:programming_language ?k . FILTER NOT EXISTS { resource:GNUmed property:programming_language ?k } }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q15777 Q165436
P277
Q676202
USER
Which system software are coded in assembly language and C ?
AND((c(Q676202),P277,Q165436), (c(Q676202),P277,Q15777))
action filter_type
action intersection
action find_reverse
entity Q165436
relation P277
action find_reverse
entity Q15777
relation P277
type Q676202
{'AND': [[{'concept': 'Q676202'}, 'P277', 'Q165436'], [{'concept': 'Q676202'}, 'P277', 'Q15777']]}
SELECT DISTINCT ?k WHERE { ?k property:P277 resource:Q15777 . ?k property:P277 resource:Q165436 . ?k rdf:type ontology:Q676202 }
C assembly language
action filter_type
action intersection
action find_reverse
entity assembly language
relation programming language
action find_reverse
entity C
relation programming language
type system software
{'AND': [[{'concept': 'system software'}, 'programming language', 'assembly language'], [{'concept': 'system software'}, 'programming language', 'C']]}
SELECT DISTINCT ?k WHERE { ?k property:programming_language resource:C . ?k property:programming_language resource:assembly_language . ?k rdf:type ontology:system_software }
[]
system software
Q1406 Q11368 Q808858 Q380526 Q486487
SYSTEM
Microsoft Windows, Unix, Barrelfish, AmigaOS, Windows NT
Q1406 Q11368 Q808858 Q380526 Q486487
AND((c(Q676202),P277,Q165436), (c(Q676202),P277,Q15777))
action filter_type
action intersection
action find_reverse
entity Q165436
relation P277
action find_reverse
entity Q15777
relation P277
type Q676202
[ANSWERS] are coded in assembly language and C
{'AND': [[{'concept': 'Q676202'}, 'P277', 'Q165436'], [{'concept': 'Q676202'}, 'P277', 'Q15777']]}
SELECT DISTINCT ?k WHERE { ?k property:P277 resource:Q15777 . ?k property:P277 resource:Q165436 . ?k rdf:type ontology:Q676202 }
Microsoft Windows Unix Barrelfish AmigaOS Windows NT
Microsoft Windows, Unix, Barrelfish, AmigaOS and Windows NT are coded in assembly language and C
Microsoft Windows Unix Barrelfish AmigaOS Windows NT
action filter_type
action intersection
action find_reverse
entity assembly language
relation programming language
action find_reverse
entity C
relation programming language
type system software
{'AND': [[{'concept': 'system software'}, 'programming language', 'assembly language'], [{'concept': 'system software'}, 'programming language', 'C']]}
SELECT DISTINCT ?k WHERE { ?k property:programming_language resource:C . ?k property:programming_language resource:assembly_language . ?k rdf:type ontology:system_software }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P275
Q3943414 Q93288 Q629206
USER
Which computer languages are authorized under min number of free software licenses or contracts ?
(c(Q629206),P275,c(Q3943414)|c(Q93288))
action argmin
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 ?i WHERE { { SELECT DISTINCT ( MIN ( ?q ) AS ?a ) { SELECT DISTINCT ?l ( COUNT ( ?r ) AS ?q ) WHERE { { ?l property:P275 ?r . ?l rdf:type ontology:Q629206 . ?r rdf:type ontology:Q93288 } UNION { ?l property:P275 ?r . ?l rdf:type ontology:Q629206 . ?r rdf:type ontology:Q3943414 } } GROUP BY ?l } } . { SELECT DISTINCT ?i ( COUNT ( ?t ) AS ?m ) WHERE { { ?i property:P275 ?t . ?i rdf:type ontology:Q629206 . ?t rdf:type ontology:Q93288 } UNION { ?i property:P275 ?t . ?i rdf:type ontology:Q629206 . ?t rdf:type ontology:Q3943414 } } GROUP BY ?i } . FILTER ( ?m = ?a ) }
action argmin
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 ?i WHERE { { SELECT DISTINCT ( MIN ( ?q ) AS ?a ) { SELECT DISTINCT ?l ( COUNT ( ?r ) AS ?q ) WHERE { { ?l property:license ?r . ?l rdf:type ontology:computer_language . ?r rdf:type ontology:contract } UNION { ?l property:license ?r . ?l rdf:type ontology:computer_language . ?r rdf:type ontology:free_software_license } } GROUP BY ?l } } . { SELECT DISTINCT ?i ( COUNT ( ?t ) AS ?m ) WHERE { { ?i property:license ?t . ?i rdf:type ontology:computer_language . ?t rdf:type ontology:contract } UNION { ?i property:license ?t . ?i rdf:type ontology:computer_language . ?t rdf:type ontology:free_software_license } } GROUP BY ?i } . FILTER ( ?m = ?a ) }
[]
free software license contract computer language
Q17118377 Q1002996 Q42478
SYSTEM
Swift, Snap!, Perl
Q5706200 Q3109515 Q5607337 Q51798 Q1002996 Q17118377 Q1138939 Q11605797 Q11605828 Q1053535 Q42478 Q602012 Q504453 Q275131 Q3242457 Q11606158 Q11605739 Q978185 Q5301 Q1984753 Q1254148 Q11605785 Q1486175 Q11605804 Q285886 Q334879 Q1398550 Q4866971 Q21055605 Q1334586 Q1186348
(c(Q629206),P275,c(Q3943414)|c(Q93288))
action argmin
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 min number of free software licenses or contracts
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q3943414'}, {'concept': 'Q93288'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( MIN ( ?q ) AS ?a ) { SELECT DISTINCT ?l ( COUNT ( ?r ) AS ?q ) WHERE { { ?l property:P275 ?r . ?l rdf:type ontology:Q629206 . ?r rdf:type ontology:Q93288 } UNION { ?l property:P275 ?r . ?l rdf:type ontology:Q629206 . ?r rdf:type ontology:Q3943414 } } GROUP BY ?l } } . { SELECT DISTINCT ?i ( COUNT ( ?t ) AS ?m ) WHERE { { ?i property:P275 ?t . ?i rdf:type ontology:Q629206 . ?t rdf:type ontology:Q93288 } UNION { ?i property:P275 ?t . ?i rdf:type ontology:Q629206 . ?t rdf:type ontology:Q3943414 } } GROUP BY ?i } . FILTER ( ?m = ?a ) }
Helium Go! Gremlin Clojure Snap! Swift Vala Blitz3D BlitzMax Processing Perl Sather Groovy Scratch Lisaac AmiBlitz Blitz Basic TypeScript TeX Nice Racket Blitz2D GNU Assembler BlitzPlus Haxe Erlang FAUST Basic For Qt Pixie Emacs Lisp Seed7
Swift, Snap! and Perl are authorized under min number of free software licenses or contracts
Swift Snap! Perl
action argmin
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 ?i WHERE { { SELECT DISTINCT ( MIN ( ?q ) AS ?a ) { SELECT DISTINCT ?l ( COUNT ( ?r ) AS ?q ) WHERE { { ?l property:license ?r . ?l rdf:type ontology:computer_language . ?r rdf:type ontology:contract } UNION { ?l property:license ?r . ?l rdf:type ontology:computer_language . ?r rdf:type ontology:free_software_license } } GROUP BY ?l } } . { SELECT DISTINCT ?i ( COUNT ( ?t ) AS ?m ) WHERE { { ?i property:license ?t . ?i rdf:type ontology:computer_language . ?t rdf:type ontology:contract } UNION { ?i property:license ?t . ?i rdf:type ontology:computer_language . ?t rdf:type ontology:free_software_license } } GROUP BY ?i } . FILTER ( ?m = ?a ) }
[]