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/06 10:42] henson_graves |
mbse:ontology [2013/06/11 13:13] (current) henson_graves |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| ==== Ontology ==== | ==== Ontology ==== | ||
| - | Ontology as a philosophical discipline aims at developing a system of general categories, the relationships between them and the rules that govern them which together form a theory of reality. How does ontology relate to the practice of building models in an engineering modeling language such as SysML or ISO15926? Models are used to describe systems that exist or might exist in the real world. An ontology provides the concepts used to describe the real world and their meaning. Use of standardized ontologies, which make concepts precise, enables better model sharing. | + | Ontology as a philosophical discipline aims at developing a system of general categories, the relationships between them and the rules that govern them which together form a theory of reality. How does ontology relate to the practice of building models in an engineering modeling language such as SysML or ISO15926? Models are used to describe systems that exist or might exist in the real world. An ontology provides the concepts used to describe the real world and their meaning. Use of standardized ontologies, which make concepts precise, enables better model sharing. For more on the state of ontology in engineering read {{:mbse:graves-current-state-ontology-cb.pdf|}} |
| The development of system engineering ontologies that can be used as libraries will facilitate the ability to quickly develop models and to make their sharing easier. | The development of system engineering ontologies that can be used as libraries will facilitate the ability to quickly develop models and to make their sharing easier. | ||
| 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: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|}} | | ||
| Line 72: | Line 72: | ||
| |Brief on the goals of the Ontology Action Team |{{:mbse:incose_iw_jan_2012.2.pdf}}|\\ | |Brief on the goals of the Ontology Action Team |{{:mbse:incose_iw_jan_2012.2.pdf}}|\\ | ||
| |Outbrief on ontology in engineering modeling 2011 |{{:mbse:mbse-ontology-outbrief-2011-01-31-iw.pdf|}}|\\ | |Outbrief on ontology in engineering modeling 2011 |{{:mbse:mbse-ontology-outbrief-2011-01-31-iw.pdf|}}|\\ | ||
| - | |IS2013 paper on compassion of structural modeling in biomedical and product engineering | {{:mbse:biomedical_07-nov-12.2.pdf}}| | + | |IS2013 paper on structural modeling in biomedical and product engineering |{{:mbse:biomedical_07-nov-12.2.pdf}}|\\ |
| + | |draft paper on use of ontology in managing product development | {{pd_ontology.pdf}}| | ||
| + | |IS2013 charts on structural modeling in biomedical and product engineering |{{:mbse:structural_modeling_9-jun-13.pdf|}}|\\ | ||
| ===== Team Members ===== | ===== Team Members ===== | ||
mbse/ontology.1370529772.txt.gz · Last modified: 2013/06/06 10:42 by henson_graves
Page Tools
