The paper presents a formal representation for modeling function structure graphs in a consistent, grammatically controlled manner, and for performing conservation-based formal reasoning on those models. The representation consists of a hierarchical vocabulary of entities, relations, and attributes, and 33 local grammar rules that permit or prohibit modeling constructs thereby ensuring model consistency. Internal representational consistency is verified by committing the representation to a Protégé web ontology language (OWL) ontology and examining it with the Pellet consistency checker. External representational validity is established by implementing the representation in a Computer Aided Design (CAD) tool and using it to demonstrate that the grammar rules prohibit inconsistent constructs and that the models support physics-based reasoning based on the balance laws of transport phenomena. This representation, including the controlled grammar, can serve, in the future, as a basis for additional reasoning extensions.
A Formal Representation of Function Structure Graphs for Physics-Based Reasoning
Contributed by the Petroleum Division of ASME for publication in the Journal of Computing and Information Science in Engineering. Manuscript received November 28, 2011; final manuscript received November 5, 2012; published online April 22, 2013. Assoc. Editor: Ashok K. Goel.
- Views Icon Views
- Share Icon Share
- Cite Icon Cite
- Search Site
Sen, C., Summers, J. D., and Mocko, G. M. (April 22, 2013). "A Formal Representation of Function Structure Graphs for Physics-Based Reasoning." ASME. J. Comput. Inf. Sci. Eng. June 2013; 13(2): 021001. https://doi.org/10.1115/1.4023167
Download citation file:
- Ris (Zotero)
- Reference Manager