A Formal Representation of Function Structure Graphs for Physics Based ReasoningSource: Journal of Computing and Information Science in Engineering:;2013:;volume( 013 ):;issue: 002::page 21001DOI: 10.1115/1.4023167Publisher: The American Society of Mechanical Engineers (ASME)
Abstract: The paper presents a formal representation for modeling function structure graphs in a consistent, grammatically controlled manner, and for performing conservationbased 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 physicsbased 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.
|
Show full item record
| contributor author | Sen, Chiradeep | |
| contributor author | Summers, Joshua D. | |
| contributor author | Mocko, Gregory M. | |
| date accessioned | 2017-05-09T00:57:08Z | |
| date available | 2017-05-09T00:57:08Z | |
| date issued | 2013 | |
| identifier issn | 1530-9827 | |
| identifier other | jcis_13_2_021001.pdf | |
| identifier uri | http://yetl.yabesh.ir/yetl/handle/yetl/151215 | |
| description abstract | The paper presents a formal representation for modeling function structure graphs in a consistent, grammatically controlled manner, and for performing conservationbased 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 physicsbased 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. | |
| publisher | The American Society of Mechanical Engineers (ASME) | |
| title | A Formal Representation of Function Structure Graphs for Physics Based Reasoning | |
| type | Journal Paper | |
| journal volume | 13 | |
| journal issue | 2 | |
| journal title | Journal of Computing and Information Science in Engineering | |
| identifier doi | 10.1115/1.4023167 | |
| journal fristpage | 21001 | |
| journal lastpage | 21001 | |
| identifier eissn | 1530-9827 | |
| tree | Journal of Computing and Information Science in Engineering:;2013:;volume( 013 ):;issue: 002 | |
| contenttype | Fulltext |