SlideShare ist ein Scribd-Unternehmen logo
1 von 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

Weitere ähnliche Inhalte

Was ist angesagt?

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 SharingJie Bao
 
Artificial intelligence Prolog Language
Artificial intelligence Prolog LanguageArtificial intelligence Prolog Language
Artificial intelligence Prolog LanguageREHMAT ULLAH
 
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
 
Prolog Programming Language
Prolog Programming  LanguageProlog Programming  Language
Prolog Programming LanguageReham AlBlehid
 
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
 
Logic Programming and Prolog
Logic Programming and PrologLogic Programming and Prolog
Logic Programming and PrologSadegh Dorri N.
 
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
 
ProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) IntroductionProLog (Artificial Intelligence) Introduction
ProLog (Artificial Intelligence) Introductionwahab khan
 
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 1Sabu Francis
 
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 2014Cognitum
 
Prolog Programming : Basics
Prolog Programming : BasicsProlog Programming : Basics
Prolog Programming : BasicsMitul Desai
 
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-prologsaru40
 
10 logic+programming+with+prolog
10 logic+programming+with+prolog10 logic+programming+with+prolog
10 logic+programming+with+prologbaran19901990
 
Introduction to prolog
Introduction to prologIntroduction to prolog
Introduction to prologHarry Potter
 
Modeling Ontologies with Natural Language
Modeling Ontologies with Natural LanguageModeling Ontologies with Natural Language
Modeling Ontologies with Natural LanguageCognitum
 

Was ist angesagt? (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
 

Ähnlich wie 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 ExpressivityJie 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 BuildingJie 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 WebJie Bao
 
Semantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitySemantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitynvitucci
 
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 SystemsAdrian Paschke
 
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 UsageJie Bao
 
A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)A Semantic Multimedia Web (Part 2)
A Semantic Multimedia Web (Part 2)Raphael Troncy
 
Semantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web TechnologySemantic Modelling using Semantic Web Technology
Semantic Modelling using Semantic Web TechnologyRinke Hoekstra
 
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 PerspectiveJie Bao
 
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 LogicValeria de Paiva
 
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 studiesbalhoff
 
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...Antonio Lieto
 
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 MakingGDSCSSN
 
Jarrar: ORM in Description Logic
Jarrar: ORM in Description Logic  Jarrar: ORM in Description Logic
Jarrar: ORM in Description Logic Mustafa Jarrar
 
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...Facultad de Informática UCM
 
Ai lecture 09(unit03)
Ai lecture  09(unit03)Ai lecture  09(unit03)
Ai lecture 09(unit03)vikas dhakane
 

Ähnlich wie 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)
 

Mehr von Jie Bao

python-graph-lovestory
python-graph-lovestorypython-graph-lovestory
python-graph-lovestoryJie Bao
 
unix toolbox 中文版
unix toolbox 中文版unix toolbox 中文版
unix toolbox 中文版Jie Bao
 
unixtoolbox.book
unixtoolbox.bookunixtoolbox.book
unixtoolbox.bookJie Bao
 
Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维Lean startup 精益创业 新创企业的成长思维
Lean startup 精益创业 新创企业的成长思维Jie Bao
 
Towards social webtops using semantic wiki
Towards social webtops using semantic wikiTowards social webtops using semantic wiki
Towards social webtops using semantic wikiJie Bao
 
Semantic information theory in 20 minutes
Semantic information theory in 20 minutesSemantic information theory in 20 minutes
Semantic information theory in 20 minutesJie Bao
 
Towards a theory of semantic communication
Towards a theory of semantic communicationTowards a theory of semantic communication
Towards a theory of semantic communicationJie Bao
 
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)Jie Bao
 
Startup best practices
Startup best practicesStartup best practices
Startup best practicesJie 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 sizeJie Bao
 
ISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryISWC 2010 Metadata Work Summary
ISWC 2010 Metadata Work SummaryJie Bao
 
Expressive Query Answering For Semantic Wikis
Expressive Query Answering For  Semantic WikisExpressive Query Answering For  Semantic Wikis
Expressive Query Answering For Semantic WikisJie 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 DataJie 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 AppsJie Bao
 
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...Jie Bao
 
XACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept MapXACML 3.0 (Partial) Concept Map
XACML 3.0 (Partial) Concept MapJie 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 MediaWikiJie 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 imagingJie 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
 

Mehr von 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)
 

Kürzlich hochgeladen

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.pptxMaritesTamaniVerdade
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17Celine George
 
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.pdfAdmir Softic
 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxCeline George
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Pooja Bhuva
 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structuredhanjurrannsibayan2
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSCeline George
 
Plant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxPlant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxUmeshTimilsina1
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and ModificationsMJDuyan
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxDenish Jangid
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
 
REMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxREMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxDr. Ravikiran H M Gowda
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxannathomasp01
 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the ClassroomPooky Knightsmith
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.pptRamjanShidvankar
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxheathfieldcps1
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxJisc
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfPoh-Sun Goh
 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - Englishneillewis46
 

Kürzlich hochgeladen (20)

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
 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17
 
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
 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptx
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structure
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
Plant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxPlant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptx
 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
 
REMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptxREMIFENTANIL: An Ultra short acting opioid.pptx
REMIFENTANIL: An Ultra short acting opioid.pptx
 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.ppt
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptx
 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - English
 

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.

Hinweis der Redaktion

  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