Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
On the Semantics of Linking and Importing in Modular Ontologies
1. On the Semantics of Linking and Importing in Modular Ontologies Jie Bao , Doina Caragea and Vasant Honavar Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA. {baojie, honavar}@cs.iastate.edu 5 th International Semantic Web Conference (ISWC 2006)
25. Distributed Reasoning x 1 {A 1 } x 1 {B 1 } {A 3 } x 4 Local Reasoner for package A Local Reasoner for package B {A 2 } x 2 r A {B 2 } x 3 r B {B 3 } x 4 r B x 1 {A 1 ,B 1 } {A 2 } {A 3 ,B 3 } {B 2 } x 2 x 3 x 4 The (conceptual) global tableau r A r B r B
26.
27.
28.
29.
30.
31.
32. Desiderata: Exact Reasoning Integrated ontology Modular ontology Dog Animal Dog Animal