Module:Theorems: Difference between revisions

From MaRDI portal
Created page with "local sparql = require('SPARQL') -- Load the SPARQL binding local p = {} function p.showFirstValue(frame) local sparqlQuery = frame.args[1] local queryResults = sparql.runQuery(sparqlQuery) -- Use the runQuery method local firstColName = queryResults['head']['vars'][0] return queryResults['results']['bindings'][0][firstColName]['value'] end return p"
 
No edit summary
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
local sparql = require('SPARQL') -- Load the SPARQL binding
-- 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 = {}
local p = {}


function p.showFirstValue(frame)
-- Function to build a HTML table from SPARQL query results
  local sparqlQuery = frame.args[1]
function p.buildTableFromSparql(frame)
   local queryResults = sparql.runQuery(sparqlQuery) -- Use the runQuery method
 
   
    local height = frame.args[2] or '400px' -- Default height if not specified
    local width = frame.args[3] or '800px' -- Default width if not specified
   
    -- Get the current URL
    local baseUrl = mw.site.server
 
 
    -- Constructing the SPARQL query with dynamic entity target1
    local sparqlQuery = [[
SELECT ?item ?description  ?label ?proof ?proofLabel ?software ?softwareLabel{
  {
    SELECT ?item ?proof ?software {
      ?item wdt:P37 wd:Q6480413 .
      ?item p:P1603 ?proof_statement .
      ?proof_statement ps:P1603 ?proof .
      ?proof_statement pq:P114 ?software
    }
   }
  SERVICE wikibase:label {
    bd:serviceParam wikibase:language "en" .
    ?item rdfs:label ?label .
    ?item schema:description ?description .
    ?proof rdfs:label ?proofLabel .
    ?software rdfs:label ?softwareLabel       
  }
}
    ]]
 
-- Executing the SPARQL query and retrieving results in JSON format
-- mw.log( sparqlQuery )
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 records found."
end
-- Convert the JSON results into a Lua table
    local fieldOrder = {"item", "description",  "label", "proof", "proofLabel", "software", "softwareLabel" }
local dataTable = helper.convertJsonToTableOrdered(jsonResults, fieldOrder)
    -- Create and return HTML table from the data
    local headers = {"Theorem", "Software", "Paper"}
    local htmlTable =  helper.createHtmlTableWithMergedCols(dataTable, headers, {{1, 3}, {6,7}, {4,5} })
 
   
    -- Create a parent container for both the table and the chart
local parentContainer = mw.html.create('div')
    :addClass('parent-container')
    :css('width', width) -- Set the width as needed
 


  local firstColName = queryResults['head']['vars'][0]
    -- Add the table and chart to the parent container
  return queryResults['results']['bindings'][0][firstColName]['value']
parentContainer
    :node(htmlTable)
        :node(heading)
    :node(chartContainer)


    return tostring(parentContainer)
end
end


-- Return the created html table
return p
return p

Latest revision as of 20:21, 1 August 2024

Documentation for this module may be created at Module:Theorems/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 build a HTML table from SPARQL query results
function p.buildTableFromSparql(frame)
	

    
    local height = frame.args[2] or '400px' -- Default height if not specified
    local width = frame.args[3] or '800px' -- Default width if not specified
    
    -- Get the current URL
    local baseUrl = mw.site.server


    -- Constructing the SPARQL query with dynamic entity target1
    local sparqlQuery = [[
SELECT ?item ?description  ?label ?proof ?proofLabel ?software ?softwareLabel{
  {
    SELECT ?item ?proof ?software {
      ?item wdt:P37 wd:Q6480413 .
      ?item p:P1603 ?proof_statement .
      ?proof_statement ps:P1603 ?proof .
      ?proof_statement pq:P114 ?software
    } 
  }
  SERVICE wikibase:label {
    bd:serviceParam wikibase:language "en" .
    ?item rdfs:label ?label .
    ?item schema:description ?description .
    ?proof rdfs:label ?proofLabel .
    ?software rdfs:label ?softwareLabel         
  }
}
    ]]

	-- Executing the SPARQL query and retrieving results in JSON format
	-- mw.log( sparqlQuery )
	
	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 records found."
	end
	
	-- Convert the JSON results into a Lua table
    local fieldOrder = {"item", "description",  "label", "proof", "proofLabel", "software", "softwareLabel" }
	local dataTable = helper.convertJsonToTableOrdered(jsonResults, fieldOrder)
	
    -- Create and return HTML table from the data
    local headers = {"Theorem", "Software", "Paper"}
    local htmlTable =  helper.createHtmlTableWithMergedCols(dataTable, headers, {{1, 3}, {6,7}, {4,5} })

    
    -- Create a parent container for both the table and the chart
	local parentContainer = mw.html.create('div')
    	:addClass('parent-container')
    	:css('width', width) -- Set the width as needed


    -- Add the table and chart to the parent container
	parentContainer
    	:node(htmlTable)
        :node(heading)
    	:node(chartContainer)

    return tostring(parentContainer)
end



-- Return the created html table
return p