English
Related papers

Related papers: wiki.openmath.org - how it works, how you can part…

200 papers

We present OpenML and mldata, open science platforms that provides easy access to machine learning data, software and results to encourage further study and application. They go beyond the more traditional repositories for data sets and…

Machine Learning · Computer Science 2014-02-26 Joaquin Vanschoren , Mikio L. Braun , Cheng Soon Ong

In line with the general trend in artificial intelligence research to create intelligent systems that combine learning and symbolic components, a new sub-area has emerged that focuses on combining machine learning (ML) components with…

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

We introduce OpenKiwi, a PyTorch-based open source framework for translation quality estimation. OpenKiwi supports training and testing of word-level and sentence-level quality estimation systems, implementing the winning systems of the WMT…

Computation and Language · Computer Science 2019-08-27 Fábio Kepler , Jonay Trénous , Marcos Treviso , Miguel Vera , André F. T. Martins

Wikipedia's vision is a world in which everyone can share in the sum of all knowledge. In its first two decades, this vision has been very unevenly achieved. One of the largest hindrances is the sheer number of languages Wikipedia needs to…

Computers and Society · Computer Science 2020-04-13 Denny Vrandečić

This paper describes several results of Wimmics, a research lab which names stands for: web-instrumented man-machine interactions, communities, and semantics. The approaches introduced here rely on graph-oriented knowledge representation,…

Data-driven design and innovation is a process to reuse and provide valuable and useful information. However, existing semantic networks for design innovation is built on data source restricted to technological and scientific information.…

Computation and Language · Computer Science 2022-11-22 Haoyu Zuo , Qianzhi Jing , Tianqi Song , Huiting Liu , Lingyun Sun , Peter Childs , Liuqing Chen

Interoperability is a feature required by the Semantic Web. It is provided by the ontology matching methods and algorithms. But now ontologies are presented not only in English, but in other languages as well. It is important to use an…

Information Retrieval · Computer Science 2011-10-27 Feiyu Lin , Andrew Krizhanovsky

Mathematical research thrives on the effective dissemination and discovery of knowledge. zbMATH Open has emerged as a pivotal platform in this landscape, offering a comprehensive repository of mathematical literature. Beyond indexing and…

Digital Libraries · Computer Science 2024-11-08 Madhurima Deb , Isabel Beckenbach , Matteo Petrera , Dariush Ehsani , Marcel Fuhrmann , Yun Hao , Olaf Teschke , Moritz Schubotz

Dictionaries can help language learners to learn vocabulary by providing definitions of words. Since traditional dictionaries present word senses as discrete items in predefined inventories, they fall short of flexibility, which is required…

Computation and Language · Computer Science 2022-04-26 Cunliang Kong , Xuezhi Fang , Liner Yang , Yun Chen , Erhong Yang

The semantic Web initiates new, high level access schemes to online content and applications. One area of superior need for a redefined content exploration is given by on-line educational applications and their concepts of interactivity in…

Information Retrieval · Computer Science 2007-05-23 Michael Engelhardt , Thomas C. Schmidt

The Web is our primary source of all kinds of information today. This includes information about software as well as associated materials, like source code, documentation, related publications and change logs. Such data is of particular…

Digital Libraries · Computer Science 2017-02-07 Helge Holzmann , Mila Runnwerth , Wolfram Sperber

Engineered solutions are becoming more complex and multi-disciplinary in nature. This evolution requires new techniques to enhance design and analysis tasks that incorporate data integration and interoperability across various engineering…

Artificial Intelligence · Computer Science 2022-06-22 Daniel Dunbar , Thomas Hagedorn , Mark Blackburn , John Dzielski , Steven Hespelt , Benjamin Kruse , Dinesh Verma , Zhongyuan Yu

OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the period 2015--2019, the ecosystem of open-source…

Mathematical Software · Computer Science 2017-10-09 Paul-Olivier Dehaye , Michael Kohlhase , Alexander Konovalov , Samuel Lelièvre , Markus Pfeiffer , Nicolas M. Thiéry

The use of domain knowledge is generally found to improve query efficiency in content filtering applications. In particular, tangible benefits have been achieved when using knowledge-based approaches within more specialized fields, such as…

Information Retrieval · Computer Science 2015-03-17 Pekka Malo , Pyry Siitari , Oskar Ahlgren , Jyrki Wallenius , Pekka Korhonen

Virtual e-Science infrastructures supporting Web-based scientific workflows are an example for knowledge-intensive collaborative and weakly-structured processes where the interaction with the human scientists during process execution plays…

Artificial Intelligence · Computer Science 2010-12-09 Adrian Paschke , Zhili Zhao

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

Considering the evolution of the semantic wiki engine based platforms, two main approaches could be distinguished: Ontologies for Wikis (OfW) and Wikis for Ontologies (WfO). OfW vision requires existing ontologies to be imported. Most of…

Artificial Intelligence · Computer Science 2019-04-12 Guidedi Kaladzavi , Papa Fary Diallo , Cedric Béré , Olivier Corby , Isabelle Mirbel , Moussa Lo , Dina Taiwe Kolyang

In this article we consider the basic ideas, approaches and results of developing of mathematical knowledge management technologies based on ontologies. These solutions form the basis of a specialized digital ecosystem OntoMath which…

Digital Libraries · Computer Science 2017-02-20 Alexander Elizarov , Alexander Kirillovich , Evgeny Lipachev , Olga Nevzorova

HIVE4MAT is a linked data interactive application for navigating ontologies of value to materials science. HIVE enables automatic indexing of textual resources with standardized terminology. This article presents the motivation underlying…

Information Retrieval · Computer Science 2024-11-04 Jane Greenberg , Kio Polson , Scott McClellan , Xintong Zhao , Alex Kalinowski , Yuan An