{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:31Z","timestamp":1725538171345},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042218"},{"type":"electronic","value":"9783642042225"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04222-5_13","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T12:42:11Z","timestamp":1253104931000},"page":"214-229","source":"Crossref","is-referenced-by-count":2,"title":["Putting ABox Updates into Action"],"prefix":"10.1007","author":[{"given":"Conrad","family":"Drescher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongkai","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Baader","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Guhlemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Petersohn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Steinke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming (2005)","DOI":"10.1017\/S1471068405002358"},{"key":"13_CR3","volume-title":"Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI\u00a02005)","author":"F. Baader","year":"2005","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating Description Logics and Action Formalisms: First Results. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI\u00a02005). AAAI Press, Menlo Park (2005)"},{"key":"13_CR4","volume-title":"Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)","author":"H. Liu","year":"2006","unstructured":"Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating Description Logic ABoxes. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). AAAI Press, Menlo Park (2006)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"13_CR5","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, Cambridge (2003)"},{"key":"13_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-74565-5_8","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"C. Drescher","year":"2007","unstructured":"Drescher, C., Thielscher, M.: Integrating Action Calculi and Description Logics. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 68\u201383. Springer, Heidelberg (2007)"},{"key":"13_CR7","unstructured":"Drescher, C., Liu, H., et al.: Putting abox updates into action. LTCS-Report 09-01, Dresden University of Technology, Germany (2009), http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Areces, C., de Rijke, M.: From Description Logics to Hybrid Logics, and Back. In: Advances in Modal Logic (2001)","DOI":"10.1142\/9789812776471_0002"},{"key":"13_CR9","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH-Aachen, Germany (2001)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-48168-0_22","volume-title":"Computer Science Logic","author":"C. Areces","year":"1999","unstructured":"Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 307\u2013321. Springer, Heidelberg (1999)"},{"key":"13_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-29151-2","volume-title":"Similarity Search: The Metric Space Approach","author":"P. Zezula","year":"2006","unstructured":"Zezula, P., Batko, M., Dohnal, V., Amato, G.: Similarity Search: The Metric Space Approach. Springer, Heidelberg (2006)"},{"key":"13_CR12","volume-title":"IJCAI 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","author":"E. Amir","year":"2003","unstructured":"Amir, E., Russell, S.J.: Logical Filtering. In: IJCAI 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, San Francisco (2003)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over Description Logic Axioms. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 (2008)","DOI":"10.25368\/2022.164"},{"key":"13_CR14","unstructured":"Bong, Y.: Description Logic ABox Updates Revisited. Master thesis, TU Dresden, Germany (2007)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics (2007)","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence (1996)","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"13_CR17","unstructured":"McCune, W.: OTTER 3.3 Manual. Computing Research Repository (2003)"},{"key":"13_CR18","unstructured":"Green, C.: Theorem Proving by Resolution as a Basis for Question-answering Systems. Machine Intelligence (1969)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. Een","year":"2004","unstructured":"Een, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the ACM (1960)","DOI":"10.1145\/321033.321034"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem-proving. Communications of the ACM (1962)","DOI":"10.1145\/368273.368557"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73449-9_2","volume-title":"Term Rewriting and Applications","author":"R. Nieuwenhuis","year":"2007","unstructured":"Nieuwenhuis, R., Oliveras, A., Rodr\u00edguez-Carbonell, E., Rubio, A.: Challenges in Satisfiability Modulo Theories. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 2\u201318. Springer, Heidelberg (2007)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, L., Madigan, C.F., Moskewicz, M.H., Malik, S.: Efficient Conflict Driven Learning in a Boolean Satisfiability Solver. In: International Conference on Computer-Aided Design, ICCAD 2001 (2001)","DOI":"10.1145\/774572.774637"},{"key":"13_CR25","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, (IJCAI 2003)","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003). Morgan Kaufmann, San Francisco (2003)"},{"key":"13_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-71070-7_19","volume-title":"Automated Reasoning","author":"F. Baader","year":"2008","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-Based Axiom Pinpointing. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 226\u2013241. Springer, Heidelberg (2008)"},{"key":"13_CR27","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"2003","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs (2003)"},{"key":"13_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-75560-9_3","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R.J. Waldinger","year":"2007","unstructured":"Waldinger, R.J.: Whatever happened to deductive question answering? In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 15\u201316. Springer, Heidelberg (2007)"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/978-3-540-76298-0_32","volume-title":"The Semantic Web","author":"R.A. Schmidt","year":"2007","unstructured":"Schmidt, R.A., Tishkovsky, D.: Using tableau to decide expressive description logics with role negation. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 438\u2013451. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04222-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T16:18:32Z","timestamp":1685117912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04222-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042218","9783642042225"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04222-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}