Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Mathematical Knowledge Representation: Semantic Models and Formalisms  [PDF]
Alexander Elizarov,Alexander Kirillovich,Evgeny Lipachev,Olga Nevzorova,Valery Solovyev,Nikita Zhiltsov
Computer Science , 2014,
Abstract: 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 of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.
SWiM -- A Semantic Wiki for Mathematical Knowledge Management  [PDF]
Christoph Lange
Mathematics , 2010, DOI: 10.1007/978-3-540-68234-9_68
Abstract: SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identified mathematical symbols, and prepared for managing a large-scale proof formalisation effort.
Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)  [PDF]
Constantin Jucovschi
Computer Science , 2010,
Abstract: Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented representations. How exactly to support this process so that it becomes as effortless as possible is one of the main unsolved problems of Mathematical Knowledge Management. Two independent projects in formalization of mathematical content showed that many of the time consuming tasks could be significantly reduced if adequate tool support were available. It was also established that similar tasks are typical for object oriented languages and that they are to a large extent solved by Integrated Development Environments (IDE). This thesis starts by analyzing the opportunities where formalization process can benefit from software support. A list of research questions is compiled along with a set of software requirements which are then used for developing a new IDE for the semantic \TeX{} (\stex{}) format. The result of the current research is that, indeed, IDEs can be very useful in the process of formalization and presents a set of best practices for implementing such IDEs.
Mathematical knowledge management is needed  [PDF]
Michiel Hazewinkel
Computer Science , 2004,
Abstract: In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval.
Semantic Integration of Knowledge Management Systems  [cached]
Napoleon - Alexandru Sireteanu,Constantin Florin S?rbu
Communications of the IBIMA , 2008,
Abstract: Ontologies are essential for a semantic integration of knowledge components which can be seen as superior pieces of intellectual capital. Knowledge structures connect individual or group knowledge elements from organizational knowledge bases that have been developed independently. This can aid search and navigation for the entire organizational knowledge base. As many knowledge processes cross boundaries of organizational units or of whole organizations, standardization of techniques for representing knowledge structures (Semantic Web technologies), play an important role in enabling organizations to share documented knowledge.
Semantic Space for the Verification of Economic Mathematical Models Семантическое пространство для верификации экономико-математических моделей  [PDF]
Petrik Valeriya L.
Business Inform , 2013,
Abstract: The use of semantic space to control the dimension of economic and physical variables in the verification of economic mathematical models is proposed. The basis of the semantic space is the vector representation of dimension values. For construction of semantic space the classification of units of measurement and recording of business objects and goods in Ukraine was considered. Предлагается использование семантического пространства для контроля размерности экономических и физических величин при верификации экономико-математических моделей. Основой семантического пространства является векторное представление размерности величин. Для построения семантического пространства рассмотрена классификация единиц измерения и учета хозяйственных объектов и товаров в Украине.
Representation of Knowledge patterns for Semantic Web  [PDF]
Rostislav Miarka
International Journal of Computer Science Issues , 2013,
Abstract: This article presents representation of knowledge patterns in RDF language. The approach to knowledge representation can be used in Semantic Web as a tool of finding some additional RDF assertions in the frame of linked data. The article introduces the term knowledge pattern" and dividing the knowledge patterns into two groups - to Top-level knowledge patterns and to Domain knowledge patterns. Examples of top-level knowledge patterns for sentences in the English language are also a part of this article.
Towards Semantic Knowledge Mapping: An Extension of Compendium with Semantic Knowledge Representation  [PDF]
Krishna Sapkota,Arantza Aldea,Rene Banares-Alcantara
International Journal of Artificial Intelligence & Applications , 2012,
Abstract: Compendium is a knowledge mapping application equipped with graphical representations of ideas andarguments. Extension of the processes in Compendium with Semantic Web technologies can be beneficialfor the intelligent searching of concepts or ideas, and supporting decision making process. This paperpresents the extended Compendium which exploits the Semantic Web for knowledge representation anduser interaction. The result evaluated by the experts and users showed that the extension eases andstreamlines the decision making process.
Creative Learning Environment and Knowledge Management  [PDF]
Mahwish Waheed,Abdul Zahid Khan,Hafiz Ghufran Ali Khan,M. Shahid Khalil
International Journal of Academic Research in Business and Social Sciences , 2012,
Abstract: This is the era of knowledge and we are digging out information in the thirst of knowledge. In this growing knowledge society efficient technological tools must be used for the better management of knowledge. The Electronic Learning is the platform which provides the facility of interaction among knowledge holders and seekers. The knowledge conversion process is used to integrate the EL environment with the KM. The integration of EL and KM utilizing the Course Management System is proposed in this paper for the effective utilization of knowledge shared among individuals in online portals. Use of MOODLE as a CMS in EL portal implemented in Allama Iqbal Open University is explained showing the practical practice of KM and EL integration. The practical relationship among KM and EL can be analyzed and used for the effective utilization of knowledge.
Semantic Knowledge Influences Prewired Hedonic Responses to Odors  [PDF]
Johan Poncelet,Fanny Rinck,Anne Ziessel,Pauline Joussain,Marc Thévenet,Catherine Rouby,Moustafa Bensafi
PLOS ONE , 2012, DOI: 10.1371/journal.pone.0013878
Abstract: Odor hedonic perception relies on decoding the physicochemical properties of odorant molecules and can be influenced in humans by semantic knowledge. The effect of semantic knowledge on such prewired hedonic processing over the life span has remained unclear.
Page 1 /100
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.