SlideShare una empresa de Scribd logo
1 de 36
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies Jie Bao, Giora Slutzki and Vasant Honavar Artificial Intelligence Research Laboratory Computer Science Department Iowa State University  Ames, IA USA 50011 Email: {baojie,slutzki,honavar}@cs.iastate.edu www.cild.iastate.edu
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
From Web Pages to Ontologies ,[object Object],[Diagram: Joanne Luciano,  Predictive Medicine ; Drug discovery demo using RDF,  Sideran  Seamark and  Oracle  10g]  ,[object Object]
Description Logics  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Ontology Reuse in OWL: Syntactic Importing ,[object Object],[object Object],owl:imports
Analogy: Paper Writing  in OWL fashion copy+paste ,[object Object],[object Object],Recent development  in modular ontologies… In this paper, we present two  algorithms A and B  to … (Alice, 2001) (Bob, 2007) Recent development  in modular ontologies… In this paper, we extend the  algorithm A  proposed by  (Alice,2001) …
Modular Ontology Language Desiderata ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Desired properties not supported by existing approaches ,[object Object],[object Object],BullDog  Animal ? Dog  ⊑ Pet Pet  ⊑   Animal O 1 O 2 O 3 Bird  ⊑ Fly NonFly=  1 Fly O 1 O 2 Penguin  ⊑  Bird Penguin  ⊑  NonFly Bird   ⊓ NonFly unsat Penguin Unsat? Dog Pet BullDog ⊑ Dog
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
P-DL: Semantic Importing ,[object Object],[object Object],O 1  (Animal) O 2  (Pet)
P-DL: Importing akin to Citation 1:Dog ⊑ 1:Animal 1:Cat  ⊑ 1:Animal P 1 P 2 2:PetOwner ⊑   2:owns. 1:Dog
P-DL: Contextualized Negation Black, White  1  White = Black  2   White  =  Black   ⊔ Red 1  = White  ⊔  Black  2  =  White   ⊔  Black  ⊔ Red 
Semantics of P-DL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],x x’ Δ I 1 Δ I 2 1:Dog I 1 1:Dog I 2 r 12 Δ I 3 r 13 r 23 x’’ 1:Dog I 3
P-DL Supports ,[object Object],[object Object],BullDog  Animal Dog  ⊑  Pet Pet  ⊑   Animal P 1 P 2 P 3 Bird  ⊑ Fly NonFly=  1 Fly P 1 P 2 Penguin  ⊑  Bird Penguin  ⊑  NonFly Bird   ⊓ NonFly unsat Bird   ⊓ NonFly unsat Bird NonFly Dog Pet BullDog ⊑ Dog
Modeling Ability of P-DL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Modular Ontology Languages C Є   (SHOIN(D)) OWL 1998  2002   2003  2004   2005   2006  2007  C-OWL CTXML E-Connections P-DL DDL(Distributed DL) DFOL DDL with  Role   Concept  Mapping C Є (SHIF(D)) IHN + s DL ALCP C SHOIQP
Comparison Yes  Yes Yes Yes P-DL Yes No N.A. Yes E-Connections Yes (bridge rule between concepts), Open (bridge rules between roles) No No Yes DDL Yes Yes Yes No OWL-DL Decidability Transitive Reusability Preservation of Unsatisfiability Contextualized Semantics
Comparison 1,4  Limited Support  2,3  May be simulated using syntactical encoding  P-DL C C C C C C C C P P P P P P P x
Summary ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Ongoing Work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object]
Implicit Context  ,[object Object],“ Scotland at this time there is at least one cow that appears to be black on at least one side” “ Some of the sheep in Scotland are black” Picture courtesy of   http://shinyblacksheep.com/
Distributed, Modular Ontologies ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Analogy: Paper Writing Citation is not copy+paste, hence  does not result in a single, combined document Recent development in modular ontologies… In this paper, we present two algorithms A and B to … (Alice, 2001) (Bob, 2007) Combining Ontologies Ontology Modularization Recent development in modular ontologies… In this paper, we extend the algorithm A proposed by  (Alice,2001) … Same global domain: modular ontologies  Multiple independent participants Possible (partial) reuse Contextualized Semantics
Desideratum:  Contextualized Semantics People Work O 1 O 2 “ those that are not male are female” “ companies hire people”
Desideratum: Directionality X D  E A  B A  B D  E
Desideratum: Monotonicity and Transitive Reuse Dog Dog  Animal Pet Animal O 1 O 2 O 3
Desideratum: Distributed Inference Integrated ontology Modular ontology Dog  Animal Dog  Animal
A Very Very Short DL Primer ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],concept role individual axioms
Semantics of P-DL Cardinality closure of roles
P-DL Families ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Two General Approaches for Modularity Requiring explicit declaration of context; disallow axioms that might be used of context Interpreting axioms in local domains Preserve context by Compatible to existing tools Support distributed reasoning, stronger modeling ability Pros No known distributed reasoning support; restrictive language usage; context may not always be aware of Need to extend existing reasoners Cons Conservative Extension  [Grau et al 2007] Example: DDL, E-Connections, P-DL Example First-order Contextualized  Semantics Design Pattern Modular Ontology Languages
DDL and E-connections vs P-DL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Distributed Reasoning with P-DL ,[object Object],What is a  “Dog”? “ Dog” is a type of “Animal” Dog Dog  ⊑  Animal P 2 P 1
P-DL: Importing akin to Citation ,[object Object],[object Object],[object Object],[object Object],[object Object],P 1 P 2 1:Dog 2:PetDog  1:Dog

Más contenido relacionado

La actualidad más candente

Towards Collaborative Environments for Ontology Construction and Sharing
Towards Collaborative Environments for Ontology Construction and SharingTowards Collaborative Environments for Ontology Construction and Sharing
Towards Collaborative Environments for Ontology Construction and Sharing
Jie Bao
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...
Jie Bao
 
Prolog (present)
Prolog (present) Prolog (present)
Prolog (present)
Melody Joey
 
Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...
Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...
Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...
Jie Bao
 
Modular Ontologies: the Package-based Description Logics Approach
Modular Ontologies: the Package-based Description Logics Approach Modular Ontologies: the Package-based Description Logics Approach
Modular Ontologies: the Package-based Description Logics Approach
Jie Bao
 
Logic programming (1)
Logic programming (1)Logic programming (1)
Logic programming (1)
Nitesh Singh
 
Chaps 1-3-ai-prolog
Chaps 1-3-ai-prologChaps 1-3-ai-prolog
Chaps 1-3-ai-prolog
saru40
 

La actualidad más candente (20)

Introduction to Prolog
Introduction to PrologIntroduction to Prolog
Introduction to Prolog
 
Towards Collaborative Environments for Ontology Construction and Sharing
Towards Collaborative Environments for Ontology Construction and SharingTowards Collaborative Environments for Ontology Construction and Sharing
Towards Collaborative Environments for Ontology Construction and Sharing
 
Artificial intelligence Prolog Language
Artificial intelligence Prolog LanguageArtificial intelligence Prolog Language
Artificial intelligence Prolog Language
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Po...
 
Prolog (present)
Prolog (present) Prolog (present)
Prolog (present)
 
Prolog Programming Language
Prolog Programming  LanguageProlog Programming  Language
Prolog Programming Language
 
Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...
Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...
Integration of Domain-Specific and Domain-Independent Ontologies for Colonosc...
 
Logic Programming and Prolog
Logic Programming and PrologLogic Programming and Prolog
Logic Programming and Prolog
 
Modular Ontologies: the Package-based Description Logics Approach
Modular Ontologies: the Package-based Description Logics Approach Modular Ontologies: the Package-based Description Logics Approach
Modular Ontologies: the Package-based Description Logics Approach
 
ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introduction
 
Introduction to logic and prolog - Part 1
Introduction to logic and prolog - Part 1Introduction to logic and prolog - Part 1
Introduction to logic and prolog - Part 1
 
Prolog
PrologProlog
Prolog
 
Introduction to Ontology Engineering with Fluent Editor 2014
Introduction to Ontology Engineering with Fluent Editor 2014Introduction to Ontology Engineering with Fluent Editor 2014
Introduction to Ontology Engineering with Fluent Editor 2014
 
Prolog Programming : Basics
Prolog Programming : BasicsProlog Programming : Basics
Prolog Programming : Basics
 
Logic programming (1)
Logic programming (1)Logic programming (1)
Logic programming (1)
 
PROLOG: Introduction To Prolog
PROLOG: Introduction To PrologPROLOG: Introduction To Prolog
PROLOG: Introduction To Prolog
 
Chaps 1-3-ai-prolog
Chaps 1-3-ai-prologChaps 1-3-ai-prolog
Chaps 1-3-ai-prolog
 
10 logic+programming+with+prolog
10 logic+programming+with+prolog10 logic+programming+with+prolog
10 logic+programming+with+prolog
 
Introduction to prolog
Introduction to prologIntroduction to prolog
Introduction to prolog
 
Modeling Ontologies with Natural Language
Modeling Ontologies with Natural LanguageModeling Ontologies with Natural Language
Modeling Ontologies with Natural Language
 

Similar a A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies

Modular Ontologies - A Formal Investigation of Semantics and Expressivity
Modular Ontologies - A Formal Investigation of Semantics and ExpressivityModular Ontologies - A Formal Investigation of Semantics and Expressivity
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
Jie Bao
 
Ontology Language Extension to Support Collaborative Ontology Building
Ontology Language Extension to Support Collaborative Ontology BuildingOntology Language Extension to Support Collaborative Ontology Building
Ontology Language Extension to Support Collaborative Ontology Building
Jie Bao
 
Towards Linked Ontologies and Data on the Semantic Web
Towards Linked Ontologies and Data on the Semantic WebTowards Linked Ontologies and Data on the Semantic Web
Towards Linked Ontologies and Data on the Semantic Web
Jie Bao
 
Collaborative Package-based Ontology Building and Usage
Collaborative Package-based Ontology Building and UsageCollaborative Package-based Ontology Building and Usage
Collaborative Package-based Ontology Building and Usage
Jie Bao
 
Tools for Integrating Heterogeneous Data Sources from a User Perspective
Tools for Integrating Heterogeneous Data Sources from a User PerspectiveTools for Integrating Heterogeneous Data Sources from a User Perspective
Tools for Integrating Heterogeneous Data Sources from a User Perspective
Jie Bao
 

Similar a A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (20)

Modular Ontologies - A Formal Investigation of Semantics and Expressivity
Modular Ontologies - A Formal Investigation of Semantics and ExpressivityModular Ontologies - A Formal Investigation of Semantics and Expressivity
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
 
Using UML for Ontology construction: a case study in Agriculture
Using UML for Ontology construction: a case study in AgricultureUsing UML for Ontology construction: a case study in Agriculture
Using UML for Ontology construction: a case study in Agriculture
 
Using uml for ontology construction a case study in agriculture
Using uml for ontology construction a case study in agricultureUsing uml for ontology construction a case study in agriculture
Using uml for ontology construction a case study in agriculture
 
Ontology Language Extension to Support Collaborative Ontology Building
Ontology Language Extension to Support Collaborative Ontology BuildingOntology Language Extension to Support Collaborative Ontology Building
Ontology Language Extension to Support Collaborative Ontology Building
 
Towards Linked Ontologies and Data on the Semantic Web
Towards Linked Ontologies and Data on the Semantic WebTowards Linked Ontologies and Data on the Semantic Web
Towards Linked Ontologies and Data on the Semantic Web
 
Semantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitySemantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalability
 
Tutorial - Introduction to Rule Technologies and Systems
Tutorial - Introduction to Rule Technologies and SystemsTutorial - Introduction to Rule Technologies and Systems
Tutorial - Introduction to Rule Technologies and Systems
 
Collaborative Package-based Ontology Building and Usage
Collaborative Package-based Ontology Building and UsageCollaborative Package-based Ontology Building and Usage
Collaborative Package-based Ontology Building and Usage
 
A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)
 
Semantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web TechnologySemantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web Technology
 
Tools for Integrating Heterogeneous Data Sources from a User Perspective
Tools for Integrating Heterogeneous Data Sources from a User PerspectiveTools for Integrating Heterogeneous Data Sources from a User Perspective
Tools for Integrating Heterogeneous Data Sources from a User Perspective
 
Lean Logic for Lean Times: Varieties of Natural Logic
Lean Logic for Lean Times: Varieties of Natural LogicLean Logic for Lean Times: Varieties of Natural Logic
Lean Logic for Lean Times: Varieties of Natural Logic
 
Knowledge Extraction
Knowledge ExtractionKnowledge Extraction
Knowledge Extraction
 
Semantic tools for aggregation of morphological characters across studies
Semantic tools for aggregation of morphological characters across studiesSemantic tools for aggregation of morphological characters across studies
Semantic tools for aggregation of morphological characters across studies
 
Functional and Structural Models of Commonsense Reasoning in Cognitive Archit...
Functional and Structural Models of Commonsense Reasoning in Cognitive Archit...Functional and Structural Models of Commonsense Reasoning in Cognitive Archit...
Functional and Structural Models of Commonsense Reasoning in Cognitive Archit...
 
Learning ontologies
Learning ontologiesLearning ontologies
Learning ontologies
 
GDSC SSN - solution Challenge : Fundamentals of Decision Making
GDSC SSN - solution Challenge : Fundamentals of Decision MakingGDSC SSN - solution Challenge : Fundamentals of Decision Making
GDSC SSN - solution Challenge : Fundamentals of Decision Making
 
Jarrar: ORM in Description Logic
Jarrar: ORM in Description Logic  Jarrar: ORM in Description Logic
Jarrar: ORM in Description Logic
 
Languages, Ontologies and Automatic Grammar Generation - Prof. Pedro Rangel H...
Languages, Ontologies and Automatic Grammar Generation - Prof. Pedro Rangel H...Languages, Ontologies and Automatic Grammar Generation - Prof. Pedro Rangel H...
Languages, Ontologies and Automatic Grammar Generation - Prof. Pedro Rangel H...
 
Ai lecture 09(unit03)
Ai lecture  09(unit03)Ai lecture  09(unit03)
Ai lecture 09(unit03)
 

Más de Jie Bao

python-graph-lovestory
python-graph-lovestorypython-graph-lovestory
python-graph-lovestory
Jie Bao
 
unix toolbox 中文版
unix toolbox 中文版unix toolbox 中文版
unix toolbox 中文版
Jie Bao
 
unixtoolbox.book
unixtoolbox.bookunixtoolbox.book
unixtoolbox.book
Jie Bao
 
Towards social webtops using semantic wiki
Towards social webtops using semantic wikiTowards social webtops using semantic wiki
Towards social webtops using semantic wiki
Jie Bao
 
Semantic information theory in 20 minutes
Semantic information theory in 20 minutesSemantic information theory in 20 minutes
Semantic information theory in 20 minutes
Jie Bao
 
Towards a theory of semantic communication
Towards a theory of semantic communicationTowards a theory of semantic communication
Towards a theory of semantic communication
Jie Bao
 
Startup best practices
Startup best practicesStartup best practices
Startup best practices
Jie Bao
 
Owl 2 quick reference card a4 size
Owl 2 quick reference card a4 sizeOwl 2 quick reference card a4 size
Owl 2 quick reference card a4 size
Jie Bao
 
ISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work Summary
Jie Bao
 
Expressive Query Answering For Semantic Wikis
Expressive Query Answering For  Semantic WikisExpressive Query Answering For  Semantic Wikis
Expressive Query Answering For Semantic Wikis
Jie Bao
 
24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data
Jie Bao
 
Semantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer AppsSemantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer Apps
Jie Bao
 
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWikiDevelopment of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Jie Bao
 
Digital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imagingDigital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imaging
Jie Bao
 
Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)
Jie Bao
 

Más de Jie Bao (20)

python-graph-lovestory
python-graph-lovestorypython-graph-lovestory
python-graph-lovestory
 
unix toolbox 中文版
unix toolbox 中文版unix toolbox 中文版
unix toolbox 中文版
 
unixtoolbox.book
unixtoolbox.bookunixtoolbox.book
unixtoolbox.book
 
Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维
 
Towards social webtops using semantic wiki
Towards social webtops using semantic wikiTowards social webtops using semantic wiki
Towards social webtops using semantic wiki
 
Semantic information theory in 20 minutes
Semantic information theory in 20 minutesSemantic information theory in 20 minutes
Semantic information theory in 20 minutes
 
Towards a theory of semantic communication
Towards a theory of semantic communicationTowards a theory of semantic communication
Towards a theory of semantic communication
 
Expressive Query Answering For Semantic Wikis (20min)
Expressive Query Answering For  Semantic Wikis (20min)Expressive Query Answering For  Semantic Wikis (20min)
Expressive Query Answering For Semantic Wikis (20min)
 
Startup best practices
Startup best practicesStartup best practices
Startup best practices
 
Owl 2 quick reference card a4 size
Owl 2 quick reference card a4 sizeOwl 2 quick reference card a4 size
Owl 2 quick reference card a4 size
 
ISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work Summary
 
Expressive Query Answering For Semantic Wikis
Expressive Query Answering For  Semantic WikisExpressive Query Answering For  Semantic Wikis
Expressive Query Answering For Semantic Wikis
 
CV
CVCV
CV
 
24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data24 Ways to Explore ISWC 2010 Data
24 Ways to Explore ISWC 2010 Data
 
Semantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer AppsSemantic Web: In Quest for the Next Generation Killer Apps
Semantic Web: In Quest for the Next Generation Killer Apps
 
Representing financial reports on the semantic web a faithful translation f...
Representing financial reports on the semantic web   a faithful translation f...Representing financial reports on the semantic web   a faithful translation f...
Representing financial reports on the semantic web a faithful translation f...
 
XACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept MapXACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept Map
 
Development of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWikiDevelopment of a Controlled Natural Language Interface for Semantic MediaWiki
Development of a Controlled Natural Language Interface for Semantic MediaWiki
 
Digital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imagingDigital image self-adaptive acquisition in medical x-ray imaging
Digital image self-adaptive acquisition in medical x-ray imaging
 
Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)Privacy-Preserving Reasoning on the Semantic Web (Poster)
Privacy-Preserving Reasoning on the Semantic Web (Poster)
 

Último

Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
QucHHunhnh
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
 

Último (20)

Energy Resources. ( B. Pharmacy, 1st Year, Sem-II) Natural Resources
Energy Resources. ( B. Pharmacy, 1st Year, Sem-II) Natural ResourcesEnergy Resources. ( B. Pharmacy, 1st Year, Sem-II) Natural Resources
Energy Resources. ( B. Pharmacy, 1st Year, Sem-II) Natural Resources
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-IIFood Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docx
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Asian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptxAsian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptx
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptx
 
Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdf
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
Role Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxRole Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptx
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 

A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies

  • 1. A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies Jie Bao, Giora Slutzki and Vasant Honavar Artificial Intelligence Research Laboratory Computer Science Department Iowa State University Ames, IA USA 50011 Email: {baojie,slutzki,honavar}@cs.iastate.edu www.cild.iastate.edu
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11. P-DL: Importing akin to Citation 1:Dog ⊑ 1:Animal 1:Cat ⊑ 1:Animal P 1 P 2 2:PetOwner ⊑  2:owns. 1:Dog
  • 12. P-DL: Contextualized Negation Black, White  1 White = Black  2 White = Black ⊔ Red 1 = White ⊔ Black  2 = White ⊔ Black ⊔ Red 
  • 13.
  • 14.
  • 15.
  • 16.
  • 17. Modular Ontology Languages C Є (SHOIN(D)) OWL 1998 2002 2003 2004 2005 2006 2007 C-OWL CTXML E-Connections P-DL DDL(Distributed DL) DFOL DDL with Role  Concept Mapping C Є (SHIF(D)) IHN + s DL ALCP C SHOIQP
  • 18. Comparison Yes Yes Yes Yes P-DL Yes No N.A. Yes E-Connections Yes (bridge rule between concepts), Open (bridge rules between roles) No No Yes DDL Yes Yes Yes No OWL-DL Decidability Transitive Reusability Preservation of Unsatisfiability Contextualized Semantics
  • 19. Comparison 1,4 Limited Support 2,3 May be simulated using syntactical encoding P-DL C C C C C C C C P P P P P P P x
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25. Analogy: Paper Writing Citation is not copy+paste, hence does not result in a single, combined document Recent development in modular ontologies… In this paper, we present two algorithms A and B to … (Alice, 2001) (Bob, 2007) Combining Ontologies Ontology Modularization Recent development in modular ontologies… In this paper, we extend the algorithm A proposed by (Alice,2001) … Same global domain: modular ontologies Multiple independent participants Possible (partial) reuse Contextualized Semantics
  • 26. Desideratum: Contextualized Semantics People Work O 1 O 2 “ those that are not male are female” “ companies hire people”
  • 27. Desideratum: Directionality X D E A B A B D E
  • 28. Desideratum: Monotonicity and Transitive Reuse Dog Dog Animal Pet Animal O 1 O 2 O 3
  • 29. Desideratum: Distributed Inference Integrated ontology Modular ontology Dog Animal Dog Animal
  • 30.
  • 31. Semantics of P-DL Cardinality closure of roles
  • 32.
  • 33. Two General Approaches for Modularity Requiring explicit declaration of context; disallow axioms that might be used of context Interpreting axioms in local domains Preserve context by Compatible to existing tools Support distributed reasoning, stronger modeling ability Pros No known distributed reasoning support; restrictive language usage; context may not always be aware of Need to extend existing reasoners Cons Conservative Extension [Grau et al 2007] Example: DDL, E-Connections, P-DL Example First-order Contextualized Semantics Design Pattern Modular Ontology Languages
  • 34.
  • 35.
  • 36.

Notas del editor

  1. Semantic importing akin to “citation” Package 2 cites package 1 for the definition of ‘1:Dog’ Interpretation of ‘1:Dog’ is the same on the “ shared” portions of the local domains of packages 1 and 2 The two packages need not agree on the interpretation of other unrelated concepts (e.g., Cats) P-DL supports selective knowledge reuse
  2. There is an old story about an engineer, a physicist, and a mathematician hiking on a scenic trail in Scotland. They see a black cow standing on a hill in front of them. “Look,” the engineer says, “I didn’t know that all cows in Scotland are black.” “What nonsense,” replied the physicist, “You have only seen a sample of one. The best you can say is that some cows in Scotland are black. You would have to make more observations to determine the fraction of the total that are black to some accuracy.” “Excuse me, you are both wrong.” said the mathematician. “At the most, all you can say is that in Scotland at this time there is at least one cow that appears to be black on at least one side.” ============== An engineer, a physicist, and a mathematician were riding in a train in Scotland, when out the window they saw a black sheep. Said the engineer, "The sheep in Scotland are black." Said the physicist, "Some of the sheep in Scotland are black." Said the mathematician, "At least one sheep in Scotland is black on at least one side."
  3. Localize Semantics No global model should be needed Context of knowledge should be kept Reasoning can be performed with local knowledge Distributed or parallel reasoning enabled