{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T03:10:05Z","timestamp":1746414605655,"version":"3.40.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119144"},{"type":"electronic","value":"9783319119151"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-11915-1_4","type":"book-chapter","created":{"date-parts":[[2014,10,9]],"date-time":"2014-10-09T04:59:39Z","timestamp":1412830779000},"page":"49-64","source":"Crossref","is-referenced-by-count":2,"title":["Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Mart\u00edn-Recuerda","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s00453-012-9729-0","volume":"69","author":"X. Allamigeon","year":"2014","unstructured":"Allamigeon, X.: On the complexity of strongly connected components in directed hypergraphs. Algorithmica\u00a069(2), 335\u2013369 (2014)","journal-title":"Algorithmica"},{"key":"4_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: In Proc. of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)"},{"key":"4_CR3","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-25073-6_9","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"C. Vescovo Del","year":"2011","unstructured":"Del Vescovo, C., Gessler, D.D.G., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Winget, A.: Decomposition and modular structure of bioportal ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 130\u2013145. Springer, Heidelberg (2011)"},{"key":"4_CR5","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"},{"issue":"2-3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0166-218X(93)90045-P","volume":"42","author":"G. Gallo","year":"1993","unstructured":"Gallo, G., Longo, G., Pallottino, S., Nguyen, S.: Directed hypergraphs and applications. Discrete Applied Mathematics\u00a042(2-3), 177\u2013201 (1993)","journal-title":"Discrete Applied Mathematics"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. JAIR\u00a031, 273\u2013318 (2008)","journal-title":"JAIR"},{"key":"4_CR8","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. of KR 2006, pp. 57\u201367. AAAI Press (2006)"},{"key":"4_CR9","unstructured":"Mart\u00edn-Recuerda, F., Walther, D.: Towards fast atomic decomposition using axiom dependency hypergraphs. In: Proc. of WoMO 2013, pp. 61\u201372. CEUR-WS.org (2013)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1007\/978-3-642-45221-5_42","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R. Nortje","year":"2013","unstructured":"Nortje, R., Britz, K., Meyer, T.: Reachability modules for the description logic SRIQ. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol.\u00a08312, pp. 636\u2013652. Springer, Heidelberg (2013)"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0898-1221(81)90008-0","volume":"7","author":"M. Sharir","year":"1981","unstructured":"Sharir, M.: A strong connectivity algorithm and its applications to data flow analysis. Computers & Mathematics with Applications\u00a07(1), 67\u201372 (1981)","journal-title":"Computers & Mathematics with Applications"},{"key":"4_CR12","unstructured":"Suntisrivaraporn, B.: Polynomial time reasoning support for design and maintenance of large-scale biomedical ontologies. PhD thesis, TU Dresden, Germany (2009)"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Computation\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM J. Computation"},{"key":"4_CR14","unstructured":"Tsarkov, D.: Improved algorithms for module extraction and atomic decomposition. In: Proc. of DL 2012, vol.\u00a0846. CEUR-WS.org (2012)"},{"key":"4_CR15","unstructured":"Tsarkov, D., Vescovo, C.D., Palmisano, I.: Instrumenting atomic decomposition: Software APIs for OWL. In: Proc. of OWLED 2013, vol.\u00a01080. CEUR-WS.org (2013)"},{"key":"4_CR16","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-41360-5_13","volume-title":"Knowledge Engineering and the Semantic Web","author":"V.K.C. Turlapati","year":"2013","unstructured":"Turlapati, V.K.C., Puligundla, S.K.: Efficient module extraction for large ontologies. In: Klinov, P., Mouromtsev, D. (eds.) KESW 2013. CCIS, vol.\u00a0394, pp. 162\u2013176. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11915-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T02:37:08Z","timestamp":1746412628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11915-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119144","9783319119151"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11915-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}