SlideShare uma empresa Scribd logo

On the Semantics of Linking and Importing in Modular Ontologies

•Transferir como PPT, PDF•
•
Jie Bao
Jie Bao
Tecnologia
1 de 38
On the Semantics of Linking and Importing in Modular Ontologies Jie Bao , Doina Caragea and Vasant Honavar Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA. {baojie, honavar}@cs.iastate.edu 5 th International Semantic Web Conference (ISWC 2006)
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object]
Semantic Web Visualising the Semantic Web by Juan C. Dürsteler
No Unique Point of View
Modular Ontologies ,[object Object],[object Object],[object Object],[object Object],[object Object]
Modular Ontology Languages ,[object Object],[object Object],O 1 O 2 O 1 O 2 1:Dog 2:Pet 1:Dog 1:Dog 2:Pet 1:Dog
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object]
DDL [Borgida and L. Serafini, 2002] ,[object Object],I 1 Dog Pet I 2 Animal I 1 r 12 ,[object Object],[object Object],[object Object]
Bridge Rule Composition Problem ,[object Object],[object Object],[object Object],Chicken m 1 Bird m 2 Animal m3 Chicken Animal ?
Inter-module Unsatisfiability Problem Fly m 1 Bird m 1 Penguin m 2 Bird Penguin ~Fly Penguin
Why? ,[object Object],Domain relations can not be seen as identity relations r 12
Why? ,[object Object],[object Object],[Borgida & Serafini, CoopIS 2002] B I2 A I1 (  R.B) I1 r(A I 1 )  B I 2 : all A’s instances are mapped to a subset of B via R ij r(A I 1 )
DDL Bridge Rules vs. Subsumption ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],D D C should be
A (Partial) Solution ,[object Object],[object Object],[object Object],[object Object],r 12
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object]
E-Connections ,[object Object],[object Object],[Grau, 2005] PetOwner Pet PetOwner Pet  owns
E-connections vs. DDL  with Inverse links
Limitations of E-Connections ,[object Object],[object Object],[object Object],[object Object],[object Object],[Grau, 2005]
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object]
P-DL ,[object Object],[object Object],[object Object],[object Object],[Bao et al, CTS 2006, ASWC 2006]
Semantics of P-DL: Main Intuition ,[object Object],[object Object],[object Object],[object Object],P 1 P 2 1:Dog 2:PetDog 1:Dog
P-DL Semantics ,[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
Inference in P-DL ,[object Object],importee importer consequences ² ²
Inference via Witness ,[object Object],[object Object],[object Object],[object Object],A B C D E F 1 B C C P 2 B,C B C 3 B,C P Q 4 P v v
Distributed Reasoning x 1 {A 1 } x 1 {B 1 } {A 3 } x 4 Local Reasoner for package A Local Reasoner for package B {A 2 } x 2 r A {B 2 } x 3 r B {B 3 } x 4 r B x 1 {A 1 ,B 1 } {A 2 } {A 3 ,B 3 } {B 2 } x 2 x 3 x 4 The (conceptual) global tableau r A r B r B
DDL, E-connections vs. 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]
Summary ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Ongoing and Future Work ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object]
owl:imports ,[object Object],O 1 imports O 1 O 2 ,[object Object],[object Object]
Desiderata: Exact Reasoning Integrated ontology Modular ontology Dog Animal Dog Animal
Desiderata: Directional Knowledge Transfer People Dog O 1 O 2
Desiderata: Localized Semantics Local Semantics People Pet O 1 O 2
Desiderata: Transitive Reuse Dog Dog Animal Pet Animal O 1 O 2 O 3
Mapping Approach ,[object Object],[object Object],Pet  owns PetOwner Pet Dog
Importing Approach ,[object Object],[object Object],O 1 imports O 1 O 1 imports 1:x x x
P-DL Semantics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Recomendados

NL to OCL via SBVR
NL to OCL via SBVRNL to OCL via SBVR
NL to OCL via SBVRImran Bajwa
 
Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...
Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...
Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...Jinho Choi
 
DBMS CS2
DBMS CS2DBMS CS2
DBMS CS2Infinity Tech Solutions
 
Competence-Level Prediction and Resume & Job Description Matching Using Conte...
Competence-Level Prediction and Resume & Job Description Matching Using Conte...Competence-Level Prediction and Resume & Job Description Matching Using Conte...
Competence-Level Prediction and Resume & Job Description Matching Using Conte...Jinho Choi
 
Labelled Variables in Logic Programming: A First Prototipe in tuProlog
Labelled Variables in Logic Programming: A First Prototipe in tuPrologLabelled Variables in Logic Programming: A First Prototipe in tuProlog
Labelled Variables in Logic Programming: A First Prototipe in tuPrologRoberta Calegari
 
Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...
Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...
Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...PhiloWeb
 
Diversified Social Media Retrieval for News Stories
Diversified Social Media Retrieval for News StoriesDiversified Social Media Retrieval for News Stories
Diversified Social Media Retrieval for News StoriesBryan Gummibearehausen
 
PHP
PHPPHP
PHPpriyadharshini murugan
 

Recomendados

NL to OCL via SBVR
NL to OCL via SBVRNL to OCL via SBVR
NL to OCL via SBVRImran Bajwa
 
Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...
Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...
Adaptation of Multilingual Transformer Encoder for Robust Enhanced Universal ...Jinho Choi
 
DBMS CS2
DBMS CS2DBMS CS2
DBMS CS2Infinity Tech Solutions
 
Competence-Level Prediction and Resume & Job Description Matching Using Conte...
Competence-Level Prediction and Resume & Job Description Matching Using Conte...Competence-Level Prediction and Resume & Job Description Matching Using Conte...
Competence-Level Prediction and Resume & Job Description Matching Using Conte...Jinho Choi
 
Labelled Variables in Logic Programming: A First Prototipe in tuProlog
Labelled Variables in Logic Programming: A First Prototipe in tuPrologLabelled Variables in Logic Programming: A First Prototipe in tuProlog
Labelled Variables in Logic Programming: A First Prototipe in tuPrologRoberta Calegari
 
Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...
Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...
Harold Boley: RuleML/Grailog: The Rule Metalogic Visualized with Generalized ...PhiloWeb
 
Diversified Social Media Retrieval for News Stories
Diversified Social Media Retrieval for News StoriesDiversified Social Media Retrieval for News Stories
Diversified Social Media Retrieval for News StoriesBryan Gummibearehausen
 
PHP
PHPPHP
PHPpriyadharshini murugan
 
Turbo prolog 2.0 basics
Turbo prolog 2.0 basicsTurbo prolog 2.0 basics
Turbo prolog 2.0 basicsSoham Kansodaria
 
On the Decidability of Role Mappings Between Modular Ontologies
On the Decidability of Role Mappings Between Modular OntologiesOn the Decidability of Role Mappings Between Modular Ontologies
On the Decidability of Role Mappings Between Modular OntologiesJie Bao
 
Traits: A New Language Feature for PHP?
Traits: A New Language Feature for PHP?Traits: A New Language Feature for PHP?
Traits: A New Language Feature for PHP?Stefan Marr
 
Topic Segmentation in Dialogue
Topic Segmentation in DialogueTopic Segmentation in Dialogue
Topic Segmentation in DialogueJinho Choi
 
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-IssueCodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-IssueDhaval Dalal
 
Normalization
NormalizationNormalization
NormalizationavniS
 
SEMINAR
SEMINARSEMINAR
SEMINARpriteshkhandelwal
 
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...Grammarly
 
ch2
ch2ch2
ch2KITE www.kitecolleges.com
 
LDA/TagLDA In Slow Motion
LDA/TagLDA In Slow MotionLDA/TagLDA In Slow Motion
LDA/TagLDA In Slow MotionPradipto Das
 
Mapping FAO’s AGROVOC Thesaurus
Mapping FAO’s AGROVOC Thesaurus Mapping FAO’s AGROVOC Thesaurus
Mapping FAO’s AGROVOC Thesaurus AIMS (Agricultural Information Management Standards)
 
E018212935
E018212935E018212935
E018212935IOSR Journals
 
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
 
Modular Ontologies: Package-based Description Logics Approach
Modular Ontologies: Package-based Description Logics ApproachModular Ontologies: Package-based Description Logics Approach
Modular Ontologies: Package-based Description Logics ApproachJie Bao
 
Adapt OWL as a Modular Ontology Language
Adapt OWL as a Modular Ontology LanguageAdapt OWL as a Modular Ontology Language
Adapt OWL as a Modular Ontology LanguageJie Bao
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesA Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesJie 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
 
Divide and Conquer Semantic Web with Modular
Divide and Conquer Semantic Web with ModularDivide and Conquer Semantic Web with Modular
Divide and Conquer Semantic Web with ModularJie Bao
 
Representing and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesRepresenting and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesJie Bao
 
A Tableau-based Federated Reasoning Algorithm for Modular Ontologies
A Tableau-based Federated Reasoning Algorithm for Modular OntologiesA Tableau-based Federated Reasoning Algorithm for Modular Ontologies
A Tableau-based Federated Reasoning Algorithm for Modular OntologiesJie Bao
 
Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Jie Bao
 
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
 

Mais conteúdo relacionado

Mais procurados

On the Decidability of Role Mappings Between Modular Ontologies
On the Decidability of Role Mappings Between Modular OntologiesOn the Decidability of Role Mappings Between Modular Ontologies
On the Decidability of Role Mappings Between Modular OntologiesJie Bao
 
Traits: A New Language Feature for PHP?
Traits: A New Language Feature for PHP?Traits: A New Language Feature for PHP?
Traits: A New Language Feature for PHP?Stefan Marr
 
Topic Segmentation in Dialogue
Topic Segmentation in DialogueTopic Segmentation in Dialogue
Topic Segmentation in DialogueJinho Choi
 
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-IssueCodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-IssueDhaval Dalal
 
Normalization
NormalizationNormalization
NormalizationavniS
 
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...Grammarly
 
LDA/TagLDA In Slow Motion
LDA/TagLDA In Slow MotionLDA/TagLDA In Slow Motion
LDA/TagLDA In Slow MotionPradipto Das
 

Mais procurados (12)

Turbo prolog 2.0 basics
Turbo prolog 2.0 basicsTurbo prolog 2.0 basics
Turbo prolog 2.0 basics
 
On the Decidability of Role Mappings Between Modular Ontologies
On the Decidability of Role Mappings Between Modular OntologiesOn the Decidability of Role Mappings Between Modular Ontologies
On the Decidability of Role Mappings Between Modular Ontologies
 
Traits: A New Language Feature for PHP?
Traits: A New Language Feature for PHP?Traits: A New Language Feature for PHP?
Traits: A New Language Feature for PHP?
 
Topic Segmentation in Dialogue
Topic Segmentation in DialogueTopic Segmentation in Dialogue
Topic Segmentation in Dialogue
 
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-IssueCodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
CodeJugalbandi-Expression-Problem-HealthyCode-Magazine#Jan-2015-Issue
 
Normalization
NormalizationNormalization
Normalization
 
SEMINAR
SEMINARSEMINAR
SEMINAR
 
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
Grammarly AI-NLP Club #6 - Sequence Tagging using Neural Networks - Artem Che...
 
ch2
ch2ch2
ch2
 
LDA/TagLDA In Slow Motion
LDA/TagLDA In Slow MotionLDA/TagLDA In Slow Motion
LDA/TagLDA In Slow Motion
 
Mapping FAO’s AGROVOC Thesaurus
Mapping FAO’s AGROVOC Thesaurus Mapping FAO’s AGROVOC Thesaurus
Mapping FAO’s AGROVOC Thesaurus
 
E018212935
E018212935E018212935
E018212935
 

Destaque

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
 
Modular Ontologies: Package-based Description Logics Approach
Modular Ontologies: Package-based Description Logics ApproachModular Ontologies: Package-based Description Logics Approach
Modular Ontologies: Package-based Description Logics ApproachJie Bao
 
Adapt OWL as a Modular Ontology Language
Adapt OWL as a Modular Ontology LanguageAdapt OWL as a Modular Ontology Language
Adapt OWL as a Modular Ontology LanguageJie Bao
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesA Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesJie 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
 
Divide and Conquer Semantic Web with Modular
Divide and Conquer Semantic Web with ModularDivide and Conquer Semantic Web with Modular
Divide and Conquer Semantic Web with ModularJie Bao
 
Representing and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesRepresenting and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesJie Bao
 
A Tableau-based Federated Reasoning Algorithm for Modular Ontologies
A Tableau-based Federated Reasoning Algorithm for Modular OntologiesA Tableau-based Federated Reasoning Algorithm for Modular Ontologies
A Tableau-based Federated Reasoning Algorithm for Modular OntologiesJie Bao
 

Destaque (8)

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...
 
Modular Ontologies: Package-based Description Logics Approach
Modular Ontologies: Package-based Description Logics ApproachModular Ontologies: Package-based Description Logics Approach
Modular Ontologies: Package-based Description Logics Approach
 
Adapt OWL as a Modular Ontology Language
Adapt OWL as a Modular Ontology LanguageAdapt OWL as a Modular Ontology Language
Adapt OWL as a Modular Ontology Language
 
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple OntologiesA Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
 
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
 
Divide and Conquer Semantic Web with Modular
Divide and Conquer Semantic Web with ModularDivide and Conquer Semantic Web with Modular
Divide and Conquer Semantic Web with Modular
 
Representing and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesRepresenting and Reasoning with Modular Ontologies
Representing and Reasoning with Modular Ontologies
 
A Tableau-based Federated Reasoning Algorithm for Modular Ontologies
A Tableau-based Federated Reasoning Algorithm for Modular OntologiesA Tableau-based Federated Reasoning Algorithm for Modular Ontologies
A Tableau-based Federated Reasoning Algorithm for Modular Ontologies
 

Semelhante a On the Semantics of Linking and Importing in Modular Ontologies

Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Jie Bao
 
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
 
A Distributed Tableau Algorithm for Package-based Description Logics
A Distributed Tableau Algorithm for Package-based Description LogicsA Distributed Tableau Algorithm for Package-based Description Logics
A Distributed Tableau Algorithm for Package-based Description LogicsJie Bao
 
Package-based Description Logics – Preliminary Results
Package-based Description Logics – Preliminary ResultsPackage-based Description Logics – Preliminary Results
Package-based Description Logics – Preliminary ResultsJie Bao
 
Detecting paraphrases using recursive autoencoders
Detecting paraphrases using recursive autoencodersDetecting paraphrases using recursive autoencoders
Detecting paraphrases using recursive autoencodersFeynman Liang
 
Csr2011 june17 15_15_kaminski
Csr2011 june17 15_15_kaminskiCsr2011 june17 15_15_kaminski
Csr2011 june17 15_15_kaminskiCSR2011
 
Redundancy analysis on linked data #cold2014 #ISWC2014
Redundancy analysis on linked data #cold2014 #ISWC2014Redundancy analysis on linked data #cold2014 #ISWC2014
Redundancy analysis on linked data #cold2014 #ISWC2014honghan2013
 
Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-
Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-
Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-Cemal Ardil
 
The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics
The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics
The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics Kolja Kleineberg
 
Semantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitySemantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitynvitucci
 
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
 
2P-Kt: logic programming with objects & functions in Kotlin
2P-Kt: logic programming with objects & functions in Kotlin2P-Kt: logic programming with objects & functions in Kotlin
2P-Kt: logic programming with objects & functions in KotlinGiovanni Ciatto
 
Coclustering Base Classification For Out Of Domain Documents
Coclustering Base Classification For Out Of Domain DocumentsCoclustering Base Classification For Out Of Domain Documents
Coclustering Base Classification For Out Of Domain Documentslau
 
Extraction of common conceptual components from multiple ontologies
Extraction of common conceptual components from multiple ontologiesExtraction of common conceptual components from multiple ontologies
Extraction of common conceptual components from multiple ontologiesValentina Carriero
 
Conservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in OntologiesConservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in OntologiesJie Bao
 
Towards a systematic benchmarking of ontology-based query rewriting systems
Towards a systematic benchmarking of ontology-based query rewriting systemsTowards a systematic benchmarking of ontology-based query rewriting systems
Towards a systematic benchmarking of ontology-based query rewriting systemsFujitsu Laboratories of Europe
 
ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015
ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015
ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015RIILP
 

Semelhante a On the Semantics of Linking and Importing in Modular Ontologies (20)

Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)
 
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
 
A Distributed Tableau Algorithm for Package-based Description Logics
A Distributed Tableau Algorithm for Package-based Description LogicsA Distributed Tableau Algorithm for Package-based Description Logics
A Distributed Tableau Algorithm for Package-based Description Logics
 
Package-based Description Logics – Preliminary Results
Package-based Description Logics – Preliminary ResultsPackage-based Description Logics – Preliminary Results
Package-based Description Logics – Preliminary Results
 
Detecting paraphrases using recursive autoencoders
Detecting paraphrases using recursive autoencodersDetecting paraphrases using recursive autoencoders
Detecting paraphrases using recursive autoencoders
 
Csr2011 june17 15_15_kaminski
Csr2011 june17 15_15_kaminskiCsr2011 june17 15_15_kaminski
Csr2011 june17 15_15_kaminski
 
Fuzzy OWL-2 Annotation for MetOcean Ontology
Fuzzy OWL-2 Annotation for MetOcean OntologyFuzzy OWL-2 Annotation for MetOcean Ontology
Fuzzy OWL-2 Annotation for MetOcean Ontology
 
Redundancy analysis on linked data #cold2014 #ISWC2014
Redundancy analysis on linked data #cold2014 #ISWC2014Redundancy analysis on linked data #cold2014 #ISWC2014
Redundancy analysis on linked data #cold2014 #ISWC2014
 
Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-
Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-
Compact binary-tree-representation-of-logic-function-with-enhanced-throughput-
 
The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics
The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics
The Hidden Geometry of Multiplex Networks @ Next Generation Network Analytics
 
Fuzzy causal order
Fuzzy causal orderFuzzy causal order
Fuzzy causal order
 
Semantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalabilitySemantic Web languages: Expressivity vs scalability
Semantic Web languages: Expressivity vs scalability
 
Introduction to Prolog
Introduction to PrologIntroduction to Prolog
Introduction to Prolog
 
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
 
2P-Kt: logic programming with objects & functions in Kotlin
2P-Kt: logic programming with objects & functions in Kotlin2P-Kt: logic programming with objects & functions in Kotlin
2P-Kt: logic programming with objects & functions in Kotlin
 
Coclustering Base Classification For Out Of Domain Documents
Coclustering Base Classification For Out Of Domain DocumentsCoclustering Base Classification For Out Of Domain Documents
Coclustering Base Classification For Out Of Domain Documents
 
Extraction of common conceptual components from multiple ontologies
Extraction of common conceptual components from multiple ontologiesExtraction of common conceptual components from multiple ontologies
Extraction of common conceptual components from multiple ontologies
 
Conservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in OntologiesConservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in Ontologies
 
Towards a systematic benchmarking of ontology-based query rewriting systems
Towards a systematic benchmarking of ontology-based query rewriting systemsTowards a systematic benchmarking of ontology-based query rewriting systems
Towards a systematic benchmarking of ontology-based query rewriting systems
 
ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015
ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015
ESR11 Hoang Cuong - EXPERT Summer School - Malaga 2015
 

Mais de 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
 

Mais 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

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93
 
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...apidays
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businesspanagenda
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...DianaGray10
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processorsdebabhi2
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfsudhanshuwaghmare1
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Scriptwesley chun
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxRustici Software
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Miguel Araújo
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024The Digital Insurer
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMECloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMESafe Software
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobeapidays
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...apidays
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDropbox
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyKhushali Kathiriya
 

Último (20)

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
Apidays Singapore 2024 - Scalable LLM APIs for AI and Generative AI Applicati...
 
Why Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire businessWhy Teams call analytics are critical to your entire business
Why Teams call analytics are critical to your entire business
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMECloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 

On the Semantics of Linking and Importing in Modular Ontologies

  • 1. On the Semantics of Linking and Importing in Modular Ontologies Jie Bao , Doina Caragea and Vasant Honavar Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA. {baojie, honavar}@cs.iastate.edu 5 th International Semantic Web Conference (ISWC 2006)
  • 2.
  • 3. Semantic Web Visualising the Semantic Web by Juan C. Dürsteler
  • 4. No Unique Point of View
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10. Inter-module Unsatisfiability Problem Fly m 1 Bird m 1 Penguin m 2 Bird Penguin ~Fly Penguin
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17. E-connections vs. DDL  with Inverse links
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25. Distributed Reasoning x 1 {A 1 } x 1 {B 1 } {A 3 } x 4 Local Reasoner for package A Local Reasoner for package B {A 2 } x 2 r A {B 2 } x 3 r B {B 3 } x 4 r B x 1 {A 1 ,B 1 } {A 2 } {A 3 ,B 3 } {B 2 } x 2 x 3 x 4 The (conceptual) global tableau r A r B r B
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32. Desiderata: Exact Reasoning Integrated ontology Modular ontology Dog Animal Dog Animal
  • 33. Desiderata: Directional Knowledge Transfer People Dog O 1 O 2
  • 34. Desiderata: Localized Semantics Local Semantics People Pet O 1 O 2
  • 35. Desiderata: Transitive Reuse Dog Dog Animal Pet Animal O 1 O 2 O 3
  • 36.
  • 37.
  • 38.

Notas do Editor

  1. Web Network effect, Collective, SW, create and connect
  2. Proper intergration
  3. Change dog pic
  4. Dog is a kind of Pet