Knowledge Representation Method Research Articles

Representing and solving spatial problems

ABSTRACT Everyday life unfolds in both space and time, with our spatial experiences playing a central role in our interactions with the world. To grasp human cognition, it s essential to understand how we perceive spatial relationships and tackle spatio-temporal challenges. Over the past few decades, research in spatial cognition has made significant strides, particularly in developing computational methods for knowledge representation and reasoning. This special issue explores various approaches to formalizing, implementing, and automating solutions for spatial problems. In this introduction, we provide a current literature review to contextualize the three contributions featured in this issue.

DSTI at LLMs4OL 2024 Task A: Intrinsic Versus Extrinsic Knowledge for Type Classification

We introduce semantic towers, an extrinsic knowledge representation method, and compare it to intrinsic knowledge in large language models for ontology learning. Our experiments show a trade-off between performance and semantic grounding for extrinsic knowledge compared to a fine-tuned model's intrinsic knowledge. We report our findings on the Large Language Models for Ontology Learning (LLMs4OL) 2024 challenge.

Three-way concept lattice based on Boolean formal context

The theory of formal concept analysis(FCA) is an important mathematical method for knowledge representation and knowledge discovery. The Boolean formal context is proposed by introducing Boolean matrices and logical operations into FCA. Based on the concept lattice of the Boolean formal context and the column vector(row-vector)-oriented concept lattice of the Boolean formal context, this paper proposes the column vector(row vector)-induced three-way concept lattice of the Boolean formal context and the column vector(row vector)-induced three-way column vector(row vector)-oriented concept lattice of the Boolean formal context, and proves their rationality. Then, the isomorphism between the three-way concept lattice of the Boolean formal context and the three-way concept lattice of the general formal context is proved.

TransE-MTP: A New Representation Learning Method for Knowledge Graph Embedding with Multi-Translation Principles and TransE

The purpose of representation learning is to encode the entities and relations in a knowledge graph as low-dimensional and real-valued vectors through machine learning technology. Traditional representation learning methods like TransE, a method which models relationships by interpreting them as translations operating on the low-dimensional embeddings of a graph’s entities, are effective for learning the embeddings of knowledge bases, but struggle to effectively model complex relations like one-to-many, many-to-one, and many-to-many. To overcome the above issues, we introduce a new method for knowledge representation, reasoning, and completion based on multi-translation principles and TransE (TransE-MTP). By defining multiple translation principles (MTPs) for different relation types, such as one-to-one and complex relations like one-to-many, many-to-one, and many-to-many, and combining MTPs with a typical translating-based model for modeling multi-relational data (TransE), the proposed method, TransE-MTP, ensures that multiple optimization objectives can be targeted and optimized during training on complex relations, thereby providing superior prediction performance. We implement a prototype of TransE-MTP to demonstrate its effectiveness at link prediction and triplet classification on two prominent knowledge graph datasets: Freebase and Wordnet. Our experimental results show that the proposed method enhanced the performance of both TransE and knowledge graph embedding by translating on hyperplanes (TransH), which confirms its effectiveness and competitiveness.

A universal knowledge model and cognitive architectures for prototyping AGI

The article identified 56 cognitive architectures for creating general artificial intelligence (AGI) and proposed a set of interrelated functional blocks that an agent approaching AGI in its capabilities should possess. Since the required set of blocks is not found in any of the existing architectures, the article proposes a reference cognitive architecture for intelligent systems approaching AGI in their capabilities. As one of the key solutions within the framework of the architecture, a universal method of knowledge representation is proposed, which allows combining various non-formalized, partially and fully formalized methods of knowledge representation in a single knowledge base, such as texts in natural languages, images, audio and video recordings, graphs, algorithms, databases, neural networks, knowledge graphs, ontologies, frames, essence-property-relation models, production systems, predicate calculus models, conceptual models, and others. To combine and structure various fragments of knowledge, archigraph model are used, constructed as a development of annotated metagraphs. As other components, the reference cognitive architecture being developed includes following modules: machine consciousness, machine subconsciousness, interaction with the external environment, a goal management, an emotional control, social interaction, reflection, ethics, worldview, learning, monitoring, statement problems, solving problems, self-organization and meta learning. Based on the composition of the proposed reference architecture modules, existing cognitive architectures containing the following modules were analyzed: machine consciousness, machine subconsciousness, reflection, worldview.

A methodological framework proposal for managing risk in small-scale farming through the integration of knowledge and data analytics

IntroductionClimate change and weather variability pose significant challenges to small-scale crop production systems, increasing the frequency and intensity of extreme weather events. In this context, data modeling becomes a crucial tool for risk management and promotes producer resilience during losses caused by adverse weather events, particularly within agricultural insurance. However, data modeling requires access to available data representing production system conditions and external risk factors. One of the main problems in the agricultural sector, especially in small-scale farming, is data scarcity, which acts as a barrier to effectively addressing these issues. Data scarcity limits understanding the local-level impacts of climate change and the design of adaptation or mitigation strategies to manage adverse events, directly impacting production system productivity. Integrating knowledge into data modeling is a proposed strategy to address the issue of data scarcity. However, despite different mechanisms for knowledge representation, a methodological framework to integrate knowledge into data modeling is lacking.MethodsThis paper proposes developing a methodological framework (MF) to guide the characterization, extraction, representation, and integration of knowledge into data modeling, supporting the application of data solutions for small farmers. The development of the MF encompasses three phases. The first phase involves identifying the information underlying the MF. To achieve this, elements such as the type of knowledge managed in agriculture, data structure types, knowledge extraction methods, and knowledge representation methods were identified using the systematic review framework proposed by Kitchemhan, considering their limitations and the tools employed. In the second phase of MF construction, the gathered information was utilized to design the process modeling of the MF using the Business Process Model and Notation (BPMN).Finally, in the third phase of MF development, an evaluation was conducted using the expert weighting method.ResultsAs a result, it was possible to theoretically verify that the proposed MF facilitates the integration of knowledge into data models. The MF serves as a foundation for establishing adaptation and mitigation strategies against adverse events stemming from climate variability and change in small-scale production systems, especially under conditions of data scarcity.DiscussionThe developed MF provides a structured approach to managing data scarcity in small-scale farming by effectively integrating knowledge into data modeling processes. This integration enhances the capacity to design and implement robust adaptation and mitigation strategies, thereby improving the resilience and productivity of small-scale crop production systems in the face of climate variability and change. Future research could focus on the practical application of this MF and its impact on small-scale farming practices, further validating its effectiveness and scalability.

A Study on the Design of Knee Exoskeleton Rehabilitation Based on the RFPBS Model.

The gait rehabilitation knee exoskeleton is an advanced rehabilitative assistive device designed to help patients with knee joint dysfunction regain normal gait through training and activity support. This paper introduces a design framework based on the process knowledge representation method to optimize the design and control efficiency of the knee exoskeleton. This framework integrates knowledge of design objects and processes, specifically including requirements, functions, principle work areas, and the representation and multi-dimensional dynamic mapping of the Behavior-Structure (RFPBS) matrix, achieving multi-dimensional dynamic mapping of the knee exoskeleton. This method incorporates biomechanical and physiological knowledge from the rehabilitation process to more effectively simulate and support gait movements during rehabilitation. Research results indicate that the knee rehabilitation exoskeleton design, based on the RFPBS process knowledge representation model, accomplishes multi-dimensional dynamic mapping, providing a scientific basis and effective support for the rehabilitation of patients with knee joint dysfunction.

The method of linear-logical operators and logical equations in information extraction tasks

Relational and logical methods of knowledge representation play a key role in creating a mathematical basis for information systems. Predicate algebra and predicate operators are among the most effective tools for describing information in detail. These tools make it easy to formulate formalized information, create database queries, and simulate human activity. In the context of the new need for reliable and efficient data selection, a problem arises in deeper analysis. Subject of the study is the theory of quantum linear equations based on the algebra of linear predicate operations, the formal apparatus of linear logic operators and methods for solving logical equations in information extraction tasks. Aim of the study is a developing of a method for using linear logic operators and logical equations to extract information. This approach can significantly optimize the process of extracting the necessary information, even in huge databases. Main tasks: analysis of existing approaches to information extraction; consideration of the theory of linear logic operators; study of methods for reducing logic to an algebraic form; analysis of logical spaces and the algebra of finite predicate actions and the theory of linear logic operators. The research methods involve a systematic analysis of the mathematical structure of the algebra of finite predicates and predicate functions to identify the key elements that affect the query formation process. The method of using linear logic operators and logical equations for information extraction is proposed. The results of the study showed that the method of using linear logic operators and logical equations is a universal and adaptive tool for working with algebraic data structures. It can be applied in a wide range of information extraction tasks and prove its value as one of the possible methods of information processing. Conclusion. The paper investigates formal methods of intelligent systems, in particular, ways of representing knowledge in accordance with the peculiarities of the field of application and the language that allows encoding this knowledge for storage in computer memory. The proposed method can be implemented in the development of language interfaces for automated information access systems, in search engine algorithms, for logical analysis of information in databases and expert systems, as well as in performing tasks related to object recognition and classification.

A pre-control method in safety risk management of metro construction

ABSTRACT With the rapid development of metro construction in China, construction safety accidents occur frequently due to the lack of effective safety risk controls. Continuously improving the level of safety risk pre-control has become a significant factor in the safety managements of metro construction. This paper presents a reasoning model for safety risk pre-control measures in metro construction using case-based reasoning. To establish the case database, a frame-based knowledge representation method is adopted based on the characteristics of metro construction safety accident cases. Additionally, a two-level retrieval strategy combining hierarchical retrieval and nearest-neighbor algorithms is used for case retrieval. Furthermore, a new approach, the cloud model, is proposed to determine the attribute weight of metro construction safety accidents. This approach addresses quantitative attributes with fuzziness and randomness. Finally, a specific metro station is taken as a case to validate the feasibility of the approach. The results showed that the case-based reasoning method enables engineers to quickly and effectively develop risk pre-control measures based on previous cases. In addition, the use of case-based reasoning in decision-making enhances knowledge sharing and reuse in the metro construction industry. This paper presents an effective reasoning approach for pre-control measure analysis in metro construction, allowing engineers to quickly and efficiently carry out scientific and reasonable pre-control measures from past cases.

Leveraging artificial intelligence and software engineering methods in epidemiology for the co-creation of decision-support tools based on mechanistic models

Epidemiological modeling is a key lever for infectious disease control and prevention on farms. It makes it possible to understand the spread of pathogens, but also to compare intervention scenarios even in counterfactual situations. However, the actual capability of decision makers to use mechanistic models to support timely interventions is limited. This study demonstrates how artificial intelligence (AI) techniques can make mechanistic epidemiological models more accessible to farmers and veterinarians, and how to transform such models into user-friendly decision-support tools (DST). By leveraging knowledge representation methods, such as the textual formalization of model components through a domain-specific language (DSL), the co-design of mechanistic models and DST becomes more efficient and collaborative. This facilitates the integration of explicit expert knowledge and practical insights into the modeling process. Furthermore, the utilization of AI and software engineering enables the automation of web application generation based on existing mechanistic models. This automation simplifies the development of DST, as tool designers can focus on identifying users' needs and specifying expected features and meaningful presentations of outcomes, instead of wasting time in writing code to wrap models into web apps. To illustrate the practical application of this approach, we consider the example of Bovine Respiratory Disease (BRD), a tough challenge in fattening farms where young beef bulls often develop BRD shortly after being allocated into pens. BRD is a multi-factorial, multi-pathogen disease that is difficult to anticipate and control, often resulting in the massive use of antimicrobials to mitigate its impact on animal health, welfare, and economic losses. The DST developed from an existing mechanistic BRD model empowers users, including farmers and veterinarians, to customize scenarios based on their specific farm conditions. It enables them to anticipate the effects of various pathogens, compare the epidemiological and economic outcomes associated with different farming practices, and decide how to balance the reduction of disease impact and the reduction of antimicrobial usage (AMU). The generic method presented in this article illustrates the potential of artificial intelligence (AI) and software engineering methods to enhance the co-creation of DST based on mechanistic models in veterinary epidemiology. The corresponding pipeline is distributed as an open-source software. By leveraging these advancements, this research aims to bridge the gap between theoretical models and the practical usage of their outcomes on the field.

Modification and completion of geological structure knowledge graph based on pattern matching

As a knowledge representation method, knowledge graph is widely used in intelligent question answering systems and recommendation systems. At present, the research on knowledge graph mainly focuses on information query and retrieval based on knowledge graph. In some domain knowledge graphs, specific subgraph structures (patterns) have specific physical meanings. Aiming at this problem, this paper proposes a method and framework of knowledge graph pattern mining based on gat. Firstly, the patterns with specific physical meaning were transformed into subgraph structures containing topological structures and entity attributes. Secondly, the subgraph structure of the pattern is regarded as the query graph, and the knowledge graph is regarded as the data graph, so that the problem is transformed into an approximate subgraph matching problem. Then, the improved relational graph attention network is used to fuse the adaptive edge deletion mechanism to realize the approximate subgraph matching of subgraph structure and attribute, so as to obtain the best matching subgraph. The proposed method is trained in an end-to-end manner. The approximate subgraph matching is realized on the existing data set, and the research work of key pattern mining of complex geological structure knowledge graph is carried out.

Logical-semantic models and methods of knowledge representation: cases for energy management systems and SMR digital infrastructures

The subject of this article is the development of information technologies at the end of the 20th and the beginning of the 21st century for the Fourth Industrial Revolution in the form of Industry 4.0, i.e., Internet of Things (IoT) technologies. Successes in the implementation of this technology have led to the development of new applications in the energy sector, such as energy management systems, small modular reactor (SMR) management systems, and alternative power supply systems based on renewable energy sources. The digital infrastructure of these management systems is characterized by a high "density of knowledge", which requires clarification of fundamental concepts in information theory, namely the content of the concepts "data", "information", "knowledge" and "meaning of knowledge". Special attention was given to defining the role of knowledge. The aim of this study is to further develop methods and models of semiotic theory by determining the role and place of logical as well as eight- and four-factor logical-semantic models of knowledge bases in semiotic space. The tasks: comparing existing knowledge representation methods and models. Research results: We found that the logical models used in the development of knowledge bases are based on the principles of artificial intelligence theory, which relies on sign system hypotheses and formal logic theory. The main drawback is the complexity of practical implementation in the form of expert systems. For logical-semantic models in the form of eight-vector graphic models, it was found that there is currently no theoretical justification for defining the vectors that form the coordinate axes, making these models unique to specific subject areas. It was determined that the advantage of using these methods is that an expert can independently form such a knowledge model. For logical-semantic models in the form of four-factor graphic models, there is a theoretical justification for defining the factors of the model that form the coordinate axes, making these models universal for specific subject areas. It was established that the advantage of these models is that they can be developed by experts without the involvement of a knowledge engineer. Therefore, it is proposed to use four-factor logical-semantic knowledge representation models for further application. It is also proposed to split the element "logical-semantic models" into two elements in the semiotic spatial model in vector K8 "Knowledge Representation Models", namely: "logical-semantic eight-vector models" and "logical-semantic four-factor models". Additionally, it is proposed to add the element "post-Cartesian representation of meta-knowledge" to the element "geometric" in vector K5 "Ideal Models". Conclusions: The theoretical basis for developing eight-factor logical-semantic knowledge representation models is the form of connections between adjacent vectors in the form of Cartesian products on elements of the corresponding inter-coordinate matrices. The theoretical basis for the methodology of developing four-factor logical-semantic knowledge representation models is the form of connections between adjacent vectors in the form of Cartesian products for elements of the corresponding inter-coordinate matrices, as well as for diametrically opposite pairs of factors in the form of dialectical unity of the concepts "general" and "particular." The application of logical-semantic knowledge representation models for alternative energy-source management systems will ensure increased energy efficiency. Other cases related to the development of databases for SMR digital infrastructure are discussed.

Online biomedical named entities recognition by data and knowledge-driven model

Named entity recognition (NER) is an important task for the natural language processing of biomedical text. Currently, most NER studies standardized biomedical text, but NER for unstandardized biomedical text draws less attention from researchers. Named entities in online biomedical text exist with errors and polymorphisms, which negatively impact NER models’ performance and impede support from knowledge representation methods. In this paper, we propose a neural network method that can effectively recognize entities in unstandardized online medical/health text. We introduce a new pre-training scheme that uses large-scale online question-answering pairs to enhance transformers’ model capacity on online biomedical text. Moreover, we supply models with knowledge representations from a knowledge base called multi-channel knowledge labels, and this method overcomes the restriction from languages, like Chinese, that require word segmentation tools to represent knowledge. Our model outperforms other baseline methods significantly in experiments on a dataset for Chinese online medical entity recognition and achieves state-of-the-art results.

Neuro – symbolic AI for materials modelling and processes design

This paper presents possibilities of combined use of Artificial Neural Networks (ANNs) with symbolic AI methods for improving the creation and the efficiency of models for materials and manufacturing processes. Besides a short presentation of one of the most basic and common ANNs architecture, which is the Multi-Layer Perceptron (MLP), and the presentation of main symbolic AI methods for knowledge representation and processing, the paper discusses their combined use and possibilities of hybrid neuro–symbolic AI applications for modelling materials and processes. This combined AI modelling approach is planned to be implemented and tested within the Horizon Europe project M2DESCO, which concerns modelling and eco-design of High Entropy Alloys’ (HEAs) coatings.

Knowledge Graph Construction and Representation Method for Potato Diseases and Pests

Potato diseases and pests have a serious impact on the quality and yield of potatoes, and timely prevention and control of potato diseases and pests is essential. A rich knowledge reserve of potato diseases and pests is one of the most important prevention and control measures; however, valuable knowledge is buried in the massive data of potato diseases and pests, making it difficult for potato growers and managers to obtain and use it in a timely manner and to develop the potential of knowledge. Therefore, this paper explores the construction method of a knowledge graph for automatic knowledge extraction, which extracts the knowledge of potato diseases and pests scattered in heterogeneous data from multiple sources, organises it into a semantically related knowledge base, and provides potato growers with professional knowledge and timely guidance to effectively prevent and control potato diseases and pests. In this paper, a data corpus on potato diseases and pests, called PotatoRE, is first constructed. Then, a model of ALBert-BiLSTM-Self_Att-CRF is designed to extract knowledge from the corpus to form a triplet structure, which is imported into the Neo4j graph database for storage and visualisation. Furthermore, the performance of the model constructed in this paper is compared and verified using the datasets PotatoRE and People’s Daily. The results show that compared to the SOTA models of ALBert BiLSTM-CRF and ALBert BiGRU-CRF, the accuracy of our model has been improved by 2.92% and 3.12%, respectively, using PotatoRE. Compared to the Bert BiLSTM-CRF model on two datasets, our model not only improves the accuracy, recall, and F1 values, but also has a higher efficiency. The model in this paper solves the problem of the difficult recognition of nested entities. On this basis, through comparative experiments, the TransH model is used to effectively represent the constructed knowledge graph, which lays the foundation for achieving inference, extension, and automatic updating of the knowledge base. The achievements of the thesis have made certain contributions to the automatic construction of large-scale knowledge bases.

Mobility knowledge graph: review and its application in public transport

AbstractUnderstanding human mobility in urban areas is crucial for transportation planning, operations, and online control. The availability of large-scale and diverse mobility data (e.g., smart card data, GPS data), provides valuable insights into human mobility patterns. However, organizing and analyzing such data pose significant challenges. Knowledge graph (KG), a graph-based knowledge representation method, has been successfully applied in various domains but has limited applications in urban mobility. This paper aims to address this gap by reviewing existing KG studies, introducing the concept of a mobility knowledge graph (MKG), and proposing a general learning framework to construct MKG from smart card data. The MKG represents hidden travel activities between public transport stations, with stations as nodes and their relations as edges. Two decomposition approaches, rule-based and neural network-based models, are developed to extract MKG relations from smart card data, capturing latent spatiotemporal travel dependencies. The case study is conducted using smart card data from a heavily used urban railway system to validate the effectiveness of MKG in predicting individual trip destinations. The results demonstrate the significance of establishing an MKG database, as it assists in a typical problem of predicting individual trip destinations for public transport systems with only tap-in records. Additionally, the MKG framework offers potential for efficient data management and applications such as individual mobility prediction and personalized travel recommendations.

An analysis of knowledge representation methods in intelligent decision-making support systems

The scientific task, which is solved in the research, is the analysis of knowledge representation methods in intelligent decision-making support systems. The problem is explained by the fact that the form of knowledge representation significantly affects the characteristics and properties of the system. In order to operate all kinds of knowledge from the real world with the help of a computer, it is necessary to carry out their simulation. In such cases, it is necessary to distinguish knowledge intended for processing by computational devices from knowledge used by humans. In addition, with a large amount of knowledge, it is desirable to simplify the sequential management of individual elements of knowledge. A homogeneous representation leads to a simplification of the logic management mechanism and a simplification of knowledge management. The research is aimed at the analysis of knowledge representation methods in intelligent decision-making support systems. Currently, many models of knowledge representation have been developed. The main models include: logical models; frame model; network models (or semantic networks); production models. Therefore, the object of research is the intelligent decision-making support system. The subject of research is an intelligent decision-making support system. The following is set: – the methods (models, approaches) presented in the research for presenting knowledge in intelligent decision-making support systems in a canonical form are not advisable to use for a number of objective reasons given in subsection 3.1 of the research; – it is necessary to develop new (improvement of existing) representations of knowledge in intelligent decision-making support systems, which will have the advantages of these approaches without their disadvantages. Further improvement of these approaches to reduce the number of shortcomings and limitations of their application should be considered as the direction of further research.

An Ontology-Based Knowledge Representation Method for Typhoon Events from Chinese News Reports

Typhoons are destructive weather events. News media reports contain large amounts of typhoon information. Transforming this information into useful knowledge to provide a basis for mining typhoon knowledge and supporting disaster prevention and relief is urgently required to solve this problem. Knowledge representation can be used to address this problem, although it presents several challenges. These challenges lie in expressing the static and dynamic characteristics of typhoons and formalizing the knowledge representation method and making it suitable for machine processing. Moreover, the general Chinese time and space representation method is overly cumbersome for use in ontologies. The present study proposes an ontology-based typhoon event representation method that solves the representation problems of the typhoon static concept and dynamic features. Furthermore, it summarizes the fixed patterns of time and space in Chinese news and designs a time and space model suitable for typhoon event ontologies. From the ontology population, typhoon event ontology instances are created, and the typhoon event ontology model is applied to the analysis of typhoon processes, verifying the effectiveness of the typhoon event ontology model.

Articulating Intra- and Intertextual Relationships in the Fragment Collection Working with the Digital Edition of Giacomo Leopardi’s Zibaldone

Leopardi’s Zibaldone presents a compelling study of semantic relations between textual fragments because the author’s interpretive annotations form complex intra- and intertextual networks that elude close reading. The Digital Zibaldone project has built the foundation of a semantic digital edition to reconstruct the discourse order of Leopardi’s intellectual inquiries and his reception of fictional and scholarly works, while offering readers some tools for their analysis. Its larger research framework aims to create synergy between the hermeneutic project of the fragment genre and digital methods of knowledge representation.

EDET: Entity Descriptor Encoder of Transformer for Multi-Modal Knowledge Graph in Scene Parsing

In scene parsing, the model is required to be able to process complex multi-modal data such as images and contexts in real scenes, and discover their implicit connections from objects existing in the scene. As a storage method that contains entity information and the relationship between entities, a knowledge graph can well express objects and the semantic relationship between objects in the scene. In this paper, a new multi-phase process was proposed to solve scene parsing tasks; first, a knowledge graph was used to align the multi-modal information and then the graph-based model generates results. We also designed an experiment of feature engineering’s validation for a deep-learning model to preliminarily verify the effectiveness of this method. Hence, we proposed a knowledge representation method named Entity Descriptor Encoder of Transformer (EDET), which uses both the entity itself and its internal attributes for knowledge representation. This method can be embedded into the transformer structure to solve multi-modal scene parsing tasks. EDET can aggregate the multi-modal attributes of entities, and the results in the scene graph generation and image captioning tasks prove that EDET has excellent performance in multi-modal fields. Finally, the proposed method was applied to the industrial scene, which confirmed the viability of our method.