Your SlideShare is downloading. ×
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies (Poster)
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

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

1,118
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,118
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Center for Computational Intelligence, Learning, and Discovery Artificial Intelligence Research Laboratory Department of Computer Science
        • AAAI 2007
    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
    • J. Bao, G. Slutzki, and V. Honavar. (2007) A Semantic Importing Approach to Reusing Knowledge from Multiple Autonomous Ontology Modules. AAAI 2007.
    • 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)
    • 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)
    • 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)
    2 – P-DL Syntax Package-based Description Logics (P-DL), a modular ontology language that extends DL
    • Whole ontology consists of a set of packages
    • One package can partially reuse another package by importing
    O 1 (General Animal) O 2 (Pet)
    • Highlights :
    • 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.
    • SHOIQP supports contextualized semantics, partial reuse, preservation of unsatisfiability of concept formulae, and transitive reuse of knowledge.
    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
    • no partial reuse
    • loss of context
    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
    • Each package has a local interpretation
    • Importing establishes domain relations
      • directional
      • one-to-one
      • compositionally consistent: r 13 =r 23  r 12
    • Partial agreement on concept interpretation
      • (i:C) Ij =r ij (i:C Ii )
    • More requirements are needed when importing of roles and nominals are allowed.
    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

×