English
Related papers

Related papers: Ontologies for Models and Algorithms in Applied Ma…

200 papers

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…

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the…

Artificial Intelligence · Computer Science 2014-08-12 Olga Nevzorova , Nikita Zhiltsov , Alexander Kirillovich , Evgeny Lipachev

The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range…

Artificial Intelligence · Computer Science 2014-09-01 Alexander Elizarov , Alexander Kirillovich , Evgeny Lipachev , Olga Nevzorova , Valery Solovyev , Nikita Zhiltsov

The reuse of atomistic simulation data is often limited by heterogeneous formats, incomplete metadata, and a lack of standardized representations of workflows and provenance. Here we present an ontology-based infrastructure for representing…

Databases · Computer Science 2026-04-09 Abril Azocar Guzman , Sarath Menon , Tilmann Hickel , Stefan Sandfeld

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…

Artificial Intelligence · Computer Science 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

We explore the role of ontologies in enhancing hybrid modeling and simulation through improved semantic rigor, model reusability, and interoperability across systems, disciplines, and tools. By distinguishing between methodological and…

Artificial Intelligence · Computer Science 2025-06-17 John Beverley , Andreas Tolk

In a world where communication and information sharing are at the heart of our business, the terminology needs are most pressing. It has become imperative to identify the terms used and defined in a consensual and coherent way while…

Artificial Intelligence · Computer Science 2012-03-07 Ahmed Maalel , Habib Hadj mabrouk , Lassad Mejri , Henda Hajjami Ben Ghezela

The representation of workflows and processes is essential in materials science engineering, where experimental and computational reproducibility depend on structured and semantically coherent process models. Although numerous ontologies…

Information Retrieval · Computer Science 2025-09-30 Ebrahim Norouzi , Sven Hertling , Jörg Waitelonis , Harald Sack

The importance of improving the FAIRness (findability, accessibility, interoperability, reusability) of research data is undeniable, especially in the face of large, complex datasets currently being produced by omics technologies.…

Data integration is considered a classic research field and a pressing need within the information science community. Ontologies play a critical role in such a process by providing well-consolidated support to link and semantically…

Artificial Intelligence · Computer Science 2024-05-30 Inès Osman , Salvatore F. Pileggi , Sadok Ben Yahia

An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual…

Information Retrieval · Computer Science 2019-10-01 Maryam Alizadeh , Maliheh Heydarpour Shahrezaei , Farajollah Tahernezhad-Javazm

The increasing digitalization of the manufacturing domain requires adequate knowledge modeling to capture relevant information. Ontologies and Knowledge Graphs provide means to model and relate a wide range of concepts, problems, and…

Artificial Intelligence · Computer Science 2021-07-07 Jože M. Rožanec , Inna Novalija , d Patrik Zajec , Klemen Kenda , Dunja Mladenić

This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for the representation of mathematical statements in the Open…

Artificial Intelligence · Computer Science 2023-03-27 Alexander Kirillovich , Olga Nevzorova , Evgeny Lipachev

System engineering has been shifting from document-centric to model-based approaches, where assets are becoming more and more digital. Although digitisation conveys several benefits, it also brings several concerns (e.g., storage and…

Software Engineering · Computer Science 2025-12-11 Arkadiusz Ryś , Lucas Lima , Joeri Exelmans , Dennis Janssens , Hans Vangheluwe

Reproducibility of computational results remains a challenge in materials science, as simulation workflows and parameters are often reported only in unstructured text and tables. While literature data are valuable for validation and reuse,…

Your computer is continuously executing programs, but does it really understand them? Not in any meaningful sense. That burden falls upon human knowledge workers, who are increasingly asked to write and understand code. They deserve to have…

Artificial Intelligence · Computer Science 2019-01-28 Evan Patterson , Ioana Baldini , Aleksandra Mojsilovic , Kush R. Varshney

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…

Artificial Intelligence · Computer Science 2024-08-01 Marco Reidelbach , Björn Schembera , Marcus Weber

Analysing research trends and predicting their impact on academia and industry is crucial to gain a deeper understanding of the advances in a research field and to inform critical decisions about research funding and technology adoption. In…

Digital Libraries · Computer Science 2021-06-25 Angelo Salatino , Andrea Mannocci , Francesco Osborne

Optimization has been becoming a central of studies in mathematic and has many areas with different applications. However, many themes of optimization came from different area have not ties closing to origin concepts. This paper is to…

Optimization and Control · Mathematics 2012-07-24 Mahyuddin K. M. Nasution

In scientific disciplines where research findings have a strong impact on society, reducing the amount of time it takes to understand, synthesize and exploit the research is invaluable. Topic modeling is an effective technique for…

Computation and Language · Computer Science 2018-08-01 Jennifer Sleeman , Tim Finin , Milton Halem
‹ Prev 1 2 3 10 Next ›