Module:TheoremFormalizedInList

Documentation for this module may be created at Module:TheoremFormalizedInList/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.formalizationInFrameworkLabel and binding.formalizationInFrameworkLabel.value then
                if resultsString ~= "" then
                    resultsString = resultsString .. ", "
                end
                
				local version = binding.softwareVersion and binding.softwareVersion.value or "N/A"
                local url_to_formalization = binding.softwareVersionReference and binding.softwareVersionReference.value or "N/A"
                             
                local name = binding.formalizationInFrameworkLabel.value
                local link = binding.formalizationInFramework.value
                local nameAndLink = "[" .. url_to_formalization .. " " .. name .. " (".. version .. ")]"

                resultsString = resultsString .. nameAndLink
            end
        end
    end

    return resultsString
end


-- Function to build the list
function p.buildFormalizedInList(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 ID given"
    end    
    
    -- Constructing the SPARQL query with dynamic entity target1
    local sparqlQuery = [[
PREFIX target1: <https://portal.mardi4nfdi.de/entity/]] .. target1 .. [[>
PREFIX p: <https://portal.mardi4nfdi.de/prop/>
PREFIX pr: <https://portal.mardi4nfdi.de/prop/reference/>

SELECT DISTINCT ?formalizationStatement ?formalizationInFramework ?formalizationInFrameworkLabel ?softwareVersion ?softwareVersionReference
WHERE {
    target1: p:P1648 ?formalizationStatement .
    ?formalizationStatement ps:P1648 ?formalizationInFramework .
  
    # Retrieve the label for "formalizationInFramework"
    SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
  
    # Retrieve software version (qualifier P132)
    OPTIONAL { 
        ?formalizationStatement pq:P132 ?softwareVersion .
      
        # Get the reference for software version qualifier
        OPTIONAL { 
            ?formalizationStatement prov:wasDerivedFrom ?referenceNode .
            ?referenceNode pr:P56 ?softwareVersionReference .
        }
    }
  
  SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
  
}
    ]]
    
    -- 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 "Could not fetch data."
	end
	
	if helper.countElementsInBindings(jsonResults.results.bindings) == 0 then
        return "No author found."
	end

	local formalizationList = p.convertJsonToCommaSeparatedList(jsonResults)
	
	mw.log(formalizationList) 
	
    return formalizationList
end

-- Return the created html table
return p