{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:41:15Z","timestamp":1761979275848,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452208"},{"type":"electronic","value":"9783642452215"}],"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-45221-5_42","type":"book-chapter","created":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T09:28:23Z","timestamp":1386235703000},"page":"636-652","source":"Crossref","is-referenced-by-count":4,"title":["Reachability Modules for the Description Logic $\\mathcal{SRIQ}$"],"prefix":"10.1007","author":[{"given":"Riku","family":"Nortje","sequence":"first","affiliation":[]},{"given":"Katarina","family":"Britz","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1002\/(SICI)1098-111X(200007)15:7<623::AID-INT3>3.0.CO;2-C","volume":"15","author":"G. Antoniou","year":"2000","unstructured":"Antoniou, G., Kehagias, A.: A note on the refinement of ontologies. International Journal of Intelligent Systems\u00a015, 623\u2013632 (2000)","journal-title":"International Journal of Intelligent Systems"},{"volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","key":"42_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, New York (2003)"},{"key":"42_CR3","unstructured":"Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y., Suntisrivaraporn, B.: Incremental Classification of Description Logic Ontologies. Tech. rep. (2012)"},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/1242572.1242669","volume-title":"Proceedings of the 16th International Conference on World Wide Web (WWW 2007)","author":"B. Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Williamson, C., Zurko, M. (eds.) Proceedings of the 16th International Conference on World Wide Web (WWW 2007), pp. 717\u2013726. ACM, New York (2007)"},{"key":"42_CR5","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. Journal of Artificial Intelligence Research (JAIR)\u00a031, 273\u2013318 (2008)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"42_CR6","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: Kutz, O., Schneider, T. (eds.) Proc. of WoMO 2011. Frontiers in AI and Appl., vol.\u00a0230, pp. 25\u201339. IOS Press (2011)","DOI":"10.3233\/978-1-60750-799-4-25"},{"key":"42_CR7","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? A case for conservative extensions in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 187\u2013197. AAAI Press (2006)"},{"key":"42_CR8","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":"42_CR9","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The irresistible $\\mathcal{SRIQ}$ . In: Proc. of OWL: Experiences and Directions (2005)"},{"key":"42_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-01907-4_3","volume-title":"Modular Ontologies","author":"B. Konev","year":"2009","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Formal properties of modularisation. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 25\u201366. Springer, Heidelberg (2009)"},{"key":"42_CR11","unstructured":"Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F.: Minimal module extraction from DL-Lite ontologies using qbf solvers. In: Boutilier, C. (ed.) IJCAI, pp. 836\u2013841 (2009)"},{"issue":"15","key":"42_CR12","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 Intellighence\u00a0174(15), 1093\u20131141 (2010)","journal-title":"Artificial Intellighence"},{"issue":"1-2-3","key":"42_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1051\/ita\/1998321-300011","volume":"32","author":"S. Nguyen","year":"1998","unstructured":"Nguyen, S., Pretolani, D., Markenzon, L.: On some path problems on oriented hypergraphs. Theoretical Informatics and Applications\u00a032(1-2-3), 1\u201320 (1998)","journal-title":"Theoretical Informatics and Applications"},{"key":"42_CR14","unstructured":"Nortj\u00e9, R.: Module extraction for inexpressive description logics. Master\u2019s thesis, University of South Africa (2011)"},{"key":"42_CR15","unstructured":"Nortj\u00e9, R., Britz, K., Meyer, T.: Bidirectional reachability-based modules. In: Proceedings of the 2011 International Workshop on Description Logics (DL 2011). CEUR Workshop Proceedings, CEUR-WS (2011), http:\/\/ceur-ws.org"},{"key":"42_CR16","series-title":"Ceur-ws","first-page":"40","volume-title":"Australasian Ontology Workshop 2009 (AOW 2012)","author":"R. Nortj\u00e9","year":"2012","unstructured":"Nortj\u00e9, R., Britz, K., Meyer, T.: A normal form for hypergraph-based module extraction for $\\mathcal{SROIQ}$ . In: Gerber, A., Taylor, K., Meyer, T., Orgun, M. (eds.) Australasian Ontology Workshop 2009 (AOW 2012). Ceur-ws, vol.\u00a0969, pp. 40\u201351. CEUR, Melbourne (2012), http:\/\/ceur-ws.org\/Vol-969\/proceedings.pdf"},{"key":"42_CR17","unstructured":"Nortj\u00e9, R., Britz, K., Meyer, T.: Module-theoretic properties of reachability modules for $\\mathcal{SRIQ}$ . In: Description Logic Workshop 2013 (DL 2013). CEUR-WS, CEUR, Ulm, Germany (2013)"},{"key":"42_CR18","unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should I extract? In: Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.) Description Logics. CEUR Workshop Proceedings, vol.\u00a0477, CEUR-WS.org (2009)"},{"key":"42_CR19","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. Ph.D. thesis, Technical University of Dresden (2009)"},{"key":"42_CR20","unstructured":"Thakur, M., Tripathi, R.: Complexity of Linear Connectivity Problems in Directed Hypergraphs. In: Linear Connectivity Conference, pp. 1\u201312 (2001)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45221-5_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T02:08:18Z","timestamp":1746065298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45221-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452208","9783642452215"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45221-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}