{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T06:58:44Z","timestamp":1777618724973,"version":"3.51.4"},"reference-count":40,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T00:00:00Z","timestamp":1638921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"the National Key R&amp;D Program of China","award":["2020AAA0109400"],"award-info":[{"award-number":["2020AAA0109400"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Symmetry"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/sym13122363","type":"journal-article","created":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T23:30:00Z","timestamp":1639006200000},"page":"2363","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Research on Knowledge Graphs with Concept Lattice Constraints"],"prefix":"10.3390","volume":"13","author":[{"given":"Ning","family":"Lan","sequence":"first","affiliation":[{"name":"School of Electronic and Electrical Engineering, Shanghai University of Engineering Science, Shanghai 201620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuqun","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Electronic and Electrical Engineering, Shanghai University of Engineering Science, Shanghai 201620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling","family":"Yin","sequence":"additional","affiliation":[{"name":"School of Electronic and Electrical Engineering, Shanghai University of Engineering Science, Shanghai 201620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongbin","family":"Gao","sequence":"additional","affiliation":[{"name":"School of Electronic and Electrical Engineering, Shanghai University of Engineering Science, Shanghai 201620, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2021,12,8]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"112948","DOI":"10.1016\/j.eswa.2019.112948","article-title":"A review: Knowledge reasoning over knowledge graph","volume":"141","author":"Chen","year":"2020","journal-title":"Expert Syst. Appl."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"2818378","DOI":"10.1145\/2818378","article-title":"Collective graph identification","volume":"10","author":"Namata","year":"2016","journal-title":"ACM Trans. Knowl. Discov. Data"},{"key":"ref_3","unstructured":"Grangel-Gonz\u00e1lez, I. (2019). A Knowledge Graph Based Integration Approach for Industry 4.0. [Ph.D. Thesis, Universit\u00e4ts-und Landesbibliothek Bonn]."},{"key":"ref_4","first-page":"5644","article-title":"Unsupervised fake news detection on social media: A generative approach","volume":"33","author":"Yang","year":"2019","journal-title":"Artif. Intell."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"2567","DOI":"10.1007\/s11280-020-00811-0","article-title":"Multi-source knowledge fusion: A survey","volume":"23","author":"Zhao","year":"2020","journal-title":"World Wide Web"},{"key":"ref_6","unstructured":"Ganter, B., Wille, R., and Franzke, C. (1997). Formal Concept Analysis: Mathematical Foundations, Springer."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Ganter, B., Wille, R., and Wille, R. (1999). Formal Concept Analysis, Springer.","DOI":"10.1007\/978-3-642-59830-2"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G. (1997). Applied lattice theory: Formal concept analysis. General Lattice Theory, Birkh\u00e4user.","DOI":"10.1007\/978-3-0348-9326-8"},{"key":"ref_9","first-page":"21","article-title":"Algorithme de recherche des sou-matrices premi\u00e8res d\u2019une matrice","volume":"13","author":"Chein","year":"1969","journal-title":"Bull. Math."},{"key":"ref_10","first-page":"31","article-title":"Calcul pratique du treillis de Galois d\u2019une correspondence","volume":"96","author":"Bordat","year":"1986","journal-title":"Math. Inform. Et Ences Hum."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Ganter, B. (2010). Two Basic Algorithms in Concept Analysis. Formal Concept Analysis, Springer.","DOI":"10.1007\/978-3-642-11928-6_22"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.ijar.2019.08.010","article-title":"Three-way dual concept analysis","volume":"114","author":"Zhi","year":"2019","journal-title":"Int. J. Approx. Reason."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.ins.2019.12.065","article-title":"Conflict analysis under one-vote veto based on approximate three-way concept lattice","volume":"516","author":"Zhi","year":"2020","journal-title":"Inf. Sci."},{"key":"ref_14","unstructured":"Merwe, D., Obiedkov, S., and Kourie, D. (2004). AddIntent: A New Incremental Algorithm for Constructing Concept Lattices. Formal Concept Analysis, Springer."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","article-title":"Toward Principles for the Design of Ontologies Used for Knowledge Sharing","volume":"43","author":"Gruber","year":"1995","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"ref_16","first-page":"62","article-title":"Construction of domain ontology utilizing formal concept analysis and social media analytics","volume":"1","author":"Jindal","year":"2020","journal-title":"Int. J. Cogn. Comput. Eng."},{"key":"ref_17","first-page":"3368","article-title":"Information Retrieval from Software Bug Ontology Exploiting Formal Concept Analysis","volume":"24","author":"Shubhra","year":"2020","journal-title":"Comput. Sist."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1108\/LHT-02-2019-0035","article-title":"A novel method for merging academic social network ontologies using formal concept analysis and hybrid semantic similarity measure","volume":"38","author":"Priya","year":"2020","journal-title":"Libr. Hi. Tech."},{"key":"ref_19","first-page":"189","article-title":"Conceptual knowledge processing with formal concept analysis and ontologies","volume":"11","author":"Cimiano","year":"2004","journal-title":"Form. Concept Anal."},{"key":"ref_20","first-page":"10","article-title":"Automatic Acquisition of Taxonomies from Text: FCA meets NLP","volume":"11","author":"Cimiano","year":"2003","journal-title":"Workshop Adapt. Text. Extr. Min."},{"key":"ref_21","unstructured":"Tao, G. (2003). Using Formal Concept Analysis for Ontology Structuring and Building. [Master\u2019s Thesis, Nanyang Technological University]."},{"key":"ref_22","unstructured":"Haav, H.M. (2004). A Semi-automatic Method to Ontology Design by Using FCA. CLA, 13\u201315. Available online: http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.92.6057&rep=rep1&type=pdf."},{"key":"ref_23","unstructured":"Haav, H.M. (2003, January 9\u201312). An application of inductive concept analysis to construction of domain-specific ontologies. Proceedings of the VLDB Pre-conference Workshop on Emerging Database Research in East Europe, Berlin, Germany."},{"key":"ref_24","first-page":"111","article-title":"Ontology Design with Formal Concept Analysis, Edited by Vaclav Snasel, Radim Belohlavek","volume":"11","author":"Obitko","year":"2004","journal-title":"Workshop Concept Lattices Appl. Ostrav."},{"key":"ref_25","first-page":"145","article-title":"A Semi-automated Ontology Construction for Legal Question Answering","volume":"9","author":"Fawei","year":"2019","journal-title":"New Gener. Comput."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Moreira, A., Filho, J.L., and Oliveira, A. (2016). Automatic Creation of Ontology Using a Lexical Database: An Application for the Energy Sector, Springer.","DOI":"10.1007\/978-3-319-41754-7_42"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Han, P., Li, Y., and Yin, Y. (2019). Ontology Construction for Eldercare Services with an Agglomerative Hierarchical Clustering Method, Springer.","DOI":"10.1007\/978-3-030-22012-9_3"},{"key":"ref_28","first-page":"48","article-title":"Applying Semantic Relations for Automatic Topic Ontology Construction","volume":"14","author":"Vairavasundaram","year":"2018","journal-title":"Dev. Trends Intell. Technol. Smart Syst."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.ins.2020.03.058","article-title":"Cross-domain ontology construction and alignment from online cust-omer product reviews","volume":"531","author":"Geng","year":"2020","journal-title":"Inf. Sci."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"3901","DOI":"10.1007\/s10462-019-09782-9","article-title":"Automatic ontology construction from text: A review from shallow to deep learning trend","volume":"53","author":"Chan","year":"2020","journal-title":"Artif. Intell. Rev."},{"key":"ref_31","first-page":"120","article-title":"Construction of Scenic Spot Knowledge Graph Based on Ontology","volume":"75","author":"Zeng","year":"2019","journal-title":"Int. Symp. Distrib. Comput. Appl. Bus. Eng. Sci."},{"key":"ref_32","first-page":"9342301","article-title":"Link Prediction Using Semi-Automated Ontology and Knowledge Graph in Medical Sphere","volume":"5","author":"Varma","year":"2020","journal-title":"India Counc. Int."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.jvlc.2018.06.005","article-title":"Knowledge graph based on domain ontology and natural language processing technology for Chinese intangible cultural heritage","volume":"48","author":"Dou","year":"2018","journal-title":"J. Vis. Lang. Comput."},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Amador-Dom\u00ednguez, E., Hohenecker, P., and Lukasiewicz, T. (2019). An ontology-based deep learning approach for knowledge graph completion with fresh entities. International Symposium on Distributed Computing and Artificial Intelligence, Springer.","DOI":"10.1007\/978-3-030-23887-2_15"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"489","DOI":"10.3233\/SW-160218","article-title":"Knowledge graph refinement: A survey of approaches and evaluation methods","volume":"8","author":"Paulheim","year":"2017","journal-title":"Semant. Web"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0269888900007797","article-title":"Ontologies Principles, Methods and Applications","volume":"11","author":"Uschold","year":"1996","journal-title":"Knowl. Eng. Rev."},{"key":"ref_37","unstructured":"Zwass, V. (2021, June 12). Expert System. Encyclopedia Britannica. Available online: https:\/\/www.britannica.com\/technology\/expert-system."},{"key":"ref_38","first-page":"245","article-title":"Implementation of an animal recognition expert system by Prolog","volume":"14","author":"Xia","year":"2003","journal-title":"J. Chengdu Univ. Inf. Technol."},{"key":"ref_39","first-page":"428","article-title":"CN-DBpedia: A Never-Ending Chinese Knowledge Extraction System","volume":"52","author":"Bo","year":"2017","journal-title":"Ind. Eng. Other Appl. Appl. Intell. Syst."},{"key":"ref_40","first-page":"481","article-title":"Probase: A probabilistic taxonomy for text understanding","volume":"119","author":"Wu","year":"2012","journal-title":"Manag. Data"}],"container-title":["Symmetry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-8994\/13\/12\/2363\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:43:12Z","timestamp":1760168592000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-8994\/13\/12\/2363"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,8]]},"references-count":40,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2021,12]]}},"alternative-id":["sym13122363"],"URL":"https:\/\/doi.org\/10.3390\/sym13122363","relation":{},"ISSN":["2073-8994"],"issn-type":[{"value":"2073-8994","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12,8]]}}}