1. Package-based Description Logics – Preliminary Results Jie Bao , Doina Caragea, Vasant Honavar Artificial Intelligence Research Laboratory Computer Science Department Iowa State University Ames, IA USA 50011 Email: baojie@cs.iastate.edu

4. A Distributed Semantic Web Berners-Lee, T., Hendler, J., and Lassila, O. (2001).The semantic web. Scientific American, 284(5):34-43.

5. A COB Example Swine Cattle Chicken Horse Each group works on an ontology module for a particular species (according to the group’s best expertise) Collaborative building of an animal trait ontology that involves multiple research groups across the world

7. Modular Ontology Languages Today OWL 2002 2003 2004 2005 2006 C-OWL CTXWL E-Connections Our approach DDL based ? (E-connection can also work other logics e.g. modal logic) P-DL (to be discussed at the WoMO workshop)

9. Expressivity Comparison [Baot et al. ASWC 2006]

13. Package: Example O 1 (General Animal) O 2 (Pet) It uses ALCP, but not ALCP C

16. Localized Semantics O 1 O 2 Animal I Carnivore I Dog I foo I Dog I Pet I PetDog I x eats I 1 1 1 2 2 2 2 2 DogFood I 2 Animal I 2

17. Semantics of Importing Animal I Carnivore I Dog I x foo I Dog I Pet I PetDog I x eats I 1 1 1 2 2 2 2 2 DogFood I 2 Animal I 2 Image domain relation O 1 O 2 importing

19. Partially Overlapped Model bijective (one-to-one) Transitive (Compositional consistent) Δ I 1 Δ I 2 x x’ C I 1 C I 2 r 12 Δ I 3 r 13 r 23 x’’ C I 3 x C I Global interpretation obtained from local Interpretations by merging shared individuals

26. ALCP C Expansion Example (2) 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

31. The COB Editor Pig Package Cattle Package Chicken Package http://sourceforge.net/projects/cob/

32. WikiOnt 2 (under development) A Wiki-based Ontology Editor with GUI Will be on http://sourceforge.net/projects/wikiont/

40. SLM: example A schedule ontology Hidden: details of the activity Visible: there is an activity [CTS06 Paper] a.k.a [1] Package Package Hierarchy Scope Limitation

42. Messages y y {C?} T 1 T 2 y y {C} C(y) T 1 T 2

43. Tableau Expansion Tableau Expansion for ALCP C with acyclic concept importing More expressive extensions in action: SHOIQ + P