Abstract
Abstract—We propose an outline of an approach to formalize semantic from conceptualization for both natural language (NL) and logic expression mechanisms. This goes beyond the level of discussions at conceptual level which has to either end in conscious/unconscious relativity of understanding or subjective enforcement in the form of definitions instead of expected objective semantic. This approach supports to view from a pure mathematical perspective, and explore and locate the fundamental problems. The semantic formalization mechanism realizes the integration of problem description and the solution expression at absolute semantic level. So a problem describing process is equivalent to the solution exploring process by integrating both in one. This essentially caters the ideology of proceeding with model refinement of model driven development. Other advantages include that it will reduce the need for validation for model migrations during a model driven development process, etc. Application is intended to cover specification refinement of both functional and quality requirement, and both static description and behavioral implementation, etc.
Index Terms—Semantic, knowledge, cognitive, formalization, conceptualization.
Description
We propose an outline of an approach to formalize
semantic from conceptualization for both natural language (NL)
and logic expression mechanisms. This goes beyond the level of
discussions at conceptual level which has to either end in
conscious/unconscious relativity of understanding or subjective
enforcement in the form of definitions instead of expected
objective semantic. This approach supports to view from a pure
mathematical perspective, and explore and locate the
fundamental problems. The semantic formalization mechanism
realizes the integration of problem description and the solution
expression at absolute semantic level. So a problem describing
process is equivalent to the solution exploring process by
integrating both in one. This essentially caters the ideology of
proceeding with model refinement of model driven
development. Other advantages include that it will reduce the
need for validation for model migrations during a model driven
development process, etc. Application is intended to cover
specification refinement of both functional and quality
requirement, and both static description and behavioral
implementation, etc.
Index Terms—Semantic, knowledge, cognitive, formalization,
conceptualization.
Links and resources
Tags