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

1,275 views

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,275
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
6
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

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

×