This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
mbse:ontology [2013/06/10 18:25] henson_graves |
mbse:ontology [2013/06/10 23:09] henson_graves |
||
---|---|---|---|
Line 33: | Line 33: | ||
==== Reasoning ==== | ==== Reasoning ==== | ||
Of particular interest to OAT is the integration of reasoning with modeling. In order to draw valid conclusions from models automatically, computer programs require an expressive modeling (ontology) language with ontology standards (concepts used in the models). The language must have an inference rule semantics that can be used for automated reasoning that is in accord with the intended meaning of the models. The establishment of a recognized formal semantics for modeling languages can enable integrated automated reasoning into the development process. Automated reasoning can mitigate engineering tasks that are currently manual, error prone, and time consuming. | Of particular interest to OAT is the integration of reasoning with modeling. In order to draw valid conclusions from models automatically, computer programs require an expressive modeling (ontology) language with ontology standards (concepts used in the models). The language must have an inference rule semantics that can be used for automated reasoning that is in accord with the intended meaning of the models. The establishment of a recognized formal semantics for modeling languages can enable integrated automated reasoning into the development process. Automated reasoning can mitigate engineering tasks that are currently manual, error prone, and time consuming. | ||
- | Models are used to perform analysis and answer questions. The complexity of product development has outstripped the capability to manually perform analysis and answer questions. | + | Models are used to perform analysis and answer questions. The complexity of product development has outstripped the capability to manually perform analysis and answer questions. For more on this see {{:mbse:integration_15-mar-12.pdf|}} |
===== Measure of Success ===== | ===== Measure of Success ===== |