MathModDB:Free Fall Model (Vacuum): Difference between revisions

From MaRDI portal
← Older editNewer edit →
VisualWikitext
No edit summary
Tag: Reverted
(186 intermediate revisions by 3 users not shown)
Line 1: Line 1:
As a pedagogical example, let us consider the famous story of [https://portal.mardi4nfdi.de/wiki/Item:Q1437751 Sir Isaac Newton] being inspired to formulate his theory of gravitation by watching the fall of an apple from a tree in the year 1666. We have implemented this within the MathModDB knowledge graph by including a [[Item:Q3826|Research Field]] named "[[Item:Q3825|Pomology]]" (science of fruits) [[Property:P824|containing]] [[Item:Q3782|"Gravitational Effects on Fruit"]] as a specific [[Item:Q3781|Research Problem]]. Currently, there is a choice of two [[Item:Q3830|Mathematical Models]] addressing this problem, i. e., "Free Fall Models" without and with the effect of air drag, both of them assuming constant gravitation. [[Item:Q3785|The former one]], actually dating back to Newton, contains the simple "[[Item:Q3794|Free Fall Equation]]",  
As a pedagogical example, let us consider the famous story of [https://portal.mardi4nfdi.de/wiki/Item:Q1437751 Sir Isaac Newton] being inspired to formulate his theory of gravitation by watching the fall of an apple from a tree in the year 1666. We have implemented this within the MathModDB knowledge graph by including a [[Item:Q3826|Research Field]] named "[[Item:Q3825|Pomology]]" (science of fruits) [[Property:P824|containing]] [[Item:Q3782|"Gravitational Effects on Fruit"]] as a specific [[Item:Q3781|Research Problem]]. Currently, there is a choice of two [[Item:Q3830|Mathematical Models]] addressing this problem, i. e., "Free Fall Models" [[Item:Q3785|without]] and [[Item:Q3784|with]] the effect of air drag, both of them assuming constant gravitation. [[Item:Q3785|The former one]], actually dating back to Newton, contains the simple "[[Item:Q3794|Free Fall Equation]]",  
<math>v=v_0-gt</math>, as a Mathematical Formulation. That equation contains the free fall velocity <math>v</math>, the gravitational acceleration <math>g</math>, and the time <math>t</math>. Obviously, the first and second of these Quantities are assigned to the [[Item:Q3845|Quantity Kind]] velocity and [[Item:Q3849|acceleration]], respectively. Within the context of these "Free Fall Models", several different Computational Tasks can be formulated, e.g., [[Item:Q3864|how long does it take for an apple to reach the ground]], or [[Item:Q3870|with which velocity will it hit the ground]]. While the above equation (without air drag) is so simple that it can be solved analytically, in more realistic free fall models the underlying equations have to be solved numerically which falls into the realm of the MathAlgoDB knowledge graph containing suitable numerical solvers for ordinary differential equations such as the Runge Kutta family of algorithms. Finally, we mention that also more complex models involving gravitational effects have been implemented in MathModDB, such as the dynamics of planets in our solar system.
<math>v=v_0-gt</math>, as a Mathematical Formulation. That equation contains the free fall velocity <math>v</math>, the gravitational acceleration <math>g</math>, and the time <math>t</math>. Obviously, the first and second of these Quantities are assigned to the [[Item:Q3845|Quantity Kind]] velocity and [[Item:Q3849|acceleration]], respectively. Within the context of these "Free Fall Models", several different Computational Tasks can be formulated, e.g., [[Item:Q3864|how long does it take for an apple to reach the ground]], or [[Item:Q3870|with which velocity will it hit the ground]]. While the above equation (without air drag) is so simple that it can be solved analytically, in more realistic free fall models the underlying equations have to be solved numerically which falls into the realm of the MathAlgoDB knowledge graph containing suitable numerical solvers for ordinary differential equations such as the Runge Kutta family of algorithms. Finally, we mention that also more complex models involving gravitational effects have been implemented in MathModDB, such as the dynamics of planets in our solar system.
== Testing SPARQL with staging portal ==
* Get a list of models that are used for the research problem ''Gravitational Effects on Fruit''


{{#sparql:
{{#sparql:
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
SELECT ?Model
# where Q3782 refers to the Gravitational Effects on Fruit
# where P802 refers to Modelled By
WHERE {
      wd:Q3782 wdt:P802 ?URL.
      ?URL rdfs:label ?Label
      BIND(CONCAT("<a href=", STR(?URL),  ">", STR(?Label) ,"</a>") as ?Model)
}
| chart=bordercloud.visualization.DataTable
| log=2
}}
 
* Get how many models are used for the research problem ''Gravitational Effects on Fruit''


SELECT ?Label ?Description ?Time ?Space WHERE {
{{#sparql:
  wd:{{#invoke:Wd|label|raw|}} wdt:P557 ?item .
SELECT (COUNT(*) AS ?Number_Of_Models)
  ?item wdt:P31 wd:Q68663;
# where Q3782 is the Gravitational Effects on Fruit
        wdt:P188 ?url;
WHERE {wd:Q3782 wdt:P802 ?item.
        rdfs:label ?Label.
  SERVICE <https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query> {
        ?url rdfs:comment ?Description;
        OPTIONAL {?url mdb:isTimeContinuous ?isTimeContinuous.}
          BIND(
                IF(BOUND(?isTimeContinuous),
                IF(?isTimeContinuous = true, "continuous", "discrete"),
                "independent") AS ?Time )
        OPTIONAL {?url mdb:isSpaceContinuous ?isSpaceContinuous.}
            BIND(
                IF(BOUND(?isSpaceContinuous),
                IF(?isSpaceContinuous = true, "continuous", "discrete"),
                    "independent") AS ?Space )
  }
}
}
| chart=bordercloud.visualization.DataTable
| chart=bordercloud.visualization.DataTable
| log=2
}}
}}
== Testing SPARQL with Münster Infrastructure ==


{{#sparql:
{{#sparql:
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?Label ?Description ?task
SELECT ?Label ?Description
WHERE{ VALUES ?url {mdb:FreeFallModelAirDrag}
WHERE{ VALUES ?url {mdb:FreeFallModelVacuum}
               ?url rdfs:label ?Label;
               ?url rdfs:label ?Label;
               rdfs:comment ?Description;
               rdfs:comment ?Description;
              mdb:appliedByTask ?task .
}
}
| endpoint=https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query
| endpoint=https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query
| chart=bordercloud.visualization.DataTable
| chart=bordercloud.visualization.DataTable
| log=2
}}
}}
* List of Formulations


{{#sparql:
{{#sparql:
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?Label ?Description ?Time ?Space
SELECT ?Formulation
WHERE { VALUES ?url {mdb:ObjectComparisonModel}
WHERE{ VALUES ?url {mdb:FreeFallModelVacuum}
        ?url rdfs:label ?Label;
              ?url rdfs:label ?Label;
            rdfs:comment ?Description.
              rdfs:comment ?Description;
        OPTIONAL {?url mdb:isTimeContinuous ?isTimeContinuous.}
              mdb:containsFormulation ?formulation .
          BIND(
              ?formulation rdfs:label ?Formulation .
                IF(BOUND(?isTimeContinuous),
}
                IF(?isTimeContinuous = true, "continuous", "discrete"),
                "independent") AS ?Time )
        OPTIONAL {?url mdb:isSpaceContinuous ?isSpaceContinuous.}
            BIND(
                IF(BOUND(?isSpaceContinuous),
                IF(?isSpaceContinuous = true, "continuous", "discrete"),
                    "independent") AS ?Space )
  }
| endpoint=https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query
| endpoint=https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query
| chart=bordercloud.visualization.DataTable
| chart=bordercloud.visualization.DataTable
| options=
| log=2
}}
}}


== List of Related Research Fields==
* List of Related Research Fields
 
{| class="wikitable" style="margin:auto"
|+ 
|-
! Research Field
|-
| [[Item:Q3825|Pomology]]
|-
|}


{{#sparql:
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?Research_Field
WHERE{  mdb:FreeFallModelVacuum mdb:models ?Research_Problem .
        ?Research_Problem mdb:containedInField ?RF .
        ?RF rdfs:label ?Label
  BIND(IRI(CONCAT("https://mtsr2024.m1.mardi.ovh/object/mathmoddb", "%", "3A",?Label)) AS ?URL) .
BIND(CONCAT("<a href=", STR(?URL),  ">", STR(?Label) ,"</a>") as ?Research_Field)
     
}
| endpoint=https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query
| chart=bordercloud.visualization.DataTable
| options=
| log=2
}}


== List of Related Mathematical Models==
* List of Related Mathematical Models


{| class="wikitable" style="margin:auto"
{| class="wikitable" style="margin:auto"
Line 86: Line 91:
|}
|}


== List of Computational Tasks using this Mathematical Model ==
* List of Computational Tasks using this Mathematical Model
 
{| class="wikitable" style="margin:auto"
|+ 
|-
! Computational Task
|-
| [[Item:Q3864|Free Fall Determine Time]]
|-
| [[Item:Q3870|Free Fall Determine Velocity]]
|-
| [[Item:Q3872|Free Fall Determine Gravitation]]
|}


{{#sparql:
PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?Computational_Task ?URL
WHERE{ VALUES ?url {mdb:FreeFallModelVacuum}
              ?url rdfs:label ?Label;
              rdfs:comment ?Description;
              mdb:appliedByTask ?task .
              ?task rdfs:label ?Computational_Task .
              BIND(REPLACE(?Computational_Task, " ", "") AS ?computational_task_without_whitespace)
              BIND(IRI(CONCAT("https://mtsr2024.m1.mardi.ovh/object/mathmoddb", "%", "3A",?computational_task_without_whitespace)) AS ?URL)
}
| endpoint=https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query
| chart=bordercloud.visualization.DataTable
| log=2
}}


== List of Related Literature ==
* List of Related Literature


{| class="wikitable" style="margin:auto"
{| class="wikitable" style="margin:auto"

Revision as of 15:29, 21 November 2024

As a pedagogical example, let us consider the famous story of Sir Isaac Newton being inspired to formulate his theory of gravitation by watching the fall of an apple from a tree in the year 1666. We have implemented this within the MathModDB knowledge graph by including a Research Field named "Pomology" (science of fruits) containing "Gravitational Effects on Fruit" as a specific Research Problem. Currently, there is a choice of two Mathematical Models addressing this problem, i. e., "Free Fall Models" without and with the effect of air drag, both of them assuming constant gravitation. The former one, actually dating back to Newton, contains the simple "Free Fall Equation", v=v0−gt, as a Mathematical Formulation. That equation contains the free fall velocity v, the gravitational acceleration g, and the time t. Obviously, the first and second of these Quantities are assigned to the Quantity Kind velocity and acceleration, respectively. Within the context of these "Free Fall Models", several different Computational Tasks can be formulated, e.g., how long does it take for an apple to reach the ground, or with which velocity will it hit the ground. While the above equation (without air drag) is so simple that it can be solved analytically, in more realistic free fall models the underlying equations have to be solved numerically which falls into the realm of the MathAlgoDB knowledge graph containing suitable numerical solvers for ordinary differential equations such as the Runge Kutta family of algorithms. Finally, we mention that also more complex models involving gravitational effects have been implemented in MathModDB, such as the dynamics of planets in our solar system.

Testing SPARQL with staging portal

  • Get a list of models that are used for the research problem Gravitational Effects on Fruit
  • Get how many models are used for the research problem Gravitational Effects on Fruit

Testing SPARQL with Münster Infrastructure

  • List of Formulations
  • List of Related Research Fields
  • List of Related Mathematical Models
Mathematical Model
MathModDB: Free Fall Model (Air Drag)
  • List of Computational Tasks using this Mathematical Model
  • List of Related Literature
Literature

https://doi.org/10.1017/CBO9780511818509

Retrieved from "https://staging.mardi4nfdi.org/w/index.php?title=MathModDB:Free_Fall_Model_(Vacuum)&oldid=6790"
Powered by MediaWiki