Â¥Ö÷

±¾ÌåÄ£¿é»¯²Î¿¼ÂÛÎÄ[·ÖÏí] [1] [Arpirez 1998] J. Arpirez, A. G.. Perez and A. Lozano. An Ontology-based WWW Broker to Select Ontologies. Proceedings of the Workshop on Application of Ontologies and Problem-Solving Methods, UK, 1998:16-24. [2] [Bao 2006A] Jie Bao, Doina Caragea, and Vasant Honavar. Modular ontologies - a formal investigation of semantics and expressivity. In R. Mizoguchi, Z. Shi, and F. Giunchiglia (Eds.): Asian SemanticWeb Conference 2006, LNCS 4185, pages 616¨C631, 2006. [3] [Bao 2006B] Jie Bao, Doina Caragea, and Vasant Honavar. Divide and Conquer Semantic Web with Modualr Ontologies - A Brief Review of Modular Ontology Language Proposals. In Proceedings of the ISWC 2006 Workshop on Modular Ontologies. 2006. Athens, Georgia, USA. [4] [Bao 2006C] Jie Bao, Doina Caragea, and Vasant Honavar. On the semantics of linking and importing in modular ontologies. In I. Cruz et al. (Eds.): ISWC 2006, LNCS 4273, pages 72¨C86. 2006. [5] [Bao 2006D] Jie Bao, Doina Caragea, and Vasant Honavar. Towards collaborative environments for ontology construction and sharing. In International Symposium on Collaborative Technologies and Systems (CTS 2006), pages 99¨C108. IEEE Press, 2006. [6] [Batagelj 2003] V. Batagelj. Analysis of large networks - islands. Presented at Dagstuhl seminar 03361: Algorithmic Aspects of Large and Complex Networks, August/September 2003. [7] [Bernaras 1996] A. Bernaras, I. Laresgoiti, and J. Corera. Building and reusing ontologies for electrical network applications. In Proceedings of the 12th ECAI, pages 298¨C302, 1996. [8] [Bernardo 2004] Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin. Working with multiple ontologies on the semantic web. In International Semantic Web Conference, pages 620¨C634, 2004. [9] [Bernardo 2005A] Bernardo Cuenca Grau. Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain, 2005. [10] [Bernardo 2005B] Cuenca-Grau, B., Parsia, B., Sirin, E., Kalyanpur, A. Automatic partitioning of owl ontologies using e-connections. In: Proceedings of the 2005 International Workshop on Description Logics (DL-2005). 2005. [11] [Bernardo 2005C] Modularizing owl ontologies. [12] [Bernardo 2006] Modularity and web ontologies. [13] [Bernardo 2007A] Extracting Modules from Ontologies A Logic-based Approach. [14] [Bernardo 2007B] B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. A logical framework for modularity of ontologies. In Proc. IJCAI-2007, pages 298¨C304, 2007. [15] [Bernardo 2007C] Cuenca-Grau, B., Horrocks, I., Kazakov, Y., Sattler, U. Just the right amount: Extracting modules from ontologies. In Proceedings of the 16th International World Wide Web Conference, 2007, Banff, AB, Canada. ACM Press, 2007, 717-727. [16] [Bhatt 2004] Semantic completeness in sub-ontology extration using distributed mathods. [17] [Borgida 2002] Alexander Borgida and Luciano Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In CoopIS/DOA/ODBASE, pages 36¨C53, 2002. [18] [Borgo 1996] S. Borgo, N. Guarino, and C. Masolo. Stratified ontologies: the case of physical objects. In Proceedings of the Workshop on Ontological Engineering, held in conjunction with ECAI-96, pages 5¨C15, Budapest, August 1996. ECAI. [19] [Borst 1997] Borst W N. Construction of Engineering Ontologies for Knowledge Sharing and Reuse. PhD thesis, University of Twente, Enschede, 1997. [20] [Curbera 2001] Curbera F., Nagy W. and Weerawarana S.. Web Services: Why and How. Workshop on Object-Oriented Web Services¨COOPSLA 2001, Tampa, Florida, USA. [21] [DAML+OIL] Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. In Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI 2002), pages 792-797. AAAI Press, 2002. [22] [d'Aquin 2006] d' Aquin, M., Sabou, M., Motta, E.: Modularization: a Key for the Dynamic Selection of Relevant Knowledge Components. In: Proc. of the ISWC 2006 Workshop on Modular Ontologies. 2006. [23] [d'Aquin 2007A] d' Aquin, M., Schlicht, A., Stuckenschmidt, H., Sabou, M. Ontology Modularization for Knowledge Selection: Experiments and Evaluations. In: 18th International Conference on Database and Expert Systems Applications - DEXA'07. 2007. [24] [d'Aquin 2007B] Mathieu d'Aquin, Paul Doran, Enrico Motta, and Valentina Tamma. Towards a Parametric Ontology Modularization Framework Based on Graph Transformation. In Proceedings of Second International Workshop on Modular Ontologies.October 28, 2007. Whistler, British Columbia, Canada. [25] [DFOL] Chiara Ghidini and Luciano Serafini. Frontiers Of Combining Systems 2, Studies in Logic and Computation, chapter Distributed First Order Logics, pages 121¨C140. Research Studies Press, 1998. [26] [Ding 2007] Ding, Y.H., Deryle Lonsdale and David W. Embley, et al. Generating Ontologies via Language Components and Ontology Reuse. In Proceedings of the 12th International Conference on Applications of Natural Language to Information Systems (NLDB'07), Paris, France, June 2007. [27] [Ding] Ontology Library Systems The key to successful Ontology Reuse. [28] [DL] F. Baader and W. Nutt. Basic description logics. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge: Cambridge University Press, 2003. [29] [Doran 2006] P. Doran. Ontology Reuse via Ontology Modularisation. In Proceedings of KnowledgeWeb PhD Symposium 2006 .Budva, Montenegro, 17th June 2006. [30] [Doran 2007] Doran, P., Tamma, V., Iannone, L. Ontology module extraction for ontology reuse: An ontology engineering perspective. In: Proceedings of the 2007 ACM CIKM International Conference on Information and Knowledge Management. 2007. [31] [Ehrig 2004] Fundamental Theory for Typed Attributed Graph Transformation. [32] [Frame Logic] Luis Fariñas del Cerro, Andreas Herzig. Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112 [33] [Frank 2006] Frank Loebe. Requirements for Logical Modules. In Proceedings of the ISWC 2006 Workshop on Modular Ontologies. 2006. Athens, Georgia, USA. [34] [Gene 2000] The Gene Ontology Consortium. Gene ontology: tool for the unification of biology. Nature Genetics, 2000, 25:25¨C29. [35] [Gruber 1993] Thomas R. Gruber. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199-220, 1993. [36] [Gruber 1995] T. R. Gruber. Towards principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43:907¨C928, 1995. [37] [Hu 2006A ASWC2006] Partition-based block matching of large class hierarchies. [38] [Hu 2006B] Wei Hu and Yuzhong Qu. Block Matching for Ontologies. In Proceedings of ISWC 2006, LNCS 4273, pp. 300¨C313, 2006. [39] [KIF] M. Genesereth, R. Fikes. Knowledge interchange format. Technical Report Logic-92-1, Computer Science Department, Stanford University, 1992. [40] [Kutz 2002] O. Kutz, F. Wolter and M. Zakharyaschev. Connecting abstract description systems. In Proceedings of the 8th International Conference of Knowledge Representation and Reasoning (KR-2002, Toulouse), Morgan Kaufmann, 215 -- 227, 2002. [41] [Loom] R. MacGregor. Inside the LOOM clasifier. SIGART bulletin 2, 1991, pages 70¨C76. [42] [Lutz 2007] Lutz, C.,Walther, D.,Wolter, F. Conservative extensions in expressive description logics. In Veloso, M.M., ed.: IJCAI. 2007, 453¨C458. [43] [MacCartney 2003] Practical Partition-Based Theorem Proving for Large Knowledge Bases. [44] [Motta 2006] Enrico Motta, Marta Sabou: Next Generation SemanticWeb Applications. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, Springer, Heidelberg, 2006. [45] [NCI 2003] Jennifer Golbeck, Gilberto Fragoso, Frank Hartel, Jim Hendler, Jim Oberthaler, and Bijan Parsia. The national cancer institute¡¯s thesaurus and ontology. Journal of Web Semantics, 1(1), 2003. [46] [Neches 1991] Neches R, Fikes R E, and Gruber T R et al. Enabling Technology for Knowledge Sharing. AIMagazine, 1991, 12(3):36-56. [47] [Noy 2004] Noy, N., Musen, M. Specifying Ontology Views by Traversal. In Proceedings of the International Semantic Web Conference (ISWC), 2004. [48] [Pajek 2003] V. Batagelj and A. Mrvar. Pajek - analysis and visualization of large networks. In M. Jnger and P. Mutzel, editors, Graph Drawing Software, pages 77¨C103. Springer, 2003. [49] [Perez 1999] Gmez Prez, A., and Benjamins, V.R. (1999): Overview of Knowledge Sharing and Reuse Components: Ontologies and Problem-Solving Methods. In Proceedings of the IJCAI'99 Workshop on Ontology and Problem-Solving Methods: Lesson learned and Future Trends, Benjamins, V.R., (Ed.), CEUR Publications, Amsterdam, vol.18, pp.:1.1-1.15. [50] [Rector 2003] Modularisation of Domain Ontologies Implemented in Description Logics. [51] [Report 2005] A. Rector, A. Napoli and G. Stamou et al. Report on modularization of ontologies. Technical report, Knowledge Web Deliverable D2.1.3.1, 2005. [52] [Sabou 2006] M. Sabou, V.L., Motta, E.: Ontology Selection on the Real Semantic Web: How to Cover the Queens Birthday Dinner? In: Proc. of the European Knowledge Acquisition Workshop (EKAW), Podebrady, Czech Republic, 2006. [53] [Sabou 2007] Marta Sabou, Jorge Gracia and Sofia Angeletou et al. Evaluating the Semantic Web: A Task-Based Approach. K. Aberer et al. (Eds.): ISWC/ASWC 2007, LNCS 4825, pp. 423¨C437, 2007. [54] [Schlicht 2006] Schlicht, A. and Stuckenschmidt, H. Towards Structural Criteria for Ontology Modularization. In Proceedings of the ISWC 2006 Workshop on Modular Ontologies. 2006. [55] [Seidenberg 2006] Julian Seidenberg and Alan Rector. Web ontology segmentation: Analysis, classification and use. In Proceedings of the World Wide Web Conference (WWW), Edinburgh, June 2006. [56] [Stuckenschmidt 2003] Heiner Stuckenschmidt and Michel C. A. Klein. Integrity and change in modular ontologies. In Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI¡¯03, Acapulco, Mexico, 2003. [57] [Stuckenschmidt 2004] Heiner Stuckenschmidt and Michel C. A. Klein. Structure-based partitioning of large concept hierarchies. In International Semantic Web Conference, pages 289¨C303, 2004. [58] [Stuckenschmidt 2005] Reasoning and Change Management in Modular Ontologies. [59] [Studer 1998] Studer R, Benjamins V R, Fensel D.Knowledge Engineering,Principles and Methods. Data and Knowledge Engineer-ing, 1998, 25(1-2):161-197. [60] [SUMO 2001] I. Niles and A. Pease. Toward a standard upper ontology. In Chris Welty and Barry Smith, editors, Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), 2001. [61] [SWS book] Jorge Cardoso, Amit Sheth and Antonio Cau et al. Semantic Web Services, Processes and Applications. New Yok: Springer Press, 2006. [62] [Volz 2002] R. Volz, A. Maedche, and D. Oberle. Towards a modularized semantic web. In Proceedings of the ECAI'02 Workshop on Ontologies and Semantic Interoperability, 2002. [63] [Wang] Survey of Formalisms for Modular Ontologies. [64] [Wielemaker 2003] J. Wielemaker, G. Schreiber, and B. Wielinga. Prolog-based infrastructure for RDF: performance and scalability. In D. Fensel, K. Sycara, and J. Mylopoulos, editors, The SemanticWeb - Proceedings ISWC'03, Sanibel Island, Florida, pages 644¨C658, Berlin, Germany, october 2003. Springer Verlag. LNCS 2870. [65] [SPARQL] http://www.w3.org/TR/rdf-sparql-query/ [URL=http://imarine.blog.163.com/blog/static/51380183200832591022987/]²é¿´Ô­ÎÄ[/URL]    Êղؠ  ·ÖÏí   ¶¥(0)