Representing and Reasoning with Heterogeneous, Modular and Distributed ontologies UniTN/IRST contribution to KnowledgeWeb.WP 2.1.

Slides:

Advertisements

Similar presentations

Semantic Interoperability & Semantic Models: Introduction

Advertisements

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

Outbrief of SWSI Architecture Committee F2F Sat, April 12, 2003 Miami, FL Mark H. Burstein BBN Technologies.

Languages & Inference Appropriate layering Do we need a logic? Do we need Description Logic? Legacy data; database storage vs inference Tolerant/anytime.

1 ICS-FORTH & Univ. of Crete SeLene November 15, 2002 A View Definition Language for the Semantic Web Maganaraki Aimilia.

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

An Introduction to Description Logics

Chapter 6: Modeling and Representation Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.

ISO TC184/SC4 Future architecture Rotterdam Progress on the Future SC4 Architecture PWI Friday 13 th November 2009.

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

C-OWL: contextualizing ontologies Fausto Giunchiglia October 22, 2003 Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, and Heiner.

1 Paraconsistent Resolution for Four-valued Description Logics Yue Ma 1,2, Pascal Hitzler 1, Zuoquan Lin 2 1 AIFB Institute, Universität Karlsruhe, Germany.

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

Combining the strengths of UMIST and The Victoria University of Manchester A Tableaux Decision Procedure for SHOIQ Ian Horrocks and Ulrike Sattler University.

1 CSIT600f: Introduction to Semantic Web Conclusion and Outlook Dickson K.W. Chiu PhD, SMIEEE Text: Antoniou & van Harmelen: A Semantic Web PrimerA Semantic.

Who am I Gianluca Correndo PhD student (end of PhD) Work in the group of medical informatics (Paolo Terenziani) PhD thesis on contextualization techniques.

Research topics Semantic Web - Spring 2007 Computer Engineering Department Sharif University of Technology.

The Semantic Web Week 13 Module Website: Lecture: Knowledge Acquisition / Engineering Practical: Getting to know.

Project-Options 1.Fridge 2.Workbench with Toolbox 3.Playschool.

IST SEWASIE general meeting Aachen, March 14, 2005 System Evolution Tools Maurizio Vincini and Enrico Franconi.

Semantics For the Semantic Web: The Implicit, the Formal and The Powerful Amit Sheth, Cartic Ramakrishnan, Christopher Thomas CS751 Spring 2005 Presenter:

1 Technologies and Modelling Frameworks XML ontology RDF taxonomy OWL thesaurus Semantic Web.

GO Ontology Editing Workshop: Using Protege and OWL Hinxton Jan 2012.

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

OMAP: An Implemented Framework for Automatically Aligning OWL Ontologies SWAP, December, 2005 Raphaël Troncy, Umberto Straccia ISTI-CNR

Ontology Matching Basics Ontology Matching by Jerome Euzenat and Pavel Shvaiko Parts I and II 11/6/2012Ontology Matching Basics - PL, CS 6521.

Reasoning with context in the Semantic Web … or contextualizing ontologies Fausto Giunchiglia July 23, 2004.

An Experimental Assessment of Semantic Web-based Integration Support - Industrial Interoperability Focus - Nenad Anicic, Nenad Ivezic, Serm Kulvatunyou.

SupervisorStudent Dr. Atilla ELÇİHussam Hussein ABUAZAB Assoc. Prof Fall 2007 Ontology-based Support for Human Disease Study CMPE 583 WEB SEMANTICS:

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

Challenge the future Delft University of Technology Applying Ontology on Semantic Interoperability of Disaster Management Zhengjie Fan.

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

Value Set Resolution: Build generalizable data normalization pipeline using LexEVS infrastructure resources Explore UIMA framework for implementing semantic.

DRAGO: Distributed Reasoning Architecture for the Semantic Web Andrei Tamilin and Luciano Serafini Work is supported by 1 June 2005 Second European Semantic.

An Introduction to Description Logics (chapter 2 of DLHB)

Semantic web course – Computer Engineering Department – Sharif Univ. of Technology – Fall Description Logics: Logic foundation of Semantic Web Semantic.

WonderWeb. Ontology Infrastructure for the Semantic Web. IST Project Review Meeting, 11 th March, WonderWeb Ontology Infrastructure for.

Logics for Data and Knowledge Representation Applications of ClassL: Lightweight Ontologies.

Grid Computing & Semantic Web. Grid Computing Proposed with the idea of electric power grid; Aims at integrating large-scale (global scale) computing.

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.

Specification of Policies for Web Service Negotiations Steffen Lamparter and Sudhir Agarwal Semantic Web and Policy Workshop Galway, November 7 th University.

Menzo Windhouwer.  The Typological Database System (TDS) provides integrated access to multiple, independently created typological databases.  Users.

Conclusions Presenter: Manolis Koubarakis Extended Semantic Web Conference 2012.

WP8 – Assessment of emerging technologies EuroVO-AIDA – First periodic review – 24 April 2009 Françoise Genova, Project Coordinator WP8 Assessment of emerging.

References [1] D:\My Documents\SemanticWebWorkshop\kaynak\Ian Horrocks - CS646\intro-2004.pptD:\My Documents\SemanticWebWorkshop\kaynak\Ian Horrocks -

DEDUCTION PRINCIPLES AND STRATEGIES FOR SEMANTIC WEB Chain resolution and its fuzzyfication Dr. Hashim Habiballa University of Ostrava.

CSE-291: Ontologies in Data Integration Department of Computer Science & Engineering University of California, San Diego CSE-291: Ontologies in Data Integration.

John Bateman – University of Bremen Some (more) Burning Issues for Ontology Initiatives.

Towards the Adaptive Semantic Web Peter Dolog Nicola Henze Wolfgang Nejdl Michael Sintek.

WonderWeb. Ontology Infrastructure for the Semantic Web. IST Project Review Meeting, 11 th March, WP2: Tools Raphael Volz Universität.

Luciano Serafini IRST Towards a Distributed Reasoning within Multiple Ontologies 2K* symposium September 6-9, 2004 Madonna di Campiglio Andrei Tamilin.

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

WonderWeb. Ontology Infrastructure for the Semantic Web. IST WP4: Ontology Engineering Heiner Stuckenschmidt, Michel Klein Vrije Universiteit.

Scalable and E ﬃ cient Reasoning for Enforcing Role-Based Access Control Tyrone Cadenhead Advisors: Murat Kantarcioglu, and.

Rinke Hoekstra Use of OWL in the Legal Domain Statement of Interest OWLED 2008 DC, Gaithersburg.

Ontology Technology applied to Catalogues Paul Kopp.

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.

Chapter 8A Semantic Web Primer 1 Chapter 8 Conclusion and Outlook Grigoris Antoniou Frank van Harmelen.

Trustworthy Semantic Webs Building Geospatial Semantic Webs Dr. Bhavani Thuraisingham The University of Texas at Dallas October 2006 Presented at OGC Meeting,

OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.

Jie Bao, Doina Caragea and Vasant G Honavar

External Services & Frameworks

ece 720 intelligent web: ontology and beyond

Faezeh Ensan and Weichang Du

Scalable and Eﬃcient Reasoning for Enforcing Role-Based Access Control

Scalable and Eﬃcient Reasoning for Enforcing Role-Based Access Control

CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.

Presentation transcript:

Representing and Reasoning with Heterogeneous, Modular and Distributed ontologies UniTN/IRST contribution to KnowledgeWeb.WP 2.1

Inputs Well founded ontologies, top level ontologies Domain specific ontologies (medial, earth-science, gene, e-business standard catalogues A huge number of relatively small “ontologies” (DB- schema, classification, linguistic ontologies, web services specifications..,.. semantic correspondences between ontologies Modular links: Links that relates parts of an ontology to the global one Ontological Hyperlinks (links to external ontologies) Versioning Links. …

Semantic correspondence links

Ontology hyperlink

Modularization links

Versioning links

Ontology Space

Reasoning Services in an ontology space Local Ontology Services (Local Subsumption, Local Consistency, …) Coordination between local reasoning services

What do we need: Formal Framework (see also WP2.2 Het.) Concrete Language (see also WP2.? Lang) Distribute Decision Procedures

Formal Framework LOGICAL THEORY LOGICAL THEORY LOGICAL THEORY LOGICAL THEORY Bridge rules

Special Case (DDL) Distributed Description Logics TBox + ABox T-Box + A-Box T-Box + A-Box T-Box + A-Box Bridge rules

Concrete Language Semantic web languages (eg. OWL WS-OWL …) Semantic web languages (eg. OWL WS-OWL …) Semantic web languages (eg. OWL WS-OWL …) Semantic web languages (eg. OWL WS-OWL …) Language for mappings Language for Mappings Language for mappings Languages for Mappings

Special Case (C-OWL) Contextualized OWL OWL MAP-OWL

Distributed Decision Procedure Local Reasoning services Local Reasoning Services Local reasoning Services Local Reasoning Services Reasoning coordination Reasoning Coordination

Special Case (Reasoning in DDL) D-Pellet (java prototype for reasoning in C- OWL) computing global subsumption Local Tableaux Local tableaux Local Tabluaux Local Tableaux Tableaux propagation

Overall Picture OWLC-OWL Specification language for A single stand alone ontology Ontology Space = Ontologies + Semantic Mappings underlying logic DLDDL Semantics First order logic Local Model Semantics = FOL semantics + Domain Relations Automated reasoning tools Racer, IFaCT, Pellet D-Pellet (0.01 prototype)