{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:16:01Z","timestamp":1725891361663},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_13","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"178-193","source":"Crossref","is-referenced-by-count":5,"title":["Evaluating Formalisms for Modular Ontologies in Distributed Information Systems"],"prefix":"10.1007","author":[{"given":"Yimin","family":"Wang","sequence":"first","affiliation":[]},{"given":"Jie","family":"Bao","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Haase","sequence":"additional","affiliation":[]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Bao, J., Caragea, D., Honavar, V.: 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)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1007\/11836025_60","volume-title":"The Semantic Web \u2013 ASWC 2006","author":"J. Bao","year":"2006","unstructured":"Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol.\u00a04185, pp. 616\u2013631. Springer, Heidelberg (2006)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/11926078_6","volume-title":"The Semantic Web - ISWC 2006","author":"J. Bao","year":"2006","unstructured":"Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 72\u201386. Springer, Heidelberg (2006)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/CTS.2006.69","volume-title":"International Symposium on Collaborative Technologies and Systems (CTS 2006)","author":"J. Bao","year":"2006","unstructured":"Bao, J., Caragea, D., Honavar, V.: Towards collaborative environments for ontology construction and sharing. In: International Symposium on Collaborative Technologies and Systems (CTS 2006), pp. 99\u2013108. IEEE Press, Orlando (2006)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284, 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Directed domain correspondences in federated information sources. In: OTM Federated Conference CoopIS\/DOA\/ODBASE, pp. 36\u201353 (2002)","DOI":"10.1007\/3-540-36124-3_3"},{"key":"13_CR7","unstructured":"Cuenca Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02007) (2007)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Dzbor, M., Motta, E., Studer, R., Sure, Y., Haase, P., Gmez-Prez, A., Benjamins, R., Waterfeld, W.: Neon - lifecycle support for networked ontologies. In: Proceedings of 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (EWIMT-2005), pp. 451\u2013452 London, UK, IEE (2005)","DOI":"10.1049\/ic.2005.0772"},{"key":"13_CR9","unstructured":"Ghidini, C., Serafini, L.: Mapping properties of heterogeneous ontologies. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)"},{"key":"13_CR10","unstructured":"Grau, B.C.: Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain (2005)"},{"key":"13_CR11","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of IJCAI\u201907 (2007)"},{"key":"13_CR12","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Tableau algorithms for e-connections of description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), TR 2004-72 (2004)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: International Semantic Web Conference, pp. 620\u2013634 (2004)","DOI":"10.1007\/978-3-540-30475-3_43"},{"key":"13_CR14","unstructured":"Haase, P., Rudolph, S., Wang, Y., Brockmans, S., Palma, R., Euzenat, J., d\u2019Aquin, M.: D1.1.1 networked ontology model. NeOn Deliverable 1.1.1, Universit\u00e4t Karlsruhe, UPM, INRIA-ALPES, Open University (2007)"},{"key":"13_CR15","unstructured":"Haase, P., Sure, Y.: State-of-the-art on ontology evolution. Technical report, SEKT informal deliverable 3.1.1.b, Institute AIFB, University of Karlsruhe (2004)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Optimizing description logic subsumption. Journal of Logic and Computation\u00a09, 267\u2013293 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web. Semantics\u00a01, 7\u201326 (2003)","journal-title":"J. of Web Semantics"},{"key":"13_CR18","unstructured":"Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence - IJCAI\u201905, pp. 448\u2013453 (2005)"},{"key":"13_CR19","unstructured":"Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 399\u2013404, AAAI Press \/ The MIT Press (2000)"},{"key":"13_CR20","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of description logics. In: Description Logics Workshop, CEUR-WS, vol. 81 (2003)"},{"key":"13_CR21","unstructured":"Loebe, F.: Requirements for logical modules. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)"},{"key":"13_CR22","volume-title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07, AAAI Press, Stanford (2007)"},{"key":"13_CR23","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. Technical report, World Wide Web Consortium (W3C) (2003) Internet: http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"13_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11916277_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"B. Motik","year":"2006","unstructured":"Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic aboxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol.\u00a04246, Springer, Heidelberg (2006)"},{"key":"13_CR25","unstructured":"Schlicht, A., Stuckenschmidt, H.: Towards structural criteria for ontology modularizationc. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: Proceedings of the World Wide Web Conference (WWW), Edinburgh (2006)","DOI":"10.1145\/1135777.1135785"},{"key":"13_CR27","unstructured":"Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping languages for terminological knowledge. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence - IJCAI\u201905, Edinburgh, UK (2005)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/11431053_25","volume-title":"The Semantic Web: Research and Applications","author":"L. Serafini","year":"2005","unstructured":"Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 361\u2013376. Springer, Heidelberg (2005)"},{"key":"13_CR29","unstructured":"Serafini, L., Tamilin, A.: Instance retrieval over a set of heterogeneous ontologies. In: the 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI 2006 (2006)"},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MIS.2006.62","volume":"21","author":"N. Shadbolt","year":"2006","unstructured":"Shadbolt, N., Berners-Lee, T., Hall, W.: The semantic web revisited. IEEE Intelligent Systems\u00a021, 96\u2013101 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"13_CR31","unstructured":"Sirin, E., Parsia, B.: Pellet: An OWL DL Reasoner. In: Description Logics Workshop (2004)"},{"key":"13_CR32","unstructured":"Stuckenschmidt, H., Klein, M.C.A.: Integrity and change in modular ontologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence - IJCAI\u201903, pp. 900\u2013908 (2003)"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Stuckenschmidt, H., Klein, M.C.A.: Structure-based partitioning of large concept hierarchies. In: International Semantic Web Conference, pp. 289\u2013303 (2004)","DOI":"10.1007\/978-3-540-30475-3_21"},{"key":"13_CR34","unstructured":"Stuckenschmidt, H., Serafini, L., Wache, H.: Reasoning about ontology mappings. Technical report, Department for Mathematics and Computer Science, University of Mannheim; TR-2005-011 (2005)"},{"key":"13_CR35","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Description Logics. FaCT++ (2004)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:09:00Z","timestamp":1605762540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_13","relation":{},"subject":[]}}