Module:MathModDB

Documentation for this module may be created at Module:MathModDB/doc

-- Required modules for SPARQL queries and HTML table generation
-- Module for executing SPARQL queries
local sparql = require('SPARQL')
-- MediaWiki library for logging and utilities
local mw = require('mw')
local json = require("mw.text") 

-- Main table to hold all functions
local p = {}

function p.getMathModDBStatistics()

	-- Table to store statistics
	local MathModDBStatistics = {}

	----------------Academic Disciplines----------------------------------------
	--   Q60231 refers to academic discipline 
	-- Q6534265 refers to MathModDB community
	local sparqlQuery = [[
	SELECT ?Academic_Disciplines
	WHERE {
    	?item wdt:P31   wd:Q60231;
        	  wdt:P1495 wd:Q6534265 .
	}
    ]]
    
	-- Executing the SPARQL query and retrieving results in JSON format
	local jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of academic disciplines
	local totalAcademicDisciplines = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    local url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Academic_discipline"
    local totalAcademicDisciplinesWithUrl = string.format('[%s %s]', tostring(url), tostring(totalAcademicDisciplines))
    table.insert(MathModDBStatistics, "| Academic Disciplines: " .. totalAcademicDisciplinesWithUrl)
    

	----------------Research Problems-------------------------------------------  
	-- Q6032837 refers to research problem   
	-- Q6534265 refers to MathModDB community 
	local sparqlQuery = [[
	SELECT ?Research_Problems
	WHERE {
		?item wdt:P31 wd:Q6032837;
        	  wdt:P1495 wd:Q6534265 .
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of research problems
	local totalResearchProblems = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Research_problem"
    local totalResearchProblemsWithUrl = string.format('[%s %s]', tostring(url), tostring(totalResearchProblems))
    table.insert(MathModDBStatistics, "| Research Problems: " .. totalResearchProblemsWithUrl)
    
    ----------------Mathematical Models-----------------------------------------  
	-- Q68663 refers to mathematical model
	-- Q6534265 refers to MathModDB community
	local sparqlQuery = [[
	SELECT ?Mathematical_Models
	WHERE {
    ?item wdt:P31 wd:Q68663;
          wdt:P1495 wd:Q6534265 .
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of research problems
	local totalMathModels = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Model"
    local totalMathModelsWithUrl = string.format('[%s %s]', tostring(url), tostring(totalMathModels))
    table.insert(MathModDBStatistics, "| Mathematical Models: " .. totalMathModelsWithUrl)



----------------Computational Tasks---------------------------------------------  
	-- Q6534247 refers to computational task
	-- Q6534265 refers to MathModDB community
	local sparqlQuery = [[
	SELECT ?Computational_Tasks 
	WHERE {
    	?item wdt:P31 wd:Q6534247;
    	      wdt:P1495 wd:Q6534265 .
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of research problems
	local totalCompTasks = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Task"
    local totalCompTasksWithUrl = string.format('[%s %s]', tostring(url), tostring(totalCompTasks))
    table.insert(MathModDBStatistics, "| Computational Tasks: " .. totalCompTasksWithUrl)
    
----------------Mathematical Expressions---------------------------------------  
	-- Q6481152 refers to mathematical expresion
	-- Q6534265 refers to MathModDB community
	local sparqlQuery = [[
	SELECT ?Mathematical_Expressions 
	WHERE {
    	?item wdt:P31 wd:Q6481152;
        	  wdt:P1495 wd:Q6534265 .
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of research problems
	local totalMathExpressions = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Formula"
    local totalMathExpressionsWithUrl = string.format('[%s %s]', tostring(url), tostring(totalMathExpressions))
    table.insert(MathModDBStatistics, "| Mathematical Expressions: " .. totalMathExpressionsWithUrl)


---------------------------Quantities-------------------------------------------  
	-- Q6534237 refers to quantity            
	-- Q6534265 refers to MathModDB community

	local sparqlQuery = [[
	SELECT ?Quantities 
	WHERE {
    	?item wdt:P31 wd:Q6534237;
        	  wdt:P1495 wd:Q6534265 .
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of research problems
	local totalQuantities = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Quantity"
    local totalQuantitiesWithUrl = string.format('[%s %s]', tostring(url), tostring(totalQuantities))
    table.insert(MathModDBStatistics, "| Quantities: " .. totalQuantitiesWithUrl)

---------------------------Quantity Kinds---------------------------------------  
	-- Q6534245 refers to quantity kind
	-- Q6534265 refers to MathModDB community

	local sparqlQuery = [[
	SELECT ?Quantity_Kinds 
	WHERE {
    	?item wdt:P31 wd:Q6534245;
        	  wdt:P1495 wd:Q6534265 .
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	-- Get the number of research problems
	local totalQuantityKinds = #jsonResults.results.bindings  + 1
	
    -- Construct the Portal URL
    url = "https://portal.mardi4nfdi.de/wiki/MathModDB/Quantity"
    local totalQuantityKindsWithUrl = string.format('[%s %s]', tostring(url), tostring(totalQuantityKinds))
    table.insert(MathModDBStatistics, "| Quantity Kinds: " .. totalQuantityKindsWithUrl)


    -- Construct the Wikitext table
    	local wikitextTable = [[
{| class="wikitable" style="table-layout: fixed; width: 300px;"
]] .. table.concat(MathModDBStatistics, "\n|-\n") .. "\n|}"
    	return wikitextTable


end



function p.getMathModDBWikidataWikipediaItems()
	
	-- Table to store MathModDB items with WikidataQID and Wikipedia Link ("described at URL")
	local MathModDBBWikidataWikipediaItems = {}

 
	-- P1495 refers to property community
	-- Q6534265 refers to MathModDB community
	-- P12 refers to property WikidataQID

	local sparqlQuery = [[
	SELECT DISTINCT ?URL ?URLLabel
	WHERE {
	?URL wdt:P1495 wd:Q6534265 ;
        wdt:P12   ?value .
	SERVICE wikibase:label { bd:serviceParam wikibase:language "[AUTO_LANGUAGE],en". }
	}
	]]

	-- Executing the SPARQL query and retrieving results in JSON format
	jsonResults = sparql.runQuery(sparqlQuery)
	
	  -- Build table header
    local wikitextTable = '{| class="wikitable"\n! Item !! Label\n'

    -- Loop over results
    for i, row in ipairs(jsonResults) do
        local item = row.item.value   -- full URI
        local label = row.itemLabel and row.itemLabel.value or ''
        -- Extract Q-ID from URI
        local qid = string.match(item, "Q%d+")
        wikitextTable = wikitextTable .. string.format("|-\n| [[d:%s|%s]] || %s\n", qid, qid, label)
    end

    -- End table
    wikitextTable = wikitextTable .. "|}"
	
    return wikitextTable
    
end

return p