{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:30:29Z","timestamp":1725514229805},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682332"},{"type":"electronic","value":"9783540682349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68234-9_19","type":"book-chapter","created":{"date-parts":[[2008,5,23]],"date-time":"2008-05-23T13:43:26Z","timestamp":1211550206000},"page":"230-244","source":"Crossref","is-referenced-by-count":13,"title":["Module Extraction and Incremental Classification: A Pragmatic Approach for $\\ensuremath{\\mathcal{EL}^+}$ Ontologies"],"prefix":"10.1007","author":[{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Proc. of IJCAI 2005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   envelope. In: Proc. of IJCAI 2005, Morgan Kaufmann, San Francisco (2005)"},{"key":"19_CR2","volume-title":"Proc. of IJCAR 2006","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: Proc. of IJCAR 2006, Springer, Heidelberg (2006)"},{"key":"19_CR3","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in \n                    \n                      \n                    \n                    $\\ensuremath{\\mathcal{EL}^+}$\n                  . In: Prof. of DL (2006), J. of Logic, Language and Information (to appear)"},{"issue":"3","key":"19_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. of Logic Programming\u00a01(3), 267\u2013284 (1984)","journal-title":"J. of Logic Programming"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","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.) ISWC 2007. LNCS, vol.\u00a04825, Springer, Heidelberg (2007)"},{"key":"19_CR6","volume-title":"Proc. of 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: Proc. of WWW 2007, ACM Press, New York (2007)"},{"key":"19_CR7","unstructured":"Haarslev, V., M\u00f6ller, R.: Incremental query answering for implementing document retrieval services. In: Proc. of DL 2003 (2003)"},{"key":"19_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_7","volume-title":"Automated Deduction \u2013 CADE-21","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                  . In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, Springer, Heidelberg (2007)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Noy, N., Musen, M.: The PROMPT suite: Interactive tools for ontology mapping and merging. International Journal of Human-Computer Studies (2003)","DOI":"10.1016\/j.ijhcs.2003.08.002"},{"key":"19_CR10","unstructured":"Parsia, B., Halaschek-Wiener, C., Sirin, E.: Towards incremental reasoning through updates in OWL-DL. In: Proc. of Reasoning on the Web Workshop (2006)"},{"key":"19_CR11","volume-title":"Proc. of WWW 2006","author":"J. Seidenberg","year":"2006","unstructured":"Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: Proc. of WWW 2006, ACM Press, New York (2006)"},{"key":"19_CR12","unstructured":"Suntisrivaraporn, B.: Module extraction and incremental classification: A pragmatic approach for \n                    \n                      \n                    \n                    $\\mathcal{EL}^+$\n                   ontologies. LTCS-Report. TU Dresden, Germany (2007), see \n                    \n                      http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"19_CR13","unstructured":"The systematized nomenclature of medicine, clinical terms (SNOMED CT). The International Health Terminology Standards Development Organisation (2007), \n                    \n                      http:\/\/www.ihtsdo.org\/our-standards\/"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68234-9_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:42:42Z","timestamp":1620016962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68234-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682332","9783540682349"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68234-9_19","relation":{},"subject":[]}}