{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:31:54Z","timestamp":1725532314579},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019067"},{"type":"electronic","value":"9783642019074"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01907-4_15","type":"book-chapter","created":{"date-parts":[[2009,5,16]],"date-time":"2009-05-16T05:07:13Z","timestamp":1242450433000},"page":"321-347","source":"Crossref","is-referenced-by-count":5,"title":["Composing Modular Ontologies with Distributed Description Logics"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Serafini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Tamilin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-24750-0_4","volume-title":"Handbook on Ontologies in Information Systems","author":"G. Antoniou","year":"2004","unstructured":"Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL. In: Handbook on Ontologies in Information Systems, pp. 67\u201392. Springer, Heidelberg (2004)"},{"key":"15_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications (2003)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing Mathematical Reasoning","author":"F. Baader","year":"2005","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS, vol.\u00a02605, pp. 228\u2013248. Springer, Heidelberg (2005)"},{"key":"15_CR4","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Andrea Stein, L.: OWL Web Ontology Language Reference. W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/owl-ref"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics\u00a01, 153\u2013184 (2003)","journal-title":"Journal of Data Semantics"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-39718-2_11","volume-title":"The Semantic Web - ISWC 2003","author":"P. Bouquet","year":"2003","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 164\u2013179. Springer, Heidelberg (2003)"},{"issue":"4","key":"15_CR7","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.websem.2004.07.001","volume":"1","author":"P. Bouquet","year":"2004","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: Contextualizing Ontologies. Journal on Web Semantics\u00a01(4), 325\u2013343 (2004)","journal-title":"Journal on Web Semantics"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local Model Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"15_CR9","unstructured":"Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Proceedings of the Frontiers of Combining Systems, pp. 121\u2013139 (2000)"},{"key":"15_CR10","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E.: Pellet: An OWL DL Reasoner. In: Proceedings of the 3rd International Semantic Web Conference (ISWC 2004) (2004), http:\/\/www.mindswap.org\/2003\/pellet\/"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., Moller, R.: RACER System Description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"15_CR12","unstructured":"Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11554554_2","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I.: Description Logics in Ontology Applications. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS, vol.\u00a03702, pp. 2\u201313. Springer, Heidelberg (2005)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-69778-0_5","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS, vol.\u00a01397, pp. 27\u201330. Springer, Heidelberg (1998)"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","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. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"15_CR16","unstructured":"Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 448\u2013453 (2005)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restriction. Technical Report 99-08, Technische Universit\u00e4t Dresden, LTCS (1999)","DOI":"10.25368\/2022.94"},{"issue":"3","key":"15_CR18","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of IGPL\u00a08(3), 239\u2013263 (2000)","journal-title":"Logic Journal of IGPL"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with Individuals for the Description Logic SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"key":"15_CR20","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: Proceedings of the 19th Joint Conference on Artificial Intelligence (IJCAI) (2005)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"15_CR22","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics (2006)","DOI":"10.2139\/ssrn.3199351"},{"key":"15_CR23","unstructured":"Stuckenschmidt, H., Klein, M.: Integrity and Change in Modular Ontologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)"},{"key":"15_CR24","unstructured":"Svab, O., Svatek, V., Berka, P., Rak, D., Tomasek, P.: OntoFarm: Towards an Experimental Collection of Parallel Ontologies. In: Poster Proceedings of the 4th International Semantic Web Conference (ISWC 2005) (2005)"},{"key":"15_CR25","unstructured":"Tessaris, S.: Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, Department of Computer Science, University of Manchester, UK (2001)"},{"key":"15_CR26","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)"},{"key":"15_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Modular Ontologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01907-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T01:15:31Z","timestamp":1684977331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01907-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019067","9783642019074"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01907-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}