{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:24Z","timestamp":1725493524525},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762973"},{"type":"electronic","value":"9783540762980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76298-0_14","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T14:13:59Z","timestamp":1193408039000},"page":"183-196","source":"Crossref","is-referenced-by-count":19,"title":["History Matters: Incremental Ontology Reasoning Using Modules"],"prefix":"10.1007","author":[{"given":"Bernardo","family":"Cuenca Grau","sequence":"first","affiliation":[]},{"given":"Christian","family":"Halaschek-Wiener","sequence":"additional","affiliation":[]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/16894.16861","volume-title":"Proc. of SIGMOD 1986","author":"J.A. Blakeley","year":"1986","unstructured":"Blakeley, J.A., Larson, P.-A., Tompa, F.W.: Efficiently updating materialized views. In: Proc. of SIGMOD 1986. ACM SIGMOD International Conference on Management of Data, pp. 61\u201371. ACM Press, New York (1986)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. of WWW2007 (2007)","DOI":"10.1145\/1242572.1242669"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J.d. Kleer","year":"1986","unstructured":"Kleer, J.d.: An assumption-based TMS. Artif. Intell.\u00a028(2), 127\u2013162 (1986)","journal-title":"Artif. Intell."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Dong, G., Su, J., Topor, R.W.: Nonrecursive incremental evaluation of datalog queries. Annals of Mathematics and Artificial Intelligence\u00a014(2-4) (1995)","DOI":"10.1007\/BF01530820"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Dong, G., Topor, R.W.: Incremental evaluation of datalog queries. In: Proc. of the 4th Int. Conference on Database Theory (1992)","DOI":"10.1007\/3-540-56039-4_48"},{"key":"14_CR6","unstructured":"Doyle, J.: A truth maintenance system. Readings in nonmonotonic reasoning\u00a0, 259\u2013279 (1987)"},{"key":"14_CR7","unstructured":"Haarslev, V., M\u00f6ller, R.: Incremental query answering for implementing document retrieval services. In: Proc. of DL-2003, pp. 85\u201394 (2003)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Hendler, J.: Toward expressive syndication on the web. In: WWW\u00a02007. Proc. of the 16th Int. World Wide Web Conference (2007)","DOI":"10.1145\/1242572.1242671"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description logic reasoning with syntactic updates. In: Proc. of ODBase2006 (2006)","DOI":"10.21236\/ADA455672"},{"key":"14_CR10","first-page":"313","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I.: Implementation and optimisation techniques. In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 313\u2013355. Cambridge University Press, Cambridge (2003)"},{"key":"14_CR11","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of IJCAI\u00a02005, pp. 448\u2013453. Professional Book Center (2005)"},{"key":"14_CR12","unstructured":"Parsia, B., Halaschek-Wiener, C., Sirin, E.: Towards incremental reasoning through updates in OWL-DL. In: Reasoning on the Web - Workshop at WWW 2006 (2006)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: WWW, pp. 633\u2013640 (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"14_CR14","first-page":"355","volume-title":"Proc. of IJCAI, 2003","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI, 2003, pp. 355\u2013362. Morgan Kaufmann, San Francisco (2003)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/500080.500091","volume-title":"SIGMOD 1975","author":"M. Stonebraker","year":"1975","unstructured":"Stonebraker, M.: Implementation of integrity constraints and views by query modification. In: SIGMOD 1975. Proc. of the 1975 ACM SIGMOD international conference on Management of data, San Jose, California, pp. 65\u201378. ACM Press, New York (1975)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Terry, D.B., Goldberg, D., Nichols, D., Oki, B.M.: Continuous queries over append-only databases. In: Proc. of the Intl. Conf. on Management of Data (1992)","DOI":"10.1145\/130283.130333"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76298-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:46:07Z","timestamp":1619520367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76298-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762973","9783540762980"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76298-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}