Simple Question (Direct)
Simple Question
Q3704843
P408
Q166142
USER
Which application is the software engine employed by Dungeonland ?
(Q3704843,P408,c(Q166142))
action filter_type
action find
entity Q3704843
relation P408
type Q166142
['Q3704843', 'P408', {'concept': 'Q166142'}]
SELECT DISTINCT ?y WHERE { resource:Q3704843 property:P408 ?y . ?y rdf:type ontology:Q166142 }
Dungeonland
action filter_type
action find
entity Dungeonland
relation software engine
type application
['Dungeonland', 'software engine', {'concept': 'application'}]
SELECT DISTINCT ?y WHERE { resource:Dungeonland property:software_engine ?y . ?y rdf:type ontology:application }
[]
application
Q63966
SYSTEM
Unity
Q63966
(Q3704843,P408,c(Q166142))
action filter_type
action find
entity Q3704843
relation P408
type Q166142
[ANSWER] is the software engine employed by Dungeonland
['Q3704843', 'P408', {'concept': 'Q166142'}]
SELECT DISTINCT ?y WHERE { resource:Q3704843 property:P408 ?y . ?y rdf:type ontology:Q166142 }
Unity
Unity is the software engine employed by Dungeonland
Unity
action filter_type
action find
entity Dungeonland
relation software engine
type application
['Dungeonland', 'software engine', {'concept': 'application'}]
SELECT DISTINCT ?y WHERE { resource:Dungeonland property:software_engine ?y . ?y rdf:type ontology:application }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q63966 Q15628543
P306
Q676202
USER
Is Wii U system software linked with that application ?
(Q63966,P306,Q15628543)
action is_in
entity Q15628543
action find
entity Q63966
relation P306
['Q63966', 'P306', 'Q15628543']
ASK WHERE { resource:Q63966 property:P306 resource:Q15628543 }
Unity Wii U system software
action is_in
entity Wii U system software
action find
entity Unity
relation operating system
['Unity', 'operating system', 'Wii U system software']
ASK WHERE { resource:Unity property:operating_system resource:Wii_U_system_software }
[]
system software
SYSTEM
YES
(Q63966,P306,Q15628543)
action is_in
entity Q15628543
action find
entity Q63966
relation P306
[ANSWER]
['Q63966', 'P306', 'Q15628543']
ASK WHERE { resource:Q63966 property:P306 resource:Q15628543 }
Yes
action is_in
entity Wii U system software
action find
entity Unity
relation operating system
['Unity', 'operating system', 'Wii U system software']
ASK WHERE { resource:Unity property:operating_system resource:Wii_U_system_software }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q3704843 Q14116
P400
Q7397
USER
Is macOS the specific platform for which Dungeonland was released ?
(Q3704843,P400,Q14116)
action is_in
entity Q14116
action find
entity Q3704843
relation P400
['Q3704843', 'P400', 'Q14116']
ASK WHERE { resource:Q3704843 property:P400 resource:Q14116 }
Dungeonland macOS
action is_in
entity macOS
action find
entity Dungeonland
relation platform
['Dungeonland', 'platform', 'macOS']
ASK WHERE { resource:Dungeonland property:platform resource:macOS }
[]
software
SYSTEM
YES
(Q3704843,P400,Q14116)
action is_in
entity Q14116
action find
entity Q3704843
relation P400
[ANSWER]
['Q3704843', 'P400', 'Q14116']
ASK WHERE { resource:Q3704843 property:P400 resource:Q14116 }
Yes
action is_in
entity macOS
action find
entity Dungeonland
relation platform
['Dungeonland', 'platform', 'macOS']
ASK WHERE { resource:Dungeonland property:platform resource:macOS }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q63966 Q2566011
P277
Q629206
USER
Is Short Code used to create Unity ?
(Q63966,P277,Q2566011)
action is_in
entity Q2566011
action find
entity Q63966
relation P277
['Q63966', 'P277', 'Q2566011']
ASK WHERE { resource:Q63966 property:P277 resource:Q2566011 }
Unity Short Code
action is_in
entity Short Code
action find
entity Unity
relation programming language
['Unity', 'programming language', 'Short Code']
ASK WHERE { resource:Unity property:programming_language resource:Short_Code }
[]
computer language
SYSTEM
NO
(Q63966,P277,Q2566011)
action is_in
entity Q2566011
action find
entity Q63966
relation P277
[ANSWER]
['Q63966', 'P277', 'Q2566011']
ASK WHERE { resource:Q63966 property:P277 resource:Q2566011 }
No
action is_in
entity Short Code
action find
entity Unity
relation programming language
['Unity', 'programming language', 'Short Code']
ASK WHERE { resource:Unity property:programming_language resource:Short_Code }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q971909 Q14116
P277
Q629206
USER
Which computer languages are used to write macOS or SuperTuxKart ?
OR((Q14116,P277,c(Q629206)), (Q971909,P277,c(Q629206)))
action filter_type
action union
action find
entity Q14116
relation P277
action find
entity Q971909
relation P277
type Q629206
{'OR': [['Q14116', 'P277', {'concept': 'Q629206'}], ['Q971909', 'P277', {'concept': 'Q629206'}]]}
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q629206 . { { resource:Q14116 property:P277 ?h } UNION { resource:Q971909 property:P277 ?h } } }
SuperTuxKart macOS
action filter_type
action union
action find
entity macOS
relation programming language
action find
entity SuperTuxKart
relation programming language
type computer language
{'OR': [['macOS', 'programming language', {'concept': 'computer language'}], ['SuperTuxKart', 'programming language', {'concept': 'computer language'}]]}
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:computer_language . { { resource:macOS property:programming_language ?h } UNION { resource:SuperTuxKart property:programming_language ?h } } }
[]
computer language
Q188531 Q17118377 Q2115 Q15777 Q2407
SYSTEM
Objective-C, Swift, XML, C, C++
Q188531 Q17118377 Q2115 Q15777 Q2407
OR((Q14116,P277,c(Q629206)), (Q971909,P277,c(Q629206)))
action filter_type
action union
action find
entity Q14116
relation P277
action find
entity Q971909
relation P277
type Q629206
[ANSWERS] are used to write macOS or SuperTuxKart
{'OR': [['Q14116', 'P277', {'concept': 'Q629206'}], ['Q971909', 'P277', {'concept': 'Q629206'}]]}
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q629206 . { { resource:Q14116 property:P277 ?h } UNION { resource:Q971909 property:P277 ?h } } }
Objective-C Swift XML C C++
Objective-C, Swift, XML, C and C++ are used to write macOS or SuperTuxKart
Objective-C Swift XML C C++
action filter_type
action union
action find
entity macOS
relation programming language
action find
entity SuperTuxKart
relation programming language
type computer language
{'OR': [['macOS', 'programming language', {'concept': 'computer language'}], ['SuperTuxKart', 'programming language', {'concept': 'computer language'}]]}
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:computer_language . { { resource:macOS property:programming_language ?h } UNION { resource:SuperTuxKart property:programming_language ?h } } }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q1406 Q15777
P277 P306
Q1371279
USER
Which server software are developed in C and are n't installed at Microsoft Windows ?
AND((c(Q1371279),P277,Q15777), NOT((c(Q1371279),P306,Q1406)))
action filter_type
action difference
action find_reverse
entity Q15777
relation P277
action find_reverse
entity Q1406
relation P306
type Q1371279
{'AND': [[{'concept': 'Q1371279'}, 'P277', 'Q15777'], {'NOT': [[{'concept': 'Q1371279'}, 'P306', 'Q1406']]}]}
SELECT DISTINCT ?h WHERE { ?h property:P277 resource:Q15777 . FILTER NOT EXISTS { ?h property:P306 resource:Q1406 } . ?h rdf:type ontology:Q1371279 }
Microsoft Windows C
action filter_type
action difference
action find_reverse
entity C
relation programming language
action find_reverse
entity Microsoft Windows
relation operating system
type server software
{'AND': [[{'concept': 'server software'}, 'programming language', 'C'], {'NOT': [[{'concept': 'server software'}, 'operating system', 'Microsoft Windows']]}]}
SELECT DISTINCT ?h WHERE { ?h property:programming_language resource:C . FILTER NOT EXISTS { ?h property:operating_system resource:Microsoft_Windows } . ?h rdf:type ontology:server_software }
[]
server software
Q518900 Q5451840 Q14561 Q692045 Q17069730 Q2373 Q1416778 Q994121 Q841783 Q742255
SYSTEM
Some of them are X.Org Server, Firefly Media Server, Wayland, Enlightenment, Monkey web server, Cherokee, Mutter, Exim, Squid cache, XFree86
Q5451840 Q2373 Q14561 Q217765 Q692045 Q1617177 Q742255 Q3266371 Q1416778 Q841783 Q994121 Q518900 Q17069730
AND((c(Q1371279),P277,Q15777), NOT((c(Q1371279),P306,Q1406)))
action filter_type
action difference
action find_reverse
entity Q15777
relation P277
action find_reverse
entity Q1406
relation P306
type Q1371279
[ANSWERS] are developed in C and are n't installed at Microsoft Windows
{'AND': [[{'concept': 'Q1371279'}, 'P277', 'Q15777'], {'NOT': [[{'concept': 'Q1371279'}, 'P306', 'Q1406']]}]}
SELECT DISTINCT ?h WHERE { ?h property:P277 resource:Q15777 . FILTER NOT EXISTS { ?h property:P306 resource:Q1406 } . ?h rdf:type ontology:Q1371279 }
Firefly Media Server Cherokee Wayland Lighttpd Enlightenment Hiawatha XFree86 Thttpd Mutter Squid cache Exim X.Org Server Monkey web server
X.Org Server, Firefly Media Server, Wayland, Enlightenment, Monkey web server, Cherokee, Mutter, Exim, Squid cache and XFree86 are developed in C and are n't installed at Microsoft Windows
X.Org Server Firefly Media Server Wayland Enlightenment Monkey web server Cherokee Mutter Exim Squid cache XFree86
action filter_type
action difference
action find_reverse
entity C
relation programming language
action find_reverse
entity Microsoft Windows
relation operating system
type server software
{'AND': [[{'concept': 'server software'}, 'programming language', 'C'], {'NOT': [[{'concept': 'server software'}, 'operating system', 'Microsoft Windows']]}]}
SELECT DISTINCT ?h WHERE { ?h property:programming_language resource:C . FILTER NOT EXISTS { ?h property:operating_system resource:Microsoft_Windows } . ?h rdf:type ontology:server_software }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P275
Q7397 Q3943414 Q1371279
USER
Which server software are authorized under exactly 1 software and free software licenses ?
(c(Q1371279),P275,c(Q7397)|c(Q3943414))
action equal
action union
action find_tuple_counts
relation P275
type Q1371279
type Q7397
action find_tuple_counts
relation P275
type Q1371279
type Q3943414
value 1
[{'concept': 'Q1371279'}, 'P275', [{'concept': 'Q7397'}, {'concept': 'Q3943414'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?s ) AS ?n ) WHERE { ?s rdf:type ?u . VALUES ( ?u ) { ( ontology:Q7397 ) ( ontology:Q3943414 ) } } GROUP BY ?w } . FILTER ( ?n = 1 ) }
action equal
action union
action find_tuple_counts
relation license
type server software
type software
action find_tuple_counts
relation license
type server software
type free software license
value 1
[{'concept': 'server software'}, 'license', [{'concept': 'software'}, {'concept': 'free software license'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?s ) AS ?n ) WHERE { ?s rdf:type ?u . VALUES ( ?u ) { ( ontology:software ) ( ontology:free_software_license ) } } GROUP BY ?w } . FILTER ( ?n = 1 ) }
[]
software free software license server software
Q690965 Q306144 Q11246
SYSTEM
Privoxy, Nginx, Windows Server 2003
Q15926623 Q178481 Q3266371 Q5446696 Q690965 Q1088546 Q5618801 Q1131030 Q306144 Q11246 Q217765 Q692045
(c(Q1371279),P275,c(Q7397)|c(Q3943414))
action equal
action union
action find_tuple_counts
relation P275
type Q1371279
type Q7397
action find_tuple_counts
relation P275
type Q1371279
type Q3943414
value 1
[ANSWERS] are authorized under exactly 1 software and free software licenses
[{'concept': 'Q1371279'}, 'P275', [{'concept': 'Q7397'}, {'concept': 'Q3943414'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?s ) AS ?n ) WHERE { ?s rdf:type ?u . VALUES ( ?u ) { ( ontology:Q7397 ) ( ontology:Q3943414 ) } } GROUP BY ?w } . FILTER ( ?n = 1 ) }
Windows Server 2003 R2 X Window System Thttpd Fiddler Privoxy Tornado Gunicorn Red5 (media server) Nginx Windows Server 2003 Lighttpd Enlightenment
Privoxy, Nginx and Windows Server 2003 are authorized under exactly 1 software and free software licenses
Privoxy Nginx Windows Server 2003
action equal
action union
action find_tuple_counts
relation license
type server software
type software
action find_tuple_counts
relation license
type server software
type free software license
value 1
[{'concept': 'server software'}, 'license', [{'concept': 'software'}, {'concept': 'free software license'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?s ) AS ?n ) WHERE { ?s rdf:type ?u . VALUES ( ?u ) { ( ontology:software ) ( ontology:free_software_license ) } } GROUP BY ?w } . FILTER ( ?n = 1 ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P277
Q629206 Q1371279
USER
How many server software are programmed using atleast 2 computer languages ?
(c(Q1371279),P277,c(Q629206))
action count
action atleast
action find_tuple_counts
relation P277
type Q1371279
type Q629206
value 2
[{'concept': 'Q1371279'}, 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?t ) AS ?w ) WHERE { ?x property:P277 ?t . ?x rdf:type ontology:Q1371279 . ?t rdf:type ontology:Q629206 } GROUP BY ?x } . FILTER ( ?w >= 2 ) }
action count
action atleast
action find_tuple_counts
relation programming language
type server software
type computer language
value 2
[{'concept': 'server software'}, 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?t ) AS ?w ) WHERE { ?x property:programming_language ?t . ?x rdf:type ontology:server_software . ?t rdf:type ontology:computer_language } GROUP BY ?x } . FILTER ( ?w >= 2 ) }
[]
computer language server software
SYSTEM
2
Q171477 Q841783
(c(Q1371279),P277,c(Q629206))
action count
action atleast
action find_tuple_counts
relation P277
type Q1371279
type Q629206
value 2
[ANSWER]
[{'concept': 'Q1371279'}, 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?t ) AS ?w ) WHERE { ?x property:P277 ?t . ?x rdf:type ontology:Q1371279 . ?t rdf:type ontology:Q629206 } GROUP BY ?x } . FILTER ( ?w >= 2 ) }
VLC media player Squid cache
2
action count
action atleast
action find_tuple_counts
relation programming language
type server software
type computer language
value 2
[{'concept': 'server software'}, 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?t ) AS ?w ) WHERE { ?x property:programming_language ?t . ?x rdf:type ontology:server_software . ?t rdf:type ontology:computer_language } GROUP BY ?x } . FILTER ( ?w >= 2 ) }
[]