Your SlideShare is downloading. ×
0
Center for Computational Intelligence, Learning, and Discovery Artificial Intelligence Research Laboratory Department of C...
Upcoming SlideShare
Loading in...5
×

A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Poster)

1,139

Published on

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,139
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Transcript of "A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Poster)"

  1. 1. Center for Computational Intelligence, Learning, and Discovery Artificial Intelligence Research Laboratory Department of Computer Science <ul><ul><ul><li>AAAI 2007 </li></ul></ul></ul>Acknowledgements : This work is supported in part by grants from the National Science Foundation (IIS-0639230) to Vasant Honavar. A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies Jie Bao, Giora Slutzki, and Vasant Honavar 3 – P-DL Semantics and Features REFERENCES <ul><li>J. Bao, G. Slutzki, and V. Honavar. (2007) A Semantic Importing Approach to Reusing Knowledge from Multiple Autonomous Ontology Modules. AAAI 2007. </li></ul><ul><li>J. Bao, D. Caragea, and V. Honavar. (2006). A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies. In Proceedings of IEEE/WIC/ACM International Conference on Web Intelligence (WI). IEEE Press. (p. 404-410) </li></ul><ul><li>J. Bao, D. Caragea, and V. Honavar. (2006) On the Semantics of Linking and Importing in Modular Ontologies. In the International Semantic Web Conference (ISWC) (p72-86) </li></ul><ul><li>J. Bao, D. Caragea, and V. Honavar. (2006) Modular ontologies - a formal investigation of semantics and expressivity. In the Asian Semantic Web Conference (ASWC2006). (p616-631) </li></ul>2 – P-DL Syntax Package-based Description Logics (P-DL), a modular ontology language that extends DL <ul><li>Whole ontology consists of a set of packages </li></ul><ul><li>One package can partially reuse another package by importing </li></ul>O 1 (General Animal) O 2 (Pet) <ul><li>Highlights : </li></ul><ul><li>We present the syntax and semantics of a modular ontology language, Package-based Description Logics SHOIQP, to support context-specific reuse of knowledge from multiple ontologies. </li></ul><ul><li>SHOIQP supports contextualized semantics, partial reuse, preservation of unsatisfiability of concept formulae, and transitive reuse of knowledge. </li></ul>Lack of support for modular ontologies in OWL owl:import = copy-and-paste 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) … copy+paste <ul><li>no partial reuse </li></ul><ul><li>loss of context </li></ul>Analogy: Paper writing, OWL style Recent development in modular ontologies… In this paper, we extend the algorithm A proposed by (Alice,2001) … Recent development in modular ontologies… In this paper, we present two algorithms A and B to … Contextualized negation helps preserve the context of an axiom Black, White  1 White = Black  2 White = Black ⊔ Red <ul><li>Each package has a local interpretation </li></ul><ul><li>Importing establishes domain relations </li></ul><ul><ul><li>directional </li></ul></ul><ul><ul><li>one-to-one </li></ul></ul><ul><ul><li>compositionally consistent: r 13 =r 23  r 12 </li></ul></ul><ul><li>Partial agreement on concept interpretation </li></ul><ul><ul><li>(i:C) Ij =r ij (i:C Ii ) </li></ul></ul><ul><li>More requirements are needed when importing of roles and nominals are allowed. </li></ul>Dog 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 Localized Semantics P-DL Supports SHOIQP: concept, role and nominal importing between SHOIQ modules Preservation of unsatisfiability Transitive Reusability Dog ⊑ Animal P-DL compared with related work 1,4 Limited Support 2,3 May be simulated using syntactical encoding C is an i-concept, D is a j-concept, E is a k-concept; P is an i-role, R is a j-role, Q is a k-role; x is an i-individual, y is a j-individual; i  j, j  k. All formulae represent module j’s point of view. Bird NonFly ⊑ ⊑ 1 – Motivation owl:imports
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×