{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:14:16Z","timestamp":1742379256082},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_8","type":"book-chapter","created":{"date-parts":[[2009,5,16]],"date-time":"2009-05-16T09:07:13Z","timestamp":1242464833000},"page":"159-186","source":"Crossref","is-referenced-by-count":20,"title":["Extracting Modules from Ontologies: A Logic-Based Approach"],"prefix":"10.1007","author":[{"given":"Bernardo","family":"Cuenca Grau","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   envelope. In: Proc. IJCAI 2005, pp. 364\u2013370 (2005)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"8_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR3","volume-title":"Perspectives of Mathematical Logic","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. In: Perspectives of Mathematical Logic. Springer, Heidelberg (1997); Second printing (Universitext) 2001"},{"key":"8_CR4","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proc. IJCAI 2007, pp. 298\u2013304 (2007)"},{"key":"8_CR5","unstructured":"Cuenca Grau, B., Horrocks, I., Kutz, O., Sattler, U.: Will my Ontologies Fit Together? In: Proc. DL 2006 (2006)"},{"key":"8_CR6","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and Web Ontologies. In: Proc. KR 2006, pp. 198\u2013209 (2006)"},{"key":"8_CR7","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics. In: Proc. KR 2006, pp. 187\u2013197 (2006)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-76298-0_14","volume-title":"The Semantic Web","author":"B. Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y.: History matters: Incremental ontology reasoning using modules. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 183\u2013196. Springer, Heidelberg (2007)"},{"issue":"1","key":"8_CR9","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 \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   and RDF to OWL: The making of a web ontology language. J. of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"J. of Web Semantics"},{"key":"8_CR10","volume-title":"Proc. of the IJCAI","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the IJCAI. Morgan Kaufman, San Francisco (2005)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.websem.2005.10.001","volume":"4","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca Grau, B., Hendler, J.: SWOOP: A web editing browser. Elsevier\u2019s Journal Of Web Semantics\u00a04(2), 144\u2013153 (2006)","journal-title":"Elsevier\u2019s Journal Of Web Semantics"},{"key":"8_CR12","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI 2007, pp. 453\u2013459 (2007)"},{"key":"8_CR13","first-page":"282","volume-title":"The Description Logic Handbook","author":"R. M\u00f6ller","year":"2003","unstructured":"M\u00f6ller, R., Haarslev, V.: Description logic systems. In: The Description Logic Handbook, ch.\u00a08, pp. 282\u2013305. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR14","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesit\u00e4t Karlsruhe (TH), Karlsruhe, Germany (2006)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Noy, N.F., Musen, M.A.: The PROMPT suite: Interactive tools for ontology mapping and merging. Int.\u00a0Journal of Human-Computer Studies\u00a06(59) (2003)","DOI":"10.1016\/j.ijhcs.2003.08.002"},{"key":"8_CR16","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Web ontology language OWL Abstract Syntax and Semantics. W3C Recommendation (2004)"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell.\u00a048(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"8_CR18","unstructured":"Sirin, E., Parsia, B.: Pellet system description. In: Proc. DL 2004 (2004)"},{"key":"8_CR19","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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T04:30:21Z","timestamp":1552019421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01907-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019067","9783642019074"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01907-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}