International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Ontology in Model-Based Systems Engineering Henson Graves 29 January 2011.

Slides:



Advertisements
Similar presentations
Dr. Leo Obrst MITRE Information Semantics Information Discovery & Understanding Command & Control Center February 6, 2014February 6, 2014February 6, 2014.
Advertisements

Oyster, Edinburgh, May 2006 AIFB OYSTER - Sharing and Re-using Ontologies in a Peer-to-Peer Community Raul Palma 2, Peter Haase 1 1) Institute AIFB, University.
The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE2008) Department of Electrical and Computer Engineering
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
IPY and Semantics Siri Jodha S. Khalsa Paul Cooper Peter Pulsifer Paul Overduin Eugeny Vyazilov Heather lane.
OMG Architecture Ecosystem SIG Federal CIO Council Data Architecture Subcommittee May 2011 Cory Casanave.
PR-OWL: A Framework for Probabilistic Ontologies by Paulo C. G. COSTA, Kathryn B. LASKEY George Mason University presented by Thomas Packer 1PR-OWL.
Where are the Semantics in the Semantic Web? Michael Ushold The Boeing Company.
The WSMO / L / X Approach Michael Stollberg DERI – Digital Enterprise Research Institute Alternative Frameworks for Semantics in Web Services: Possibilities.
The RDF meta model: a closer look Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations.
Systems Engineering Foundations of Software Systems Integration Peter Denno, Allison Barnard Feeney Manufacturing Engineering Laboratory National Institute.
Chapter 9 Architecture Alignment. 9 – Architecture Alignment 9.1 Introduction 9.2 The GRAAL Alignment Framework  System Aspects  The Aggregation.
Domain Modelling the upper levels of the eframework Yvonne Howard Hilary Dexter David Millard Learning Societies LabDistributed Learning, University of.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
MDC Open Information Model West Virginia University CS486 Presentation Feb 18, 2000 Lijian Liu (OIM:
Formal Methods 1. Software Engineering and Formal Methods  Every software engineering methodology is based on a recommended development process  proceeding.
Chapter 6 System Engineering - Computer-based system - System engineering process - “Business process” engineering - Product engineering (Source: Pressman,
Practical RDF Chapter 1. RDF: An Introduction
Applying Belief Change to Ontology Evolution PhD Student Computer Science Department University of Crete Giorgos Flouris Research Assistant.
The Semantic Web Service Shuying Wang Outline Semantic Web vision Core technologies XML, RDF, Ontology, Agent… Web services DAML-S.
Architecture Ecosystem Foundation (AEF) RFP aesig/ Draft RFP Presentation June 2010.
Ontology Summit2007 Survey Response Analysis -- Issues Ken Baclawski Northeastern University.
Of 33 lecture 10: ontology – evolution. of 33 ece 720, winter ‘122 ontology evolution introduction - ontologies enable knowledge to be made explicit and.
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.
Network Ontology Ramesh Subbaraman Soumya Sen UPENN, TCOM 799.
Methodology - Conceptual Database Design. 2 Design Methodology u Structured approach that uses procedures, techniques, tools, and documentation aids to.
Metadata. Generally speaking, metadata are data and information that describe and model data and information For example, a database schema is the metadata.
Methodology - Conceptual Database Design
Semantic Web - an introduction By Daniel Wu (danielwujr)
©Ferenc Vajda 1 Semantic Grid Ferenc Vajda Computer and Automation Research Institute Hungarian Academy of Sciences.
SSO: THE SYNDROMIC SURVEILLANCE ONTOLOGY Okhmatovskaia A, Chapman WW, Collier N, Espino J, Conway M, Buckeridge DL Ontology Description The SSO was developed.
Integrating SysML and OWL2 (only the static part of SysML Block Diagrams) October 2009 Henson Graves Lockheed Martin Aeronautics.
SKOS. Ontologies Metadata –Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies –Provide.
The future of the Web: Semantic Web 9/30/2004 Xiangming Mu.
Metadata Common Vocabulary a journey from a glossary to an ontology of statistical metadata, and back Sérgio Bacelar
Of 33 lecture 1: introduction. of 33 the semantic web vision today’s web (1) web content – for human consumption (no structural information) people search.
1 Knowledge Acquisition and Learning by Experience – The Role of Case-Specific Knowledge Knowledge modeling and acquisition Learning by experience Framework.
International Workshop Jan 21– 24, 2012 Jacksonville, Fl USA Model-based Systems Engineering (MBSE) Initiative Slides by Henson Graves Presented by Matthew.
The RDF meta model Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations of XML compared.
Some Thoughts to Consider 8 How difficult is it to get a group of people, or a group of companies, or a group of nations to agree on a particular ontology?
Approach to building ontologies A high-level view Chris Wroe.
The Semantic Web. What is the Semantic Web? The Semantic Web is an extension of the current Web in which information is given well-defined meaning, enabling.
Using OWL 2 For Product Modeling David Leal Caesar Systems April 2009 Henson Graves Lockheed Martin Aeronautics.
Semantic Interoperability in GIS N. L. Sarda Suman Somavarapu.
Ontology in MBSE How ontologies fit into MBSE The benefits and challenges.
© Copyright 2012 TopQuadrant Inc. 1 Investigating Semantics for Systems Engineering David Price, TopQuadrant Allison Feeney, NIST.
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA SysML and Ontology in Biomedical Modeling Henson Graves Yvonne Bijan 30 January 2011.
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Modeling Standards Activity Team Model-based Systems Engineering (MBSE) Initiative Roger Burkhart.
1 Ontological Foundations For SysML Henson Graves September 2010.
1 Structural Templates In Type Theory Henson Graves June, 2012.
Semantic Web. P2 Introduction Information management facilities not keeping pace with the capacity of our information storage. –Information Overload –haphazardly.
OMG Architecture Ecosystem SIG Enterprise Data World 2011.
Modeling Formalism Modeling Language Foundations System Modeling & Assessment Roadmap WG SE DSIG Working Group Orlando – June 2016.
IW11 Phoenix, AZ - MBSE Workshop1 Ontology from an MBSE perspective Brief-out from breakout session Monday, January 31 st, 2011.
1 Modeling Formalism (Modeling Language Foundations) System Modeling Assessment & Roadmap Working Group Meeting – SE DSIG Reston – March, 2016 Yves BERNARD.
International Workshop Jan 21– 24, 2012 Jacksonville, Fl USA Model-based Systems Engineering (MBSE) Initiative Ontology Action Team INCOSE MBSE Workshop.
A Context Framework for Ambient Intelligence
The Semantic Web By: Maulik Parikh.
Common MBSE Modeling Questions and How Ontology Helps
Integrating SysML with OWL (or other logic based formalisms)
SysML 2.0 Formalism Requirements and Potential Language Architectures
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
SysML v2 Formalism: Requirements & Benefits
Lecture #11: Ontology Engineering Dr. Bhavani Thuraisingham
Ontology Reuse In MBSE Henson Graves Abstract January 2011
Ontologies and Model-Based Systems Engineering
ece 627 intelligent web: ontology and beyond
Interoperability Viewed As an Incurable Disease Learning to Cope via Open Net-Centric Interoperability Standards for Training & Testing (ONISTT) Research.
IDEAS Core Model Concept
Department of Computer Science Abdul Wali Khan University Mardan
Presentation transcript:

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Ontology in Model-Based Systems Engineering Henson Graves 29 January 2011

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Preview Of Monday Discussion Topics SysML and ontology in biomedical modeling Ontology reuse in MBSE Ontology for identifying and resolving model ambiguity Approaches to integrating SysML with logic based frameworks, e.g., OWL Overlap with other MBSE working groups –Enterprise modeling (DoDAF, … –MBSE standards Issues, questions, what else is going on,…

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA SysML and Ontology in Biomedical Modeling Henson Graves Yvonne Bijan 30 January 2011

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Human Heart Use Case For Structural Modeling Focus of conceptual modeling is on structure

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Conceptual Modeling Objectives Construct a model that captures what is common to all (or at least) most human hearts –corresponds to product model, or product line Perform general reasoning about effects of pathology and disease symptom propagation –general properties of operation Use general case to analyze and reason about a specific heart –fault detection

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA MBSE Interest Do the modeling principles used by Description Logic (OWL) community offer anything for MBSE? Will these examples and the DL models help us understand how to integrate formal reasoning with SysML? How do biomedical examples look in SysML? Do the modeling principles used for air vehicles and other systems work in biomedical domain?

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Ontology Reuse In MBSE Henson Graves January 2011

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Ontology Applications in MBSE Examples –Units and measures –Physical interactions (laws) –Material classification and properties –Enterprise concepts Levels of rigor –Vocabulary –Informal textual semantics of vocabulary –Formal (axiomatic) semantics

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Example Opportunity: Analysis Result

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Approaches To Achieving Ontology Reuse Identify candidate ontologies, acquire and make available Start over with uniform modeling principles

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Common MBSE Modeling Questions and How Ontology Helps Henson Graves Conrad Bock January 10, 2011

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA What Does a Model Describe Are the things described by a model all the same, or can they be different? –In particular, do they all have the same parts linked together in the same way? The answer is no (perhaps intentionally) if –The model is incomplete. Does a car have more than engines and wheels? –Are there any specializations of the model? Is there more than one model of the same car? –The model is complete, but isn’t specific. What kind of engine? What kind of wheel? Which goes with which? –Parts aren’t distinguished or equated. Does the car roll on the driven wheels?

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Ontology Languages Ontology languages enable modelers to say how they want these questions to be answered Doesn’t mean system engineers need to learn ontology languages –Ontology languages can motivate and validate extensions to SysML/UML and other modeling languages to address ambiguities Improves quality of communication between people, between people and machines, and between machines –Giving a model a descriptive name (“complete car model”) does not mean that people or machines know exactly what you are talking about.

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Integrating SysML with OWL (or other logic based formalisms) Henson Graves Conrad Bock

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Why Integrate SysML With Logic Engineering has always been about building models of real world domains, –analyzing models and making measurements –refining and modifying the models Integrating a modeling language with logic-based system enables –Standardization of model semantics –Checking that model integration does not lead to inconsistency –Automated reasoning tools to perform tasks which outstrip manual capability –formal derivations for justification of engineering decisions

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA How Does Integration With Logic Achieve Objectives Constructions in logical language are given (axiomatic and/or referential) semantics, e.g., –Codify expected properties of language constructions such as subclass, instance, part,… –Allow users as they model systems to not be dependent on subject matter experts to convey their meaning – Use automated reasoning, based on formal semantics, for consistency checking as models are developed and merged –Formal derivations (proofs) can provide justification for assumptions and decisions made on basis of models

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Some Different Approaches To Integration Learn some logic based language, say FOL, or OWL and use that –recognizing that logic is primary Translate SysML into OWL and back in so far as is possible –Switch back and forth Provide SysML with a formal logical foundation –allow users to work within SysML and take advantage of reasoning tools

International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA A Stack of Semantic Standards for Ontologies To enable semantic interoperability Increasing use of standards INCREASING INTEROPERABILITY Recovery Exchange Discovery Common Meaning Resource Identification Standards Data Interchange Format Standards Metadata Standards Modeling Language Standards Ontology Standards Common Vocabulary