Center for Computational Intelligence, Learning, and Discovery Artificial Intelligence Research Laboratory Department of Computer Science
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)
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
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