a semantic importing approach to knowledge reuse from multiple ontologies (poster)
DESCRIPTION
TRANSCRIPT
Center for Computational Intelligence, Learning, and DiscoveryArtificial Intelligence Research LaboratoryDepartment 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 OntologiesJie Bao, Giora Slutzki, and Vasant Honavar
1 – Motivation
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
General Pet
Wild LivestockPetDogPet
DogGeneral
PetDogPet
DogGeneral
– Whole ontology consists of a set of packages– One package can partially reuse another package by importing
O1 (General Animal) O2 (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:imports
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: r13=r23 r12
• Partial agreement on concept interpretation– (i:C)Ij =rij(i:CIi)
• More requirements are needed when importing of roles and nominals are allowed.
x x’
Δ I1 Δ I2
1:DogI1 1:DogI2
x x’
Δ I1 Δ I2
1:DogI1 1:DogI2
r12r12
Δ I3
r13 r23
x’’1:DogI3
Δ I3
r13 r23
x’’1:DogI3
r13 r23
x’’1:DogI3
Dog Pet Animal
P1 P2 P3
Bird ⊑ FlyNonFly=1Fly
P1 P2
Penguin ⊑ Bird
Penguin ⊑ NonFly
Bird ⊓ NonFly
unsat
Bird ⊓ NonFlyunsat
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.
BirdNonFly
⊑ ⊑