| description abstract | This paper validates that a previously published formal representation of function structure graphs actually supports the reasoning that motivated its development in the first place. In doing so, it presents the algorithms to perform those reasoning, provides justification for the reasoning, and presents a software implementation called Concept Modeler (ConMod) to demonstrate the reasoning. Specifically, the representation is shown to support constructing function structure graphs in a grammarcontrolled manner so that logical and physicsbased inconsistencies are prevented in realtime, thus ensuring logically consistent models. Further, it is demonstrated that the representation can support postmodeling reasoning to check the modeled concepts against two universal principles of physics: the balance laws of mass and energy, and the principle of irreversibility. The representation in question is recently published and its internal ontological and logical consistency has been already demonstrated. However, its ability to support the intended reasoning was not validated so far, which is accomplished in this paper. | |
