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

Revision as of 14:31, 13 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 = v_{0} - g t$ , 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.

List of Related Research Fields


Research Field
Pomology

List of Related Mathematical Models


Mathematical Model
MathModDB: Free Fall Model (Air Drag)

List of Computational Tasks using this Mathematical Model


Computational Task
Free Fall Determine Time
Free Fall Determine Velocity
Free Fall Determine Gravitation

List of Related Literature


Literature
https://doi.org/10.1017/CBO9780511818509

@@ 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]]",
 <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.
 {{#sparql:
 PREFIX mdb: <https://mardi4nfdi.de/mathmoddb#>
+SELECT ?Name ?Unit ?Symbol ?Task (?Type AS ?Dependency_Type) WHERE {
+   # Starting from the central item
+   wd:{{#invoke:Wd|label|raw|}} wdt:P557 ?centralItem .
+   ?centralItem wdt:P31 wd:Q68663;
+                wdt:P188 ?url;
+                rdfs:label ?Label.
-SELECT ?Label ?Description ?Time ?Space WHERE {
+    # Service query to get tasks and connect them to quantities
-    wd:{{#invoke:Wd|label|raw|}} wdt:P557 ?item .
-   ?item wdt:P31 wd:Q68663;
-         wdt:P188 ?url;
-         rdfs:label ?Label.
     SERVICE <https://sparql.mtsr2024.m1.mardi.ovh/mathalgodb/query> {
-         ?url rdfs:comment ?Description;
+         ?url mdb:appliedByTask ?task .
-         OPTIONAL {?url mdb:isTimeContinuous ?isTimeContinuous.}
+        ?task rdfs:label ?Task .
-           BIND(
-                IF(BOUND(?isTimeContinuous),
+        # Define type based on connection type (Input or Output)
-                IF(?isTimeContinuous = true, "continuous", "discrete"),
+         {
-                "independent") AS ?Time )
+            ?task mdb:containsInput ?item .
-        OPTIONAL {?url mdb:isSpaceContinuous ?isSpaceContinuous.}
+            ?item rdfs:label ?Name .
-             BIND(
+            BIND("independent" AS ?Type)
-                 IF(BOUND(?isSpaceContinuous),
+        }
-                 IF(?isSpaceContinuous = true, "continuous", "discrete"),
+        UNION
-                    "independent") AS ?Space )
+        {
-   }
+            ?task mdb:containsOutput ?item .
+            ?item rdfs:label ?Name .
+            BIND("dependent" AS ?Type)
+        }
+        # Filter results to only show defining statements that match the current quantity label
+        OPTIONAL {
+            ?task mdb:containsFormulation ?formulation .
+            ?formulation mdb:inDefiningFormulation ?definingStatement .
+            # Convert definingStatement to a plain string to strip off datatype markup
+            BIND(STR(?definingStatement) AS ?plainStatement)
+            # Clean up spaces around commas, making the format consistent
+            BIND(REPLACE(?plainStatement, "\\s*,\\s*", ",") AS ?cleanedStatement)
+            # Extract symbol and quantity label
+            BIND(STRBEFORE(?cleanedStatement, ",") AS ?Symbolraw)
+             BIND(STRAFTER(?cleanedStatement, ",") AS ?quantityLabel)
+            BIND(REPLACE(?Symbolraw, "\\$", "") AS ?cleanSymbol)
+            BIND(CONCAT("&lt;math&gt;", ?cleanSymbol, "&lt;/math&gt;") AS ?Symbol)
+        }
+        BIND(STR(?Name) AS ?plainItemLabel)
+        FILTER(?quantityLabel = ?plainItemLabel)
+    }
+    # Initialize the Unit variable as empty
+    BIND("" AS ?Unit)
 }
+ORDER BY ?taskLabel ?itemLabel
 | chart=bordercloud.visualization.DataTable
 }}
 {{#sparql: