{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:52:35Z","timestamp":1756000355084,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41335-3_6","type":"book-chapter","created":{"date-parts":[[2013,10,15]],"date-time":"2013-10-15T16:14:14Z","timestamp":1381853654000},"page":"84-100","source":"Crossref","is-referenced-by-count":12,"title":["Empirical Study of Logic-Based Modules: Cheap Is Cheerful"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Del Vescovo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Klinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Tsarkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","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 (2003)"},{"key":"6_CR2","unstructured":"Croarkin, C., Tobias, P. (eds.): NIST\/SEMATECH e-Handbook of Statistical Methods. NIST\/SEMATECH (2012), http:\/\/www.itl.nist.gov\/div898\/handbook"},{"issue":"1","key":"6_CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. of Artif. Intell. Research\u00a031(1), 273\u2013318 (2008)","journal-title":"J. of Artif. Intell. Research"},{"key":"6_CR4","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and Web ontologies. In: Proc. of KR 2006. AAAI Press\/The MIT Press (2006)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Del Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Tsarkov, D.: Empirical study of logic-based modules: Cheap is cheerful. Technical report (2013), https:\/\/sites.google.com\/site\/cheapischeerful\/","DOI":"10.1007\/978-3-642-41335-3_6"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: an empirical study. In: Proc. of DL 2010, vol.\u00a0573. ceur-ws.org (2010)","DOI":"10.3233\/978-1-60750-544-0-11"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: Atomic decomposition. In: Proc. of IJCAI 2011, pp. 2232\u20132237 (2011)","DOI":"10.3233\/978-1-60750-799-4-25"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: Atomic decomposition and module count. In: Proc. of WoMO 2011. FAIA, vol.\u00a0230, pp. 25\u201339 (2011)","DOI":"10.3233\/978-1-60750-799-4-25"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1305\/ndjfl\/1093635079","volume":"30","author":"J. Garson","year":"1989","unstructured":"Garson, J.: Modularity and relevant logic. Notre Dame J. of Formal Logic\u00a030(2), 207\u2013223 (1989)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"6_CR10","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? A case for conservative extensions in Description Logics. In: Proc. of KR 2006, pp. 187\u2013197. AAAI Press\/The MIT Press (2006)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M. Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"6_CR12","unstructured":"Horridge, M., Parsia, B., Sattler, U.: The state of bio-medical ontologies. In: Proc. of ISMB 2011 (2011)"},{"key":"6_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Proc. of KR 2006, pp. 57\u201367 (2006)"},{"key":"6_CR14","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Proc. of ECAI 2008, pp. 55\u201359 (2008)"},{"key":"6_CR15","unstructured":"Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., Zakharyaschev, M.: Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Proc. of IJCAI 2009, pp. 836\u2013841 (2009)"},{"issue":"15","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1016\/j.artint.2010.06.003","volume":"174","author":"R. Kontchakov","year":"2010","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence\u00a0174(15), 1093\u20131141 (2010)","journal-title":"Artificial Intelligence"},{"key":"6_CR17","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive Description Logics. In: Proc. of IJCAI 2007, pp. 453\u2013458 (2007)"},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jsc.2008.10.007","volume":"45","author":"C. Lutz","year":"2010","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic $\\mathcal{EL}$ . J. of Symbolic Computation\u00a045(2), 194\u2013228 (2010)","journal-title":"J. of Symbolic Computation"},{"key":"6_CR19","unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should I extract? In: Proc. of DL 2009, vol.\u00a0477. ceur-ws.org (2009)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Smithson, M.: Confidence Intervals. Quantitative Applications in the Social Sciences. Sage Publications (2003)","DOI":"10.4135\/9781412983761"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41335-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:12:20Z","timestamp":1746033140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41335-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642387081","9783642387098"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41335-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}