Luciano Serafini Luciano Serafini IRST IRST Towards a Distributed Towards a Distributed Reasoning Reasoning within Multiple Ontologies within Multiple Ontologies 2K* symposium 2K* symposium September 6-9, 2004 September 6-9, 2004 Madonna di Campiglio Madonna di Campiglio Andrei Tamilin Andrei Tamilin UniTN UniTN & by by
14
Embed
Towards a Distributed Reasoning within Multiple Ontologies
2K* symposium. Towards a Distributed Reasoning within Multiple Ontologies. by. Andrei Tamilin UniTN. Luciano Serafini IRST. &. September 6-9, 2004. Madonna di Campiglio. Talk Outline. Preamble: Ambitions and Realities of SW. Motivation: Why and how to distribute? - PowerPoint PPT Presentation
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Luciano SerafiniLuciano SerafiniIRSTIRST
Towards a Distributed ReasoningTowards a Distributed Reasoningwithin Multiple Ontologieswithin Multiple Ontologies
2K* symposium2K* symposium
September 6-9, 2004September 6-9, 2004 Madonna di CampiglioMadonna di Campiglio
Andrei TamilinAndrei TamilinUniTNUniTN &
byby
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.22
Talk OutlineTalk Outline
Preamble: Ambitions and Realities of SW.Preamble: Ambitions and Realities of SW.
Motivation: Why and how to distribute?Motivation: Why and how to distribute?
Formal framework: DDL in a nutshellFormal framework: DDL in a nutshell
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.33
Preamble: The distant 2001 …Preamble: The distant 2001 …
The Semantic WebThe Semantic Web. . By Tim Berners-Lee, By Tim Berners-Lee, James Hendler and Ora LassilaJames Hendler and Ora Lassila..
A new form of Web content that is meaningful to A new form of Web content that is meaningful to computers will unleash a revolution of new computers will unleash a revolution of new possibilitiespossibilities..
Original driver: AutomationOriginal driver: Automation Means: “Machine-friendly” web metadataMeans: “Machine-friendly” web metadata
Making ontologies interoperate:Making ontologies interoperate: Means: Semantic mappingsMeans: Semantic mappings Enough?Enough? NoNo Reasoning support is required!Reasoning support is required!
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.66
Preamble: The realitiesPreamble: The realities
Cosmopolitism of current Cosmopolitism of current
reasoning methodology:reasoning methodology: Global ontologyGlobal ontology Reason in global Reason in global
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.77
Alternative approach:Alternative approach: Local reasoningLocal reasoning Suitable combinationSuitable combination
Requirements:Requirements: Formal frameworkFormal framework Reasoning algorithmReasoning algorithm The reason-able The reason-able
system implementationsystem implementation
Motivation: Towards a distributionMotivation: Towards a distribution
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.88
Formal framework: DDL in a nutshellFormal framework: DDL in a nutshell
DDistributed istributed DDescription escription LLogics (DDL)ogics (DDL) Captures the case of multiple ontologies Captures the case of multiple ontologies
pairwise linked by semantic mappingspairwise linked by semantic mappings
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.1313
Questions?Questions?
2K* - 2004: Towards a Distributed Reasoning2K* - 2004: Towards a Distributed Reasoning - p. - p.1414
AcknowledgementsAcknowledgements
We thank We thank Kevin Palivec Kevin Palivec for the beautiful for the beautiful picture of DRAGOpicture of DRAGO11 he painted. We promise he painted. We promise that it will be used by us for the research that it will be used by us for the research purposes only.purposes only.