scholarly journals Research on Knowledge Graphs with Concept Lattice Constraints

Symmetry ◽  
2021 ◽  
Vol 13 (12) ◽  
pp. 2363
Author(s):  
Ning Lan ◽  
Shuqun Yang ◽  
Ling Yin ◽  
Yongbin Gao
Keyword(s):  
Traditional Knowledge ◽  
Knowledge Engineering ◽  
Concept Lattice ◽  
Formal Context ◽  
Knowledge Graph ◽  
Rule Base ◽  
Formal Concept ◽  
Mutual Transformation ◽  
Knowledge Graphs ◽  
Attribute Implication

The application of knowledge graphs has been restricted in some domains, especially the industrial and academic domains. One of the reasons is that they require a high reliability of knowledge, which cannot be satisfied by the existing knowledge graph research. By comparison, traditional knowledge engineering has a high correctness, but low efficiency is an inevitable drawback. Therefore, it is meaningful to organically connect traditional knowledge engineering and knowledge graphs. Therefore, we propose a theory from Attribute Implications to Knowledge Graphs, named AIs-KG, which can construct knowledge graphs based on implications. The theory connects formal concept analysis and knowledge graphs. We firstly analyze the mutual transformation based on the ideas of symmetry with a strict proof among the attribute implication, the formal context and the concept lattice, which forms the closed cycle between the three. Particularly, we propose an Augment algorithm (IFC-A) to generate the Implication Formal Context through the attribute implication, which can make knowledge more complete. Furthermore, we regard ontology as a bridge to realize the transformation from the concept lattice to the knowledge graph through some mapping methods. We conduct our experiments on the attribute implication from the rule base of an animal recognition expert system to prove the feasibility of our algorithms.

The construction of multi-granularity concept lattices

2020 ◽  
Vol 39 (3) ◽  
pp. 2783-2790
Author(s):  
Qian Hu ◽  
Ke-Yun Qin
Keyword(s):  
Formal Concept Analysis ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Context ◽  
Formal Concept ◽  
Mutual Transformation ◽  
Concept Lattices ◽  
Construction Methods ◽  
Formal Concepts ◽  
Transformation Methods

The construction of concept lattices is an important research topic in formal concept analysis. Inspired by multi-granularity rough sets, multi-granularity formal concept analysis has become a new hot research issue. This paper mainly studies the construction methods of concept lattices in multi-granularity formal context. The relationships between concept forming operators under different granularity are discussed. The mutual transformation methods of formal concepts under different granularity are presented. In addition, the approaches of obtaining coarse-granularity concept lattice by fine-granularity concept lattice and fine-granularity concept lattice by coarse-granularity concept lattice are examined. The related algorithms for generating concept lattices are proposed. The practicability of the method is illustrated by an example.

scholarly journals A Web Page Clustering Method Based on Formal Concept Analysis

Information ◽  
2018 ◽  
Vol 9 (9) ◽  
pp. 228 ◽  
Author(s):  
Zuping Zhang ◽  
Jing Zhao ◽  
Xiping Yan
Keyword(s):  
Formal Concept Analysis ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Context ◽  
Formal Concept ◽  
Web Pages ◽  
Web Page ◽  
Data Links ◽  
Web Page Clustering ◽  
The Web

Web page clustering is an important technology for sorting network resources. By extraction and clustering based on the similarity of the Web page, a large amount of information on a Web page can be organized effectively. In this paper, after describing the extraction of Web feature words, calculation methods for the weighting of feature words are studied deeply. Taking Web pages as objects and Web feature words as attributes, a formal context is constructed for using formal concept analysis. An algorithm for constructing a concept lattice based on cross data links was proposed and was successfully applied. This method can be used to cluster the Web pages using the concept lattice hierarchy. Experimental results indicate that the proposed algorithm is better than previous competitors with regard to time consumption and the clustering effect.

scholarly journals A New Rapid Incremental Algorithm for Constructing Concept Lattices

Information ◽  
2019 ◽  
Vol 10 (2) ◽  
pp. 78 ◽  
Author(s):  
Jingpu Zhang ◽  
Ronghui Liu ◽  
Ligeng Zou ◽  
Licheng Zeng
Keyword(s):  
Formal Concept Analysis ◽  
Concept Lattice ◽  
Incremental Algorithm ◽  
Formal Context ◽  
Formal Concept ◽  
Concept Lattices ◽  
Covering Relation ◽  
Canonical Generator ◽  
Lattice Construction ◽  
Time And Space Complexity

Formal concept analysis has proven to be a very effective method for data analysis and rule extraction, but how to build formal concept lattices is a difficult and hot topic. In this paper, an efficient and rapid incremental concept lattice construction algorithm is proposed. The algorithm, named FastAddExtent, is seen as a modification of AddIntent in which we improve two fundamental procedures, including fixing the covering relation and searching the canonical generator. The proposed algorithm can locate the desired concept quickly by adding data fields to every concept. The algorithm is depicted in detail, using a formal context to show how the new algorithm works and discussing time and space complexity issues. We also present an experimental evaluation of its performance and comparison with AddExtent. Experimental results show that the FastAddExtent algorithm can improve efficiency compared with the primitive AddExtent algorithm.

The Method of Discover the Attributes' Sequences of Objects in the Formal Context

2013 ◽  
Vol 427-429 ◽  
pp. 2536-2539
Author(s):  
Xue Song Dai ◽  
Yuan Ma ◽  
Wen Xue Hong
Keyword(s):  
Equivalence Relation ◽  
Formal Concept Analysis ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Context ◽  
Formal Concept ◽  
Analysis Method ◽  
Analysis Theory

Formal context is one of the research contents of formal concept analysis theory. In concept lattice, the attributes of the object are equivalent and there is no hierarchy. Facing to this problem, the equivalence relation which is on the attributes' set is defined and the corresponding σ operation is proposed. On this basis, the structure method of attribute hierarchical diagram is presented and attributes' sequences of associated objects are obtained. This conclusion enriches and extends the analysis method of the formal context.

scholarly journals Three-Way Concept Analysis for Incomplete Formal Contexts

2018 ◽  
Vol 2018 ◽  
pp. 1-11 ◽  
Author(s):  
Huilai Zhi ◽  
Hao Chao
Keyword(s):  
Formal Concept Analysis ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Context ◽  
Formal Concept ◽  
Binary Relations ◽  
Formal Concepts ◽  
Target Set ◽  
The Relationship ◽  
Negative Attributes

Recently, incomplete formal contexts have received more and more attention from the communities of formal concept analysis. Different from a complete context where the binary relations between all the objects and attribute are known, an incomplete formal context has at least a pair of object and attribute with a completely unknown binary relation. Partially known formal concepts use interval sets to indicate the incompleteness. Three-way formal concept analysis is capable of characterizing a target set by combining positive and negative attributes. However, how to describe target set, by pointing out what attributes it has with certainty and what attributes it has with possibility and what attributes it does not has with certainty and what attributes it does not has with possibility, is still an open problem. This paper combines the ideas of three-way formal concept analysis and partially known formal concepts and presents a framework of approximate three-way concept analysis. At first, approximate object-induced and attribute-induced three-way concept lattices are introduced, respectively. And then, the relationship between approximate three-way concept lattice and classical three-way concept lattice are investigated. Finally, examples are presented to demonstrate and verify the obtained results.

scholarly journals Finding the Key Structure of Mechanical Parts with Formal Concept Analysis

Information ◽  
2020 ◽  
Vol 11 (2) ◽  
pp. 116
Author(s):  
Qiang Wu ◽  
Yan Dong ◽  
Liping Xie
Keyword(s):  
Concept Lattice ◽  
3D Structure ◽  
Data Consistency ◽  
Formal Context ◽  
Formal Concept ◽  
Structure Model ◽  
Constraint Graph ◽  
Chemical Database ◽  
Assembly Structure ◽  
3D Assembly

Aiming at the problem that the assembly body model is difficult to classify and retrieve (large information redundancy and poor data consistency), an assembly body retrieval method oriented to key structures was presented. In this paper, a decision formal context is transformed from the 3D structure model. The 3D assembly structure model of parts is defined by the adjacency graph of function surface and qualitative geometric constraint graph. The assembly structure is coded by the linear symbol representation of compounds in chemical database. An importance or cohesion as the weight to a decision-making objective on the context is defined by a rough set method. A weighted concept lattice is introduced on it. An important formal concept means a key structure, since the concept represents the relations between parts’ function surfaces. It can greatly improve the query efficiency.

scholarly journals Formal context reduction in deriving concept hierarchies from corpora using adaptive evolutionary clustering algorithm star

2021 ◽  
Author(s):  
Bryar A. Hassan ◽  
Tarik A. Rashid ◽  
Seyedali Mirjalili
Keyword(s):  
Clustering Algorithm ◽  
Concept Lattice ◽  
Formal Context ◽  
Formal Concept ◽  
Context Analysis ◽  
Concept Hierarchy ◽  
Evolutionary Clustering ◽  
Learning Concept ◽  
Concept Hierarchies

AbstractIt is beneficial to automate the process of deriving concept hierarchies from corpora since a manual construction of concept hierarchies is typically a time-consuming and resource-intensive process. As such, the overall process of learning concept hierarchies from corpora encompasses a set of steps: parsing the text into sentences, splitting the sentences and then tokenising it. After the lemmatisation step, the pairs are extracted using formal context analysis (FCA). However, there might be some uninteresting and erroneous pairs in the formal context. Generating formal context may lead to a time-consuming process, so formal context size reduction is require to remove uninterested and erroneous pairs, taking less time to extract the concept lattice and concept hierarchies accordingly. In this premise, this study aims to propose two frameworks: (1) A framework to review the current process of deriving concept hierarchies from corpus utilising formal concept analysis (FCA); (2) A framework to decrease the formal context’s ambiguity of the first framework using an adaptive version of evolutionary clustering algorithm (ECA*). Experiments are conducted by applying 385 sample corpora from Wikipedia on the two frameworks to examine the reducing size of formal context, which leads to yield concept lattice and concept hierarchy. The resulting lattice of formal context is evaluated to the standard one using concept lattice-invariants. Accordingly, the homomorphic between the two lattices preserves the quality of resulting concept hierarchies by 89% in contrast to the basic ones, and the reduced concept lattice inherits the structural relation of the standard one. The adaptive ECA* is examined against its four counterpart baseline algorithms (Fuzzy K-means, JBOS approach, AddIntent algorithm, and FastAddExtent) to measure the execution time on random datasets with different densities (fill ratios). The results show that adaptive ECA* performs concept lattice faster than other mentioned competitive techniques in different fill ratios.

scholarly journals Detection Of Maximal Balanced Clique In Signed Networks Based On Improved Three-Way Concept Lattice and Modified Formal Concept Analysis

2021 ◽  
Author(s):  
Yixuan Yang ◽  
Doo-Soon Park ◽  
Fei Hao ◽  
Sony Peng ◽  
Min-Pyo Hong ◽  
...  
Keyword(s):  
Social Network ◽  
Formal Concept Analysis ◽  
Industrial Revolution ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Context ◽  
Formal Concept ◽  
Signed Networks ◽  
Social Network Structure ◽  
Real World Datasets

Abstract In the era of artificial intelligence including the fourth industrial revolution, social networks analyzing is a significant topic in big data analysis. Clique detection is a state-of-the-art technique in social network structure mining, which is widely used in a particular social network like signed network. There are positive and negative relationships in signed networks which detect not only cliques or maximal cliques but also maximal balanced cliques.In this paper, two algorithms have been addressed to the problems. First, we modify three-way concept lattice algorithm using a modified formal context and supplement formal context to obtain an object-induced three-way concept lattice (OE-concept) to detect the maximal balanced cliques. Second, in order to improve the cost of memory and efficiency, we modify formal concept analysis algorithm by using modified formal context combine with supplement formal context to find the maximal balance cliques. Additionally, we utilized four real-world datasets to test our proposed approaches as well as the running time in the experimental section.

Constructing Domain Ontology Based on Fuzzy Set and Concept Lattice

2011 ◽  
Vol 63-64 ◽  
pp. 715-718
Author(s):  
Ting Zhong Wang ◽  
Hong Sheng Xu
Keyword(s):  
Set Theory ◽  
Fuzzy Set ◽  
Fuzzy Set Theory ◽  
Lattice Structure ◽  
Concept Lattice ◽  
Formal Context ◽  
Formal Concept ◽  
Cpu Time ◽  
Analysis Theory ◽  
Formal Concepts

The major content in FCA is to extract formal concepts and connections between them from data in form of formal context so as to form a lattice structure of formal concepts. Fuzzy set theory and fuzzy logic are acknowledged as an appropriate formalism for capturing imprecise and vague knowledge. The paper offers a methodology for building ontology for knowledge sharing and reusing based on fuzzy concept lattices union. This paper makes up these defects by applying formal concept analysis theory and fuzzy sets to construct concept hierarchies of ontology, and the experiments shows the CPU Time in the attribute numbers, indicating that FFCA is superior to FCA in building the ontology of semantic web.

Using Formal Concept Analysis and Rough Set Constructing the System of Semantic Web

2011 ◽  
Vol 58-60 ◽  
pp. 1664-1670
Author(s):  
Hong Sheng Xu ◽  
Rui Ling Zhang
Keyword(s):  
Semantic Web ◽  
Rough Set ◽  
Formal Concept Analysis ◽  
Rough Set Theory ◽  
Concept Lattice ◽  
Concept Analysis ◽  
Formal Context ◽  
Great Promise ◽  
Formal Concept ◽  
Concept Lattices

Formal concept analysis (FCA) is based on a formalization of the philosophical understanding of a concept as a unit of thought constituted by its extent and intent. The rough set philosophy is founded on the assumption that with every object of the universe of discourse we associate some information. This paper deals with approaches to knowledge reduction in generalized consistent decision formal context. Finally, a new system model of semantic web based on FCA and rough set is proposed, which preserve more structural and featural information of concept lattice. In order to obtain the concept lattices with relatively less attributes and objects, we study the reduction of the concept lattices based on FCA and rough set theory. The experimental results indicate that this method has great promise.

Sign in / Sign up

Export Citation Format

Share Document