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:15] 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 45: | Line 45: | ||
| ==== Identification of ontology development methodology ==== | ==== Identification of ontology development methodology ==== | ||
| Develop and identifying knowledge engineering principles for constructing ontologies | Develop and identifying knowledge engineering principles for constructing ontologies | ||
| - | |{{:mbse:ontoclean.pdf|}}| | + | | Principles for constructing ontologies from an ontology theorist |{{:mbse:ontoclean.pdf|}}|\\ |
| + | | common mistakes made in constructing models | {{ mbse:common mistakes.ppt}} |\\ | ||
| ==== Evaluation of Engineering Languages with respect to representing ontologies ==== | ==== Evaluation of Engineering Languages with respect to representing ontologies ==== | ||
| The objective is to identify research which evaluates the suitability of engineering languages for representing ontologies and for integrating with reasoning.\\\\ | The objective is to identify research which evaluates the suitability of engineering languages for representing ontologies and for integrating with reasoning.\\\\ | ||
| - | |Paper on integrating reasoning with SysML |{{:mbse:integration_15-mar-12.pdf|}}| | + | |Paper on integrating reasoning with SysML |{{:mbse:integration_15-mar-12.pdf}}| |
| ==== Develop Ontology Taxonomy ==== | ==== Develop Ontology Taxonomy ==== | ||
| Develop a taxonomy of the ontologies needed for system engineering | Develop a taxonomy of the ontologies needed for system engineering | ||
| - | |{{ mbse:Ontologies-Jenkins.pptx}}| | + | |Charts outlining a hierarchy of ontologies for product development |{{ mbse:Ontologies-Jenkins.pptx}}| |
| |{{:mbse:using_simulation_and_visualization_to_support_mbse.pptx|{{:mbse:using_dodaf_for_product_development.19-sep-04.pdf|}}}} | |{{:mbse:using_simulation_and_visualization_to_support_mbse.pptx|{{:mbse:using_dodaf_for_product_development.19-sep-04.pdf|}}}} | ||
| ==== Develop reusable ontologies ==== | ==== Develop reusable ontologies ==== | ||
| Line 62: | Line 62: | ||
| ==== Formal semantics for engineering languages ==== | ==== Formal semantics for engineering languages ==== | ||
| The objective is to document research on the formal semantics of engineering languages particularly as regards to representing ontologies. | The objective is to document research on the formal semantics of engineering languages particularly as regards to representing ontologies. | ||
| - | | {{:mbse:10.1007_s10472-011-9267-5.pdf|}}| | + | |Using Formal methods with SysML in aerospace | {{:mbse:10.1007_s10472-011-9267-5.pdf|}}| |
| - | | {{:mbse:integration_15-mar-12.pdf}}| | + | |Integration of reasoning with SysML | {{:mbse:integration_15-mar-12.pdf}}| |
| - | | {{:mbse:syseng-2012-03-04-imce_mof2-owl2_integration_2012-03-20-rouquette.pdf|}} | | + | |Integration of SysML with OWL2 | {{:mbse:syseng-2012-03-04-imce_mof2-owl2_integration_2012-03-20-rouquette.pdf|}} | |
| - | | {{:mbse:turing_06-jun-12.pptx|}} | | + | |Charts viewing engineering models as axioms sets in logic | {{:mbse:turing_06-jun-12.pptx|}} | |
| - | |{{:mbse:1-s2.0-s157106610400132x-main.pdf}}| | + | |Paper discussing application of formal methods in applications |{{:mbse:1-s2.0-s157106610400132x-main.pdf}}| |
| |Draft paper on mathematical foundations for engineering modeling | {{mathemataical_foundation_engineering.pdf }} | | |Draft paper on mathematical foundations for engineering modeling | {{mathemataical_foundation_engineering.pdf }} | | ||
| ==== Community Outreach ==== | ==== Community Outreach ==== | ||
| Provide outreach to the engineering community on the value of ontological standards for MBSE and the results obtained by the OAT | Provide outreach to the engineering community on the value of ontological standards for MBSE and the results obtained by the OAT | ||
| - | |{{:mbse:incose_iw_jan_2012.2.pdf}}|\\ | + | |Brief on the goals of the Ontology Action Team |{{:mbse:incose_iw_jan_2012.2.pdf}}|\\ |
| - | |{{: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|}}|\\ |
| - | |{{ mbse:common mistakes.ppt}}| | + | |IS2013 paper on structural modeling in biomedical and product engineering |{{:mbse:biomedical_07-nov-12.2.pdf}}|\\ |
| - | |IS2013 paper on compassion of 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 ===== | ||
| Line 82: | Line 83: | ||
| |David Price | TopQuadrant |<[email protected]>| | |David Price | TopQuadrant |<[email protected]>| | ||
| |Allison Barnard Feeney |NIST | <[email protected]> | | |Allison Barnard Feeney |NIST | <[email protected]> | | ||
| - | | Masood Mir | UALR | <[email protected]>| | ||
| ===== Meetings ===== | ===== Meetings ===== | ||
| Line 97: | Line 97: | ||
| {{ mbse:Ontology-Graves.ppt}} \\ | {{ mbse:Ontology-Graves.ppt}} \\ | ||
| {{ mbse:OWL and SysML.ppt}} \\ | {{ mbse:OWL and SysML.ppt}} \\ | ||
| - | {{ mbse:common mistakes.ppt}} \\ | ||
| {{ mbse:task5.ppt}} \\ | {{ mbse:task5.ppt}} \\ | ||
mbse/ontology.1370528122.txt.gz · Last modified: 2013/06/06 10:15 by henson_graves
Page Tools
