{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:04:49Z","timestamp":1767650689955},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261247"},{"type":"electronic","value":"9783540315476"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431053_25","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:48:34Z","timestamp":1279082914000},"page":"361-376","source":"Crossref","is-referenced-by-count":70,"title":["DRAGO: Distributed Reasoning Architecture for the Semantic Web"],"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":"25_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL. In: Handbook on Ontologies in Information Systems, pp. 67\u201392 (2003)","DOI":"10.1007\/978-3-540-24750-0_4"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, 153\u2013184 (2003)","DOI":"10.1007\/978-3-540-39733-5_7"},{"key":"25_CR3","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., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 164\u2013179. Springer, Heidelberg (2003)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"25_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"25_CR5","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":"25_CR6","unstructured":"Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Proc. of the Frontiers of Combining Systems, pp. 121\u2013139 (2000)"},{"key":"25_CR7","first-page":"345","volume":"XVI","author":"F. Giunchiglia","year":"1993","unstructured":"Giunchiglia, F.: Contextual Reasoning. Epistemologia, special issue on I Linguaggi e le Macchine\u00a0XVI, 345\u2013364 (1993)","journal-title":"Epistemologia, special issue on I Linguaggi e le Macchine"},{"issue":"1","key":"25_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics (or: How we can do without modal logics). Artificial Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Artificial Intelligence"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/978-3-540-30475-3_43","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B.C. Grau","year":"2004","unstructured":"Grau, B.C., Parsia, B., Sirin, E.: Working with Multiple Ontologies on the Semantic Web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 620\u2013634. Springer, Heidelberg (2004)"},{"key":"25_CR10","series-title":"Lecture Notes in Artificial Intelligence","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., M\u00f6ller, R.: RACER System Description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Halevy, A., Ives, Z., Mork, P., Tatarinov, I.: Piazza: Data Management Infrastructure for Semantic Web Applications. In: Proc. of the 12th International World Wide Web Conference, WWW 2003 (2003)","DOI":"10.1145\/775152.775231"},{"key":"25_CR12","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a01397, pp. 27\u201330. Springer, Heidelberg (1998)"},{"issue":"1","key":"25_CR13","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. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"3","key":"25_CR14","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"},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O. Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: $\\mathcal{E}$ -connections of Abstract Description Systems. Artificial Intelligence\u00a0156(1), 1\u201373 (2004)","journal-title":"Artificial Intelligence"},{"key":"25_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45810-7_23","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"A. Maedche","year":"2002","unstructured":"Maedche, A., Motik, B., Silva, N., Volz, R.: MAFRA - a Mapping Framework for Distributed Ontologies. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol.\u00a02473, p. 235. Springer, Heidelberg (2002)"},{"issue":"2","key":"25_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1008741824956","volume":"8","author":"E. Mena","year":"2000","unstructured":"Mena, E., Illarramendi, A., Kashyap, V., Sheth, A.: OBSERVER: An Approach for Query Processing in Global Information Systems based on Interoperation across Pre-existing Ontologies. International Journal on Distributed and Parallel Databases (DAPD)\u00a08(2), 223\u2013272 (2000) ISSN 0926-8782","journal-title":"International Journal on Distributed and Parallel Databases (DAPD)"},{"key":"25_CR18","unstructured":"Omelayenko, B.: RDFT: A Mapping Meta-Ontology for Business Integration. In: Proc. of the Workshop on Knowledge Transformation for the Semantic Web at the 15th European Conference on Artificial Intelligence (KTSW 2002), pp. 77\u201384 (2002)"},{"key":"25_CR19","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Distributed Reasoning in SHIQ Ontology Space. Technical Report T05-02-03, ITC-IRST (2005)"},{"issue":"4","key":"25_CR20","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1023\/A:1019967901393","volume":"11","author":"L. Serafini","year":"2002","unstructured":"Serafini, L., Giunchiglia, F.: ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information\u00a011(4), 471\u2013518 (2002)","journal-title":"Journal of Logic, Language and Information"},{"key":"25_CR21","unstructured":"Serafini, L., Tamilin, A.: Local Tableaux for Reasoning in Distributed Description Logics. In: Proc. of the 2004 International Workshop on Description Logics (DL 2004), CEUR-WS (2004)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431053_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:56Z","timestamp":1605643076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431053_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261247","9783540315476"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11431053_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}