Module:PublicationContainsTheoremList

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