1June 7, 2004Ontologies for interoperability1 Ontology-based data integration Maurizio Lenzerini Dipartimento di Informatica e Sistemistica “A. Ruberti”

Slides:

Advertisements

Similar presentations

I Sistemi Positivi Grafi dinfluenza: irriducibilità, eccitabilità e trasparenza Lorenzo Farina Dipartimento di informatica e sistemistica A. Ruberti Università

Advertisements

I Sistemi Positivi Realizzazione: esistenza a tempo continuo e minimalità Lorenzo Farina Dipartimento di informatica e sistemistica A. Ruberti Università

Connectors and Concurrency joint work with Ugo Montanari Roberto Bruni Dipartimento di Informatica Università di Pisa Dagstuhl Seminar #04241, September.

OO databases 1 Object Oriented databases. OO databases 2 Developing OODBMS - motivation motivation more and more application areas require systems that.

Schema Matching and Query Rewriting in Ontology-based Data Integration Zdeňka Linková ICS AS CR Advisor: Július Štuller.

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.

OWL - DL. DL System A knowledge base (KB) comprises two components, the TBox and the ABox The TBox introduces the terminology, i.e., the vocabulary of.

An Introduction to Description Logics

CSE 636 Data Integration Data Integration Approaches.

Information Integration Using Logical Views Jeffrey D. Ullman.

Corso MAE Metodi Quantitativi per il Management Quantitative methods for Management Roma, 18 settembre - 24 ottobre 2003 Prof. Gianni Di Pillo Prof. Laura.

An Introduction to RDF(S) and a Quick Tour of OWL

Reference Implementation WSMX Matthew Moran, (Emilia Cimpian, AdrianMocan, Eyal Oren, Michal Zaremba) Digital Enterprise Research Institute

Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.

DL-LITE: TRACTABLE DESCRIPTION LOGICS FOR ONTOLOGIES AUTHORS: DIEGO CALVANESE, GIUSEPPE DE GIACOMO, DOMENICO LEMBO, MAURIZIO LENZERINI, RICCARDO ROSATI.

Analyzing Minerva1 AUTORI: Antonello Ercoli Alessandro Pezzullo CORSO: Seminari di Ingegneria del SW DOCENTE: Prof. Giuseppe De Giacomo.

P2P Information Interoperability & Decision Support Domain Application SEMANTIC INTEROP QUERY PROCESSING GIS INTEROP P2P ● Heterogeneous semantic ● Semantic.

Description Logics. Outline Knowledge Representation Knowledge Representation Ontology Language Ontology Language Description Logics Description Logics.

An exercise in proving undecidability Balder ten Cate Bertinoro 15/12/2006.

Amarnath Gupta Univ. of California San Diego. An Abstract Question There is no concrete answer …but …

1 IFIP WG1.3, Udine, September 12, Ugo Montanari, Coalgebras for Named Sets Ugo Montanari Dipartimento di Informatica Università di Pisa Coalgebras.

An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.

Workshop – 10, December 2014, Berlin ICCS / NTUA Greece Efthymios Chondrogiannis An Intelligent Ontology Alignment Tool Dealing with Complicated Mismatches.

Applying Belief Change to Ontology Evolution PhD Student Computer Science Department University of Crete Giorgos Flouris Research Assistant.

1 WSMX Web Service Modeling Execution WSMO Deliverable 13 Emilia Cimpian, Adrian Mocan, Matthew Moran, Eyal Oren, Michal Zaremba 3 March 2004.

Status report of : Framework for generating ontologies ISO/IEC JTC 1/SC 32/WG 2 Interim Meeting, Redwood City, USA, November 17, 2010 Dongwon Jeong,

The Semantic Web William M Baker

Peer-to-Peer Data Integration Using Distributed Bridges Neal Arthorne B. Eng. Computer Systems (2002) Supervisor: Babak Esfandiari April 12, 2005 Candidate.

Active Monitoring in GRID environments using Mobile Agent technology Orazio Tomarchio Andrea Calvagna Dipartimento di Ingegneria Informatica e delle Telecomunicazioni.

Interoperability in Information Schemas Ruben Mendes Orientador: Prof. José Borbinha MEIC-Tagus Instituto Superior Técnico.

Agent Model for Interaction with Semantic Web Services Ivo Mihailovic.

Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.

Data integration and transformation 3. Data Exchange Paolo Atzeni Dipartimento di Informatica e Automazione Università Roma Tre 28/10-4/11/2009.

Chapter 3 The Relational Model. 2 Chapter 3 - Objectives u Terminology of relational model. u How tables are used to represent data. u Connection between.

OWL 2 in use. OWL 2 OWL 2 is a knowledge representation language, designed to formulate, exchange and reason with knowledge about a domain of interest.

Michael Eckert1CS590SW: Web Ontology Language (OWL) Web Ontology Language (OWL) CS590SW: Semantic Web (Winter Quarter 2003) Presentation: Michael Eckert.

Dimitrios Skoutas Alkis Simitsis

Data integration and transformation 3. Data Exchange Paolo Atzeni Dipartimento di Informatica e Automazione Università Roma Tre 28/10/2009.

Knowledge Representation of Statistic Domain For CBR Application Supervisor : Dr. Aslina Saad Dr. Mashitoh Hashim PM Dr. Nor Hasbiah Ubaidullah.

Interoperability & Knowledge Sharing Advisor: Dr. Sudha Ram Dr. Jinsoo Park Kangsuk Kim (former MS Student) Yousub Hwang (Ph.D. Student)

The data standards soup … Is the most exciting topic you can dream of.

Ontology Mapping in Pervasive Computing Environment C.Y. Kong, C.L. Wang, F.C.M. Lau The University of Hong Kong.

S calable K nowledge C omposition Ontology Interoperation January 19, 1999 Jan Jannink, Prasenjit Mitra, Srinivasan Pichai, Danladi Verheijen, Gio Wiederhold.

DL Overview Second Pass Ming Fang 06/19/2009. Outlines  Description Languages  Knowledge Representation in DL  Logical Inference in DL.

Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.

WSDL – Web Service Definition Language  WSDL is used to describe, locate and define Web services.  A web service is described by: message format simple.

The Semantic Web Riccardo Rosati Dottorato in Ingegneria Informatica Sapienza Università di Roma a.a. 2006/07.

1 Ontolog OOR-BioPortal Comparative Analysis Todd Schneider 15 October 2009.

CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12 RDF, OWL, Minimax.

The Relational Model. 2 Relational Model Terminology u A relation is a table with columns and rows. –Only applies to logical structure of the database,

Ontology-Based Interoperability Service for HL7 Interfaces Implementation Carolina González, Bernd Blobel and Diego López eHealth Competence Center, Regensurg.

Service Oriented Architecture in the presence of information structure (audio of this talk)audio of this talk Presenter: Paul S Prueitt, PhD:

Semantic Data Extraction for B2B Integration Syntactic-to-Semantic Middleware Bruno Silva 1, Jorge Cardoso 2 1 2

Presented by Kyumars Sheykh Esmaili Description Logics for Data Bases (DLHB,Chapter 16) Semantic Web Seminar.

Semantic Interoperability in GIS N. L. Sarda Suman Somavarapu.

Distributed Instance Retrieval over Heterogeneous Ontologies Andrei Tamilin (1,2) & Luciano Serafini (1) (1) ITC-IRST (2) DIT - University of Trento Trento,

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

Of 24 lecture 11: ontology – mediation, merging & aligning.

The TONES Consortium: Free University of Bozen-Bolzano Università di Roma “La Sapienza” The University of Manchester Technische Universität Dresden Hamburg.

Entity- Relationship (ER) Model

Adding ICs to OWL Ming Fang 07/10/2009.

Overview of Epistematica and Semantic Technologies

Web Service Modeling Ontology (WSMO)

Web Ontology Language for Service (OWL-S)

ece 720 intelligent web: ontology and beyond

Ontology-Based Approaches to Data Integration

Semantic Markup for Semantic Web Tools:

Which best describes the relationship between classes and objects?

Presentation transcript:

1June 7, 2004Ontologies for interoperability1 Ontology-based data integration Maurizio Lenzerini Dipartimento di Informatica e Sistemistica “A. Ruberti” Università di Roma “La Sapienza” DASI ’06: Phd School on Data and Service Integration Bertinoro, December 11–15, 2006

2Ontology-based data integration Data integration architecture

3Ontology-based data integration Parameters Which Description Logic for the ontology We will mention different possibilites Which language for user queries Unions of conjunctive queries Which type of mapping We will consider mappings of type GAV Which sources Relational sources

4Ontology-based data integration OWL-DL OWL concept constructors:

5Ontology-based data integration OWL-DL Types of axioms:

6Ontology-based data integration The Description Logic DL-lite

7Ontology-based data integration DL-lite

8Ontology-based data integration DL-lite - example Manages

9Ontology-based data integration Dl-lite - semantics

10Ontology-based data integration Results on data complexity

11Ontology-based data integration A note on mappings In Ontology-based integration we have to deal with the “impedence mismatch” problem Sources store data, while instances of concepts and relations in the ontologies are objects The solution is to define a mapping language that allows specifying how to transform data into objects Basic idea: use “Skolem functions” in the head of the mapping Semantics: objects are denoted by “terms” (of exaclty one level of nesting), and different terms are different objects (unique name assumption on terms)

12Ontology-based data integration Mappings: example Three sources on students: s1 uses code for identifying students s3 uses number for identifying s2 stores (incomplete) correspondences between code and number Student(sbc(code)) :- s1(code,dob,addr,city) Student(sbc(code)) :- s2(number,code) Student(sbn(number)) :- s3(number,addr,city), not s2(number,code) LivesIn(sbc(code),c(city)) :-s1(code,dob,addr,city), city is not null LivesIn(sbc(code),c(city3)) :- s1(code,dob,addr,city1), city1 is null, s2(number,code), s3(number,addr,city3), city3 is not null LivesIn(sbc(code),c(city3)) :- not s1(code,dob,addr,city1), s2(number,code), s3(number,addr,city3), city3 is not null LivesIn(sbn(number),c(city)) :- s3(number,address,city), city is not null, not s2(number,code)