Presentation is loading. Please wait.

Presentation is loading. Please wait.

Dr. Leo Obrst MITRE Information Semantics Center for Innovative Computing & Informatics February 6, 2014February 6, 2014February 6, 2014 Semantic Interoperability.

Similar presentations


Presentation on theme: "Dr. Leo Obrst MITRE Information Semantics Center for Innovative Computing & Informatics February 6, 2014February 6, 2014February 6, 2014 Semantic Interoperability."— Presentation transcript:

1 Dr. Leo Obrst MITRE Information Semantics Center for Innovative Computing & Informatics February 6, 2014February 6, 2014February 6, 2014 Semantic Interoperability & Semantic Models: Introduction

2 2 Tightness of Coupling & Semantic Explicitness Data Application Implicit, TIGHT Explicit, Loose 1 System: Small Set of Developers Local Far Same Process Space Same Address Space Same CPU Same OS Same Programming Language Same DBMS Same Local Area Network Systems of Systems Enterprise Community Internet Same Wide Area Network Client-Server Same Intranet Federated DBs Data Warehouses Data Marts Workflow Ontologies Compiling Linking Agent Programming Web Services: SOAP Distributed Systems OOP Applets Semantic Mappings Semantic Brokers Looseness of Coupling Semantics Explicitness XML, XML Schema Conceptual Models RDF/S, OWL Web Services: UDDI, WSDL OWL-S Modal Policies Middleware Web Peer-to-peer N-Tier Architecture EAI From Synchronous Interaction to Asynchronous Communication Performance = k / Integration_Flexibility

3 3 Semantic Integration Implies Semantic Composition Simple Procedure Integration & Composition Concatenation, alignment of calling Procedure with called procedure: Caller: Do_this (integer: 5, string: sales) Called: Do_this (integer: X, string: Y) Simple Syntactic Object Integration & Composition Alignment of embedded interface definition language statements mapping two CORBA, Javabean objects Simple Semantic Model, Knowledge Integration & Composition Unification of tree or graph structures, with reasoning, simple Semantic Web ontologies: - signifies the composition operation Complex Semantic Model, Knowledge, System Integration & Composition Unification of complex networks of graph Structures, with complex reasoning, complex Semantic Web ontologies:

4 4 Dimensions of Interoperability & Integration Enterprise Object Data System Application Component 0%100% 6 Levels of Interoperability 3 Kinds of Integration Interoperability Scale Our interest lies here Community

5 5 Ontology Spectrum weak semantics strong semantics Is Disjoint Subclass of with transitivity property Modal Logic Logical Theory Thesaurus Has Narrower Meaning Than Taxonomy Is Sub-Classification of Conceptual Model Is Subclass of DB Schemas, XML Schema UML First Order Logic Relational Model, XML ER Extended ER Description Logic DAML+OIL, OWL RDF/S XTM Syntactic Interoperability Structural Interoperability Semantic Interoperability From less to more expressive

6 6 Ontology Spectrum weak semantics strong semantics Is Disjoint Subclass of with transitivity property Modal Logic Logical Theory Thesaurus Has Narrower Meaning Than Taxonomy Is Sub-Classification of Conceptual Model Is Subclass of DB Schemas, XML Schema UML First Order Logic Relational Model, XML ER Extended ER Description Logic DAML+OIL, OWL RDF/S XTM Syntactic Interoperability Structural Interoperability Semantic Interoperability Problem: Very General Semantic Expressivity: Very High Problem: Local Semantic Expressivity: Low Problem: General Semantic Expressivity: Medium Problem: General Semantic Expressivity: High From less to more expressive

7 7 Backup

8 8 Ontology Spectrum weak semantics strong semantics Is Disjoint Subclass of with transitivity property Modal Logic Logical Theory Thesaurus Has Narrower Meaning Than Taxonomy Is Sub-Classification of Conceptual Model Is Subclass of DB Schemas, XML Schema UML First Order Logic Relational Model, XML ER Extended ER Description Logic DAML+OIL, OWL RDF/S XTM Syntactic Interoperability Structural Interoperability Semantic Interoperability Logic Spectrum will cover this area From less to more expressive

9 9 Logic Spectrum: Classical Logics: PL to HOL less expressive most expressive Second Order Logic (SOL) Propositional Logic (PL) Propositions (True/False) + Logical Connectives (,,,, ) First-Order Logic (FOL): Predicate Logic, Predicate Calculus Higher Order Logic (HOL) PL + Predicates + Functions + Individuals + Quantifiers (, ) over Individuals FOL + Quantifiers (, ) over Predicates Modal Propositional Logic Modal Predicate Logic (Quantified Modal Logic) PL + Modal operators (, ): necessity/possibility, obligatory/permitted, future/past, etc. Axiomatic systems: K, D, T, B, S4, S5 FOL + Modal operators SOL + Complex Types + Higher-order Predicates (i.e., those that take one or more other predicates as arguments) Logic Programming (Horn Clauses) Substructural Logics: focus on structural rules Syntactic Restriction of FOL Decidable fragments of FOL: unary predicates (concepts) & binary relations (roles) [max 3 vars] From less to more expressive Logics Description Logics


Download ppt "Dr. Leo Obrst MITRE Information Semantics Center for Innovative Computing & Informatics February 6, 2014February 6, 2014February 6, 2014 Semantic Interoperability."

Similar presentations


Ads by Google