Template:Workflow: Difference between revisions
From MaRDI portal
| Line 671: | Line 671: | ||
{{#sparql: | {{#sparql: | ||
SELECT ?Mathematically | SELECT ?Mathematically | ||
? | ?Runtime | ||
? | ?Result | ||
? | ?OriginalPlatform | ||
? | ?CrossPlatform | ||
?Transferability | ?Transferability | ||
| Line 682: | Line 682: | ||
OPTIONAL { | OPTIONAL { | ||
wd:{{#invoke:Wd|label|raw|}} p:P31 ?math_statement. | wd:{{#invoke:Wd|label|raw|}} p:P31 ?math_statement. | ||
?math_statement ps:P31 wd: | ?math_statement ps:P31 wd:Q6534210. | ||
BIND("Yes" AS ?math_hasTriple) | BIND("Yes" AS ?math_hasTriple) | ||
OPTIONAL { | OPTIONAL { | ||
| Line 691: | Line 691: | ||
BIND(IF(BOUND(?math_result), ?math_result, IF(BOUND(?math_hasTriple), "Yes", "No")) AS ?Mathematically) | BIND(IF(BOUND(?math_result), ?math_result, IF(BOUND(?math_hasTriple), "Yes", "No")) AS ?Mathematically) | ||
# Runtime Reproducibility | # Runtime Reproducibility | ||
OPTIONAL { | OPTIONAL { | ||
wd:{{#invoke:Wd|label|raw|}} p:P31 ?run_statement. | wd:{{#invoke:Wd|label|raw|}} p:P31 ?run_statement. | ||
?run_statement ps:P31 wd:Q6534211. | ?run_statement ps:P31 wd:Q6534211. | ||
BIND("Yes" AS ? | BIND("Yes" AS ?run_hasTriple) | ||
OPTIONAL { | OPTIONAL { | ||
?run_statement pq:P8 ?run_text. | ?run_statement pq:P8 ?run_text. | ||
BIND(CONCAT("Yes: ", | BIND(CONCAT("Yes: ", STR(?run_text)) AS ?run_result) | ||
} | |||
} | } | ||
BIND(IF(BOUND(?run_result), ?run_result, IF(BOUND(?run_hasTriple), "Yes", "No")) AS ?Runtime) | |||
# Result Reproducibility | # Result Reproducibility | ||
OPTIONAL { | OPTIONAL { | ||
wd:{{#invoke:Wd|label|raw|}} p:P31 ?res_statement. | wd:{{#invoke:Wd|label|raw|}} p:P31 ?res_statement. | ||
?res_statement ps:P31 wd:Q6534212. | ?res_statement ps:P31 wd:Q6534212. | ||
BIND("Yes" AS ? | BIND("Yes" AS ?res_hasTriple) | ||
OPTIONAL { | OPTIONAL { | ||
?res_statement pq:P8 ?res_text. | ?res_statement pq:P8 ?res_text. | ||
BIND(CONCAT("Yes: ", | BIND(CONCAT("Yes: ", STR(?res_text)) AS ?res_result) | ||
} | |||
} | } | ||
BIND(IF(BOUND(?res_result), ?res_result, IF(BOUND(?res_hasTriple), "Yes", "No")) AS ?Result) | |||
# Original Platform Reproducibility | # Original Platform Reproducibility | ||
OPTIONAL { | OPTIONAL { | ||
wd:{{#invoke:Wd|label|raw|}} p:P31 ?plat_statement. | wd:{{#invoke:Wd|label|raw|}} p:P31 ?plat_statement. | ||
?plat_statement ps:P31 wd:Q6534213. | ?plat_statement ps:P31 wd:Q6534213. | ||
BIND("Yes" AS ? | BIND("Yes" AS ?plat_hasTriple) | ||
OPTIONAL { | OPTIONAL { | ||
?plat_statement pq:P8 ?plat_text. | ?plat_statement pq:P8 ?plat_text. | ||
BIND(CONCAT("Yes: ", | BIND(CONCAT("Yes: ", STR(?plat_text)) AS ?plat_result) | ||
} | |||
} | } | ||
BIND(IF(BOUND(?plat_result), ?plat_result, IF(BOUND(?plat_hasTriple), "Yes", "No")) AS ?OriginalPlatform) | |||
# | # Cross Platform Reproducibility | ||
OPTIONAL { | OPTIONAL { | ||
wd:{{#invoke:Wd|label|raw|}} p:P31 ?xplat_statement. | wd:{{#invoke:Wd|label|raw|}} p:P31 ?xplat_statement. | ||
?xplat_statement ps:P31 wd:Q6534214. | ?xplat_statement ps:P31 wd:Q6534214. | ||
BIND("Yes" AS ? | BIND("Yes" AS ?xplat_hasTriple) | ||
OPTIONAL { | OPTIONAL { | ||
?xplat_statement pq:P8 ?xplat_text. | ?xplat_statement pq:P8 ?xplat_text. | ||
BIND(CONCAT("Yes: ", | BIND(CONCAT("Yes: ", STR(?xplat_text)) AS ?xplat_result) | ||
} | |||
} | } | ||
BIND(IF(BOUND(?xplat_result), ?xplat_result, IF(BOUND(?xplat_hasTriple), "Yes", "No")) AS ?CrossPlatform) | |||
# Transferability | # Transferability | ||
| Line 751: | Line 751: | ||
BIND(IF(BOUND(?trans_result), ?trans_result, IF(BOUND(?trans_hasTriple), "Yes", "No")) AS ?Transferability) | BIND(IF(BOUND(?trans_result), ?trans_result, IF(BOUND(?trans_hasTriple), "Yes", "No")) AS ?Transferability) | ||
} | } | ||
GROUP BY ?Mathematically ? | GROUP BY ?Mathematically ?Runtime ?Result ?OriginalPlatform ?CrossPlatform ?Transferability | ||
| chart=bordercloud.visualization.DataTable | | chart=bordercloud.visualization.DataTable | ||
Revision as of 10:00, 17 December 2024
