Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplines
0
⚙️
Sign in to get full access
Overview
- The paper discusses the role of mathematical models and numerical algorithms in the modeling-simulation-optimization workflow, a prominent scheme in applied mathematics and related disciplines.
- The Mathematical Research Data Initiative has developed ontologies and knowledge graphs to make mathematical research data more FAIR by introducing semantic technology and documenting the mathematical foundations.
- The paper uses the example of microfracture analysis of porous media to show how the knowledge of the underlying mathematical model and corresponding numerical algorithms can be represented by the ontologies.
Plain English Explanation
In the field of applied mathematics, researchers often follow a modeling-simulation-optimization workflow. This means they create mathematical models, simulate those models using numerical algorithms, and then optimize the results. The Mathematical Research Data Initiative has developed a way to make this type of mathematical research data more accessible and understandable.
They have created ontologies and knowledge graphs, which are like databases that organize and connect different concepts and ideas. This allows the mathematical foundations and numerical methods used in the research to be clearly documented and shared. As an example, the paper looks at how these ontologies can be used to represent the mathematical model and algorithms used in analyzing microfractures in porous media, like rocks or soil. By capturing this knowledge in a structured way, the research becomes more FAIR - Findable, Accessible, Interoperable, and Reusable.
Technical Explanation
The paper focuses on how the modeling-simulation-optimization workflow, a common approach in applied mathematics, can be supported by the use of ontologies and knowledge graphs. These semantic technologies are developed and implemented by the Mathematical Research Data Initiative to make mathematical research data more FAIR.
Using the example of microfracture analysis of porous media, the paper demonstrates how the underlying mathematical model and corresponding numerical algorithms can be represented by the ontologies. This allows the mathematical foundations and computational methods to be clearly documented and connected, facilitating the coupling of machine learning and ontologies in AI-powered urban decision support systems, for instance.
Critical Analysis
The paper provides a compelling case for the use of ontologies and knowledge graphs in the context of mathematical research data. By capturing the knowledge of the underlying mathematical models and numerical algorithms, the approach supports the FAIR principles and enables better documentation of AI models and workflows.
However, the paper does not address potential limitations or challenges in the implementation and adoption of this approach. For example, the development and maintenance of high-quality ontologies can be a significant undertaking, requiring domain expertise and collaboration across research groups. Additionally, the paper does not discuss the potential legal and ethical considerations around the use of ontologies and knowledge graphs in mathematical research data.
Conclusion
The paper highlights the important role of ontologies and knowledge graphs in making mathematical research data more FAIR. By capturing the knowledge of the underlying mathematical models and numerical algorithms, this approach supports the modeling-simulation-optimization workflow common in applied mathematics and related disciplines. The example of microfracture analysis of porous media demonstrates the potential of this approach to facilitate the coupling of machine learning and ontologies in AI-powered urban decision support systems. While the paper provides a solid foundation, further research is needed to address potential challenges and limitations in the implementation and adoption of this approach.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
⚙️
0
Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplines
Bjorn Schembera, Frank Wubbeling, Hendrik Kleikamp, Christine Biedinger, Jochen Fiedler, Marco Reidelbach, Aurela Shehu, Burkhard Schmidt, Thomas Koprucki, Dorothea Iglezakis, Dominik Goddeke
In applied mathematics and related disciplines, the modeling-simulation-optimization workflow is a prominent scheme, with mathematical models and numerical algorithms playing a crucial role. For these types of mathematical research data, the Mathematical Research Data Initiative has developed, merged and implemented ontologies and knowledge graphs. This contributes to making mathematical research data FAIR by introducing semantic technology and documenting the mathematical foundations accordingly. Using the concrete example of microfracture analysis of porous media, it is shown how the knowledge of the underlying mathematical model and the corresponding numerical algorithms for its solution can be represented by the ontologies.
Read more8/1/2024
🧠
0
Towards a Knowledge Graph for Models and Algorithms in Applied Mathematics
Bjorn Schembera, Frank Wubbeling, Hendrik Kleikamp, Burkhard Schmidt, Aurela Shehu, Marco Reidelbach, Christine Biedinger, Jochen Fiedler, Thomas Koprucki, Dorothea Iglezakis, Dominik Goddeke
Mathematical models and algorithms are an essential part of mathematical research data, as they are epistemically grounding numerical data. In order to represent models and algorithms as well as their relationship semantically to make this research data FAIR, two previously distinct ontologies were merged and extended, becoming a living knowledge graph. The link between the two ontologies is established by introducing computational tasks, as they occur in modeling, corresponding to algorithmic tasks. Moreover, controlled vocabularies are incorporated and a new class, distinguishing base quantities from specific use case quantities, was introduced. Also, both models and algorithms can now be enriched with metadata. Subject-specific metadata is particularly relevant here, such as the symmetry of a matrix or the linearity of a mathematical model. This is the only way to express specific workflows with concrete models and algorithms, as the feasible solution algorithm can only be determined if the mathematical properties of a model are known. We demonstrate this using two examples from different application areas of applied mathematics. In addition, we have already integrated over 250 research assets from applied mathematics into our knowledge graph.
Read more8/20/2024
0
Towards a FAIR Documentation of Workflows and Models in Applied Mathematics
Marco Reidelbach, Bjorn Schembera, Marcus Weber
Modeling-Simulation-Optimization workflows play a fundamental role in applied mathematics. The Mathematical Research Data Initiative, MaRDI, responded to this by developing a FAIR and machine-interpretable template for a comprehensive documentation of such workflows. MaRDMO, a Plugin for the Research Data Management Organiser, enables scientists from diverse fields to document and publish their workflows on the MaRDI Portal seamlessly using the MaRDI template. Central to these workflows are mathematical models. MaRDI addresses them with the MathModDB ontology, offering a structured formal model description. Here, we showcase the interaction between MaRDMO and the MathModDB Knowledge Graph through an algebraic modeling workflow from the Digital Humanities. This demonstration underscores the versatility of both services beyond their original numerical domain.
Read more8/1/2024
0
Ontology Embedding: A Survey of Methods, Applications and Resources
Jiaoyan Chen, Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf, Yuan He, Ian Horrocks
Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies can directly support are quite limited in learning, approximation and prediction. One straightforward solution is to integrate statistical analysis and machine learning. To this end, automatically learning vector representation for knowledge of an ontology i.e., ontology embedding has been widely investigated in recent years. Numerous papers have been published on ontology embedding, but a lack of systematic reviews hinders researchers from gaining a comprehensive understanding of this field. To bridge this gap, we write this survey paper, which first introduces different kinds of semantics of ontologies, and formally defines ontology embedding from the perspectives of both mathematics and machine learning, as well as its property of faithfulness. Based on this, it systematically categorises and analyses a relatively complete set of over 80 papers, according to the ontologies and semantics that they aim at, and their technical solutions including geometric modeling, sequence modeling and graph propagation. This survey also introduces the applications of ontology embedding in ontology engineering, machine learning augmentation and life sciences, presents a new library mOWL, and discusses the challenges and future directions.
Read more6/18/2024