mbse:ontology
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
mbse:ontology [2013/06/10 23:09] henson_graves |
mbse:ontology [2013/06/11 13:13] 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. For more on this see {{:mbse:integration_15-mar-12.pdf|}} | + | 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:integrating_reasoning_10-oct-11.pdf|}}{{:mbse:integration_15-mar-12.pdf|}} |
| ===== Measure of Success ===== | ===== Measure of Success ===== | ||
| OAT success is to be measured against the OAT success criteria. The success is incremental. This section of the Wiki will be updated as evidence is obtained. Evidence of success for each of the criteria are described below. | OAT success is to be measured against the OAT success criteria. The success is incremental. This section of the Wiki will be updated as evidence is obtained. Evidence of success for each of the criteria are described below. | ||
| ==== Acceptance of ontology as component of engineering modeling ==== | ==== Acceptance of ontology as component of engineering modeling ==== | ||
| - | Evidence of ontology use means not just that practitioners use the term ontology, but there is documented use of methodology and conceptualizations that are part of the ontology literature.\\ | + | Evidence of ontology use means not just that practitioners use the term ontology, but there is documented use of methodology and conceptualizations which are part of the ontology literature, are used in engineering.\\ |
| |{{:mbse:ontological-product-modeling-short-slides.pdf|}}|\\ | |{{:mbse:ontological-product-modeling-short-slides.pdf|}}|\\ | ||
| | {{:mbse:oat:graves-current-state-ontology_.pdf|}} | | | {{:mbse:oat:graves-current-state-ontology_.pdf|}} | | ||
mbse/ontology.txt ยท Last modified: 2013/06/11 13:13 by henson_graves
Page Tools
