====== Ontology Action Team ====== ===== Purpose ===== The Ontology Action Team (OAT) is part of the INCOSE Model-Based System Engineering (MBSE) initiative. The OAT goal is to leverage ontology practices to improve MBSE. In particular, Ontology is an enabler of good modeling in that it focuses on establishing well defined domain concepts in terms of the terminology, definitions, and relationships as needed to model real world applications. In addition, the use of formal semantics is essential for modeling languages to properly represent the concepts, and to enable additional analysis to be performed about the systems. The combination of a controlled vocabulary and underlying formalism provides the opportunity to create more consistent models and improve semantic interoperability. Ontologies have been developed and are in use in many areas of science (biomedical, chemical, neuroscience), business, and engineering. These ontologies and the lessons learned in their development are a rich source material for the OAT effort. The OAT maintains this wiki to coordinate the OAT activities which include performing outreach to communities with overlapping interests and providing links to relevant resources. \\ \\ ===== Criteria for Success ===== The purpose of OAT is to facilitate the incorporation of ontological methods in MBSE and the exchange of ideas in this area. Individuals with interest in ontology in MBSE are encouraged to participate in the development of this site and to help identify material that should be included. The success criteria for OAT is: * Ontological analysis is recognized as an enabler for good modeling * Identification of ontologies needed for engineering modeling * Identification of material for ontology development * Ontologies accepted as drafts by standards groups * Demonstration of integration of reasoning with engineering languages * Adoption of standard semantic formalisms for engineering language standards * Identification of expressiveness requirements for engineering languages ===== Topic Overview / Description ===== Model-based systems engineering (MBSE) is the formalized application of system modeling for requirements, design, analysis, verification, and validation. Modeling begins in the conceptual design phase and continues throughout product development and later life cycle phases. In MBSE, models are used as requirements and design specifications. In the INCOSE strategic vision, models replace documents as the primary product or artifact of the system engineering process. Success of the vision requires a firm mathematical foundation for real world representations and high fidelity simulation with a unified methodology that produces high quality, reusable models. Standards for developing, sharing, and managing models are required to achieve this vision. \\ \\ ==== 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. 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. ==== Formal Semantics ==== Collaboration and sharing of models requires that models use common terminology and the terminology has well-defined meaning. For collaboration, the meaning of the models needs to be expressed without the models having to be accompanied by subject domain experts. For concepts like part of and product version, the informal meaning and even natural language definitions within standards are not sufficiently precise to rule out different interpretations for the same term. A formal semantics for a modeling language enables a precision of standardization not possible with syntactic and data interchange formats. A formal semantics is required to make ontology meaning precise as well as making the meaning of models precise. ==== 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. 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 ===== 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 ==== 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:oat:graves-current-state-ontology_.pdf|}} | | {{:mbse:09s-siw-056_mbds.pdf}}| | {{:mbse:ms_syn.pdf}}| ==== Identification of ontology development methodology ==== Develop and identifying knowledge engineering principles for constructing ontologies | 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 ==== 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}}| ==== Develop Ontology Taxonomy ==== Develop a taxonomy of the ontologies needed for system engineering |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|}}}} ==== Develop reusable ontologies ==== The objective is to provide links to publically available ontologies that might be candidates for standardization. |{{:mbse:oat:saontology.pdf|}}| |{{:mbse:using_dodaf_for_product_development.19-sep-04.pdf}}| ==== Formal semantics for engineering languages ==== The objective is to document research on the formal semantics of engineering languages particularly as regards to representing ontologies. |Using Formal methods with SysML in aerospace | {{:mbse:10.1007_s10472-011-9267-5.pdf|}}| |Integration of reasoning with SysML | {{:mbse:integration_15-mar-12.pdf}}| |Integration of SysML with OWL2 | {{:mbse:syseng-2012-03-04-imce_mof2-owl2_integration_2012-03-20-rouquette.pdf|}} | |Charts viewing engineering models as axioms sets in logic | {{:mbse:turing_06-jun-12.pptx|}} | |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 }} | ==== Community Outreach ==== Provide outreach to the engineering community on the value of ontological standards for MBSE and the results obtained by the OAT |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|}}|\\ |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 ===== |Henson Graves | Algos Associates | | |Yvonne Bijan | Lockheed Martin || |Conrad Bock | NIST | | |David Price | TopQuadrant || |Allison Barnard Feeney |NIST | | ===== Meetings ===== [[MBSE workshop at 2011 INCOSE IW]] ===== Wiki Articles ===== [[Ontology Working Group Plan]] \\ [[Background Material for MBSE Ontology Development]] \\ [[NIST Investigation - Semantics for SysEng and ILS]] \\ [[Activity Area Results]] \\ \\ {{ mbse:Ontology in MBSE.pptx}} \\ {{ mbse:Ontologies-Jenkins.pptx}} \\ {{ mbse:Ontology-Graves.ppt}} \\ {{ mbse:OWL and SysML.ppt}} \\ {{ mbse:task5.ppt}} \\ ===== Reference Links ===== Link to related items such as related organizations, related articles, ... ==== INCOSE Links ==== [[http://www.incose.org/ | INCOSE ]] ==== Semantics for Systems Engineering (David Price) ===== [[http://www.omgwiki.org/MBSE/doku.php?id=mbse:nist_investigation_-_semantics_for_syseng_and_ils]] ==== OMG Links ==== [[http://www.omg.org/ | OMG]] ==== External Links ==== [[http://tomgruber.org/writing/ontology-definition-2007.htm | Ontology by Tom Gruber ]] ==== Cross Team Links ====