Module:PublicationContainsTheoremList: Difference between revisions
From MaRDI portal
Created page with "-- Required module containing helper methods local helper = require('Module:HelperMethods') -- Required modules for SPARQL queries and HTML table generation local sparql = require('SPARQL') local mwHtml = require('mw.html') -- Main table to hold all functions local p = {} -- Function to convert JSON results into a comma-separated string function p.convertJsonToCommaSeparatedList(jsonResults) local resultsString = "" if jsonResults and jsonResults.results and jsonR..." |
No edit summary |
||
Line 58: | Line 58: | ||
SELECT ?property ?propertyLabel ?value ?valueLabel | SELECT ?property ?propertyLabel ?value ?valueLabel | ||
WHERE { | WHERE { | ||
target: wdt: | target: wdt:P1646 ?value . | ||
OPTIONAL { | OPTIONAL { | ||
?value rdfs:label ?valueLabel . | ?value rdfs:label ?valueLabel . | ||
FILTER(LANG(?valueLabel) = "en") | FILTER(LANG(?valueLabel) = "en") | ||
} | } | ||
BIND(wdt: | BIND(wdt:P1646 AS ?property) | ||
SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". } | SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". } | ||
} | } | ||
Line 95: | Line 95: | ||
local result = [[ | local result = [[ | ||
<div class="keywords-header"> | <div class="keywords-header"> | ||
<span class="keywords-title"> | <span class="keywords-title">Contains Proof</span> | ||
<div class="keywords-line"></div> | <div class="keywords-line"></div> | ||
</div> | </div> |
Revision as of 00:55, 6 December 2024
Documentation for this module may be created at Module:PublicationContainsTheoremList/doc
-- Required module containing helper methods
local helper = require('Module:HelperMethods')
-- Required modules for SPARQL queries and HTML table generation
local sparql = require('SPARQL')
local mwHtml = require('mw.html')
-- Main table to hold all functions
local p = {}
-- Function to convert JSON results into a comma-separated string
function p.convertJsonToCommaSeparatedList(jsonResults)
local resultsString = ""
if jsonResults and jsonResults.results and jsonResults.results.bindings then
local bindings = jsonResults.results.bindings
for i = 0, #bindings do
local binding = bindings[i]
if binding and binding.valueLabel and binding.valueLabel.value then
if resultsString ~= "" then
resultsString = resultsString
end
local name = binding.valueLabel.value
if string.find(name, "https://") then
name = "Unnamed Item"
end
local link = binding.value.value
link = link:gsub("entity/Q", "wiki/Software:")
local nameAndLink = "<li>[" .. link .. " " .. name .. "]</li>"
resultsString = resultsString .. nameAndLink
end
end
end
return "<ul> " .. resultsString .. " </ul>"
end
-- Function to build the list
function p.getContainedProofList(frame)
-- Retrieve target1 from frame arguments or return error message if not set
local target1 = frame.args[1]
if not target1 or target1 == '' then
return "No records found"
end
-- Constructing the SPARQL query with dynamic entity target1
local sparqlQuery = [[
PREFIX target: <https://portal.mardi4nfdi.de/entity/]] .. target1 .. [[>
PREFIX wdt: <https://portal.mardi4nfdi.de/prop/direct/>
PREFIX wd: <https://portal.mardi4nfdi.de/entity/>
SELECT ?property ?propertyLabel ?value ?valueLabel
WHERE {
target: wdt:P1646 ?value .
OPTIONAL {
?value rdfs:label ?valueLabel .
FILTER(LANG(?valueLabel) = "en")
}
BIND(wdt:P1646 AS ?property)
SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
}
ORDER BY ?propertyLabel
]]
-- mw.log( sparqlQuery )
-- Executing the SPARQL query and retrieving results in JSON format
local jsonResults = sparql.runQuery(sparqlQuery)
mw.logObject(jsonResults)
-- Handle error in SPARQL query execution
if jsonResults and jsonResults.error then
mw.log("Error in SPARQL query: " .. tostring(jsonResults.error))
return nil
end
if not jsonResults then
return nil
end
if helper.countElementsInBindings(jsonResults.results.bindings) == 0 then
return nil
end
local linkList = p.convertJsonToCommaSeparatedList(jsonResults)
-- mw.log(linkList)
local result = [[
<div class="keywords-header">
<span class="keywords-title">Contains Proof</span>
<div class="keywords-line"></div>
</div>
<div class="keywords-list"> ]] .. linkList .. [[</div>
]]
return result
end
-- Return the created html table
return p