Abstract
The development of new methods and tools for formalization and representation of complex knowledge in the context of the creation of intelligent systems remains in the scope of scientific research. There is a trend to automate the knowledge formalization and representation by using various sources of information, in particular, spreadsheets. This paper proposes a novel approach to the semi-automatic formalization and representation of engineering knowledge in the form of conceptual models and knowledge base codes from spreadsheet data. Our approach contains three phases: (I) rule-driven data transformation source spreadsheet tables to a specific canonical form (data preprocessing), (II) domain knowledge formalization and representation via the extraction and aggregation of conceptual model fragments from canonicalized tables, (III) model-driven synthesizing knowledge base and source codes from a domain model. The approach is implemented by our tools: TABBYXL provides the development of a software application for the spreadsheet data canonicalization; Personal Knowledge Base Designer is used to build and aggregate conceptual models fragments, as well as to construct a target knowledge base and generation source codes. Our case study on the industrial safety inspection (ISI) demonstrates the applicability of the approach for prototyping knowledge bases containing decision-making rules.
Highlights
The development of new methods and tools for formalization and representation of complex engineering knowledge in the context of the creation of domain-specific knowledge-based systems for solving various practical engineering problems remains in the scope of scientific research [1]
This paper presents a novel three-phase approach to a semi-automatic formalization and representation of engineering knowledge in the form of conceptual models and spreadsheet data, and covers the following tasks: (I) extracting source arbitrary tables from a spread-sheet and transforming them to an original canonicalized form; (II) formalization and representation domain model fragments extracted from canonicalized tables and aggregating them into a complete domain model; (III) synthesizing source codes of a knowledge base in a target knowledge representation language from a complete domain model
We develop and integrate our two tools to demonstrate the applicability of the proposed approach: (I) TabbyXL [10] for canonicalization of source arbitrary tables to a canonicalized form; (II) PKBD (Personal Knowledge Base Designer) [11] for formalization and representation of knowledge in the form of domain models and source codes of knowledge bases
Summary
The development of new methods and tools for formalization and representation of complex engineering knowledge in the context of the creation of domain-specific knowledge-based systems for solving various practical engineering problems remains in the scope of scientific research [1]. This paper presents a novel three-phase approach to a semi-automatic formalization and representation of engineering knowledge in the form of conceptual models and spreadsheet data, and covers the following tasks:. We proposed the approach for formalization and representation of complex engineering knowledge in the form of conceptual models and knowledge bases that utilizes the rule-driven spreadsheet data extraction. It is important to highlight that the resulting conceptual models were used to synthesize source codes and high-level specifications for knowledge bases.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
