Divide and conquer semantic web with modular ontologies - A brief review of modular ontology language formalisms

CEUR Workshop Proceedings

Volumn 232, Issue , 2006, Pages

  Bao, Jie ^a   Honavar, Vasant G ^a  

^a Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE CONSTRUCTION; DESCRIPTION LOGIC; DISTRIBUTED DESCRIPTION LOGIC; DIVIDE AND CONQUER; LANGUAGE FEATURES; MODULAR ONTOLOGIES; ONTOLOGY LANGUAGE; SEMANTIC WEB APPLICATIONS;

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

ONTOLOGY;

EID: 84884632223     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)

1. E. Amir and S. A. McIlraith. Partition-based logical reasoning. In KR, pages 389-400, 2000.
2. F. Baader and S. Ghilardi. Connecting many-sorted theories. In CADE, pages 278-294, 2005.
3. F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics. In Description Logics, pages 21-30, 2000.
4. J. Bao, D. Caragea, and V. Honavar. A distributed tableau algorithm for package-based description logics. In the 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI 2006. 2006.
5. J. Bao, D. Caragea, and V. Honavar. Modular ontologies - a formal investigation of semantics and expressivity. In R. Mizoguchi, Z. Shi, and F. Giunchiglia (Eds.): Asian Semantic Web Conference 2006, LNCS 4185, pages 616-631, 2006.
6. J. Bao, D. Caragea, and V. Honavar. On the semantics of linking and importing in modular ontologies. In I. Cruz et al. (Eds.): ISWC 2006, LNCS 4273, pages 72-86. 2006.
7. J. Bao, D. Caragea, and V. Honavar. A tableau-based federated reasoning algorithm for modular ontologies. In Accepted by 2006 IEEE/WIC/ACM International Conference on Web Intelligence (In Press), 2006.
8. J. Bao, D. Caragea, and V. Honavar. Towards collaborative environments for ontology construction and sharing. In International Symposium on Collaborative Technologies and Systems (CTS 2006), pages 99-108. IEEE Press, 2006.
9. J. Bao, Z. Hu, D. Caragea, J. Reecy, and V. Honavar. Developing frameworks and tools for collaborative building of large biological ontologies. In the 4th International Workshop on Biological Data Management (BIDM'06), @ DEXA'06. 2006.
10. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, 284(5):34-43, May 2001.
11. A. Borgida and L. Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In CoopIS, pages 36-53, 2002.
12. A. Borgida and L. Serafini. Distributed description logics: Assimilating information from peer sources. J. Data Semantics, 1:153-184, 2003.
13. P. Bouquet, A. Dona, L. Serafini, and S. Zanobini. Conceptualized local ontologies specification via CTXML. In AAAI-02 Workshop on Meaning Negotiation (MeaN-02) July 28, 2002, Edmonton, Canada, 2002.
14. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. C-owl: Contextualizing ontologies. In D. Fensel, K. P. Sycara, and J. Mylopoulos, editors, International Semantic Web Conference, Volume 2870 of Lecture Notes in Computer Science, pages 164-179. Springer, 2003.
15. T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. In CoopIS, pages 55-62, 1993.
16. C. Ghidini and L. Serafini. Frontiers Of Combining Systems 2, Studies in Logic and Computation, chapter Distributed First Order Logics, pages 121-140. Research Studies Press, 1998.
17. C. Ghidini and L. Serafini. Reconciling concepts and relations in heterogeneous ontologies. In ESWC, pages 50-64, 2006.
18. F. Giunchiglia and C. Ghidini. Local models semantics, or contextual reasoning = locality + compatibility. In KR, pages 282-291, 1998.
19. B. C. Grau. Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain, 2005.
20. B. C. Grau, B. Parsia, and E. Sirin. Tableau algorithms for e-connections of description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), TR 2004-72, 2004.
21. B. C. Grau, B. Parsia, and E. Sirin. Working with multiple ontologies on the semantic web. In International Semantic Web Conference, pages 620-634, 2004.
22. B. C. Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In KR2006, 2006.
23. I. Horrocks. The FaCT system. In Tableaux, pages 307-312, 1998.
24. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of description logics. In Description Logics Workshop, CEUR-WS Vol 81, 2003.
25. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artif. Intell., 156(1):1-73, 2004.
26. O. Kutz, F. Wolter, and M. Zakharyaschev. Connecting abstract description systems. In KR, pages 215-226, 2002.
27. D. B. Lenat. Cyc: A large-scale investment in knowledge infrastructure. Commun. ACM, 38(11):32-38, 1995.
28. Y. Ma and J. Wei. A default extension to distributed description logics. In IAT, pages 38-44, 2004.
29. Y. Ma, J. Wei, B. Jin, and S. Liu. A formal framework for ontology integration based on a default extension to ddl. In ICTAC, pages 154-169, 2004.
30. B. Parsia and B. C. Grau. Generalized link properties for expressive epsilon-connections of description logics. In AAAI, pages 657-662, 2005.
31. P. Patel-Schneider, P. Hayes, and I. Horrocks. Web ontlogy language (owl) abstract syntax and semantics. http://www.w3.org/TR/owl-semantics/, February 2003.
32. A. L. Rector, C. Wroe, J. Rogers, and A. Roberts. Untangling taxonomies and relationships: personal and practical problems in loosely coupled development of large ontologies. In K-CAP, pages 139-146, 2001.
33. L. Serafini, A. Borgida, and A. Tamilin. Aspects of distributed and modular ontology reasoning. In IJCAI, pages 570-575, 2005.
34. L. Serafini, H. Stickenschmidt, and H. Wache. A formal investigation of mapping language for terminological knowledge. In 19th IJCAI, 2005.
35. L. Serafini and A. Tamilin. Distributed instance retrieval in heterogeneous ontologies. In Proceedings of SWAP 2005, CEUR Workshop vol 166, 2005.
36. L. Serafini and A. Tamilin. Drago: Distributed reasoning architecture for the semantic web. In ESWC, pages 361-376, 2005.
37. E. Sirin and B. Parsia. Pellet: An OWL DL Reasoner. In Description Logics Workshop, 2004.
38. H. Stuckenschmidt and M. Klein. Modularization of ontologies - wonderweb: Ontology infrastructure for the semantic web, ist project 2001-33052, version 1.0.
39. H. Stuckenschmidt and M. C. A. Klein. Structure-based partitioning of large concept hierarchies. In International Semantic Web Conference, pages 289-303, 2004.