{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T10:12:59Z","timestamp":1676974379314},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T00:00:00Z","timestamp":1309910400000},"content-version":"unspecified","delay-in-days":5,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2011,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as<jats:italic>hybrid knowledge bases<\/jats:italic>, where both DL axioms and rules can be used to represent knowledge. The need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way DLs and rules are usually updated, has turned out to be an extremely difficult task. In Slota and Leite (2010b Towards Closed World Reasoning in Dynamic Open Worlds.<jats:italic>Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue<\/jats:italic><jats:italic>10<\/jats:italic>(4\u20136) (July), 547\u2013564.), a first step towards addressing this problem was taken, and an update operator for hybrid knowledge bases was proposed. Despite its significance\u2014not only for being the first update operator for hybrid knowledge bases in the literature, but also because it has some applications\u2014this operator was defined for a restricted class of problems where only the ABox was allowed to change, which considerably diminished its applicability. Many applications that use hybrid knowledge bases in dynamic scenarios require both DL axioms and rules to be updated. In this paper, motivated by real world applications, we introduce an update operator for a large class of hybrid knowledge bases where both the DL component as well as the rule component are allowed to dynamically change. We introduce splitting sequences and splitting theorem for hybrid knowledge bases, use them to define a modular update semantics, investigate its basic properties, and illustrate its use on a realistic example about cargo imports.<\/jats:p>","DOI":"10.1017\/s1471068411000317","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T09:15:37Z","timestamp":1309943737000},"page":"801-819","source":"Crossref","is-referenced-by-count":7,"title":["Splitting and updating hybrid knowledge bases"],"prefix":"10.1017","volume":"11","author":[{"given":"MARTIN","family":"SLOTA","sequence":"first","affiliation":[]},{"given":"JO\u00c3O","family":"LEITE","sequence":"additional","affiliation":[]},{"given":"TERRANCE","family":"SWIFT","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,7,6]]},"reference":[{"key":"S1471068411000317_ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149115"},{"key":"S1471068411000317_ref4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader","year":"2003"},{"key":"S1471068411000317_ref13","first-page":"1070","volume-title":"Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988)","author":"Gelfond","year":"1988"},{"key":"S1471068411000317_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001819"},{"key":"S1471068411000317_ref34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663109"},{"key":"S1471068411000317_ref6","first-page":"112","volume-title":"International Semantic Web Conference (1)","author":"Calvanese","year":"2010"},{"key":"S1471068411000317_ref24","first-page":"477","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)","author":"Motik","year":"2007"},{"key":"S1471068411000317_ref32","volume-title":"Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010)","author":"Wang","year":"2010"},{"key":"S1471068411000317_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92673-3_5"},{"key":"S1471068411000317_ref10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","article-title":"A classification theory of semantics of normal logic programs: II. Weak properties.","volume":"22","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"S1471068411000317_ref21","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383783"},{"key":"S1471068411000317_ref7","first-page":"475","volume-title":"Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988)","author":"Dalal","year":"1988"},{"key":"S1471068411000317_ref16","first-page":"387","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)","author":"Katsuno","year":"1991"},{"key":"S1471068411000317_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"S1471068411000317_ref14","volume-title":"Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference","author":"Giacomo","year":"2006"},{"key":"S1471068411000317_ref22","first-page":"23","volume-title":"Proceedings of the 11th International Conference on Logic Programming (ICLP 1994)","author":"Lifschitz","year":"1994"},{"key":"S1471068411000317_ref29","first-page":"957","volume-title":"Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)","author":"Slota","year":"2010"},{"key":"S1471068411000317_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_8"},{"key":"S1471068411000317_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-0492-y"},{"key":"S1471068411000317_ref30","first-page":"547","article-title":"Towards Closed World Reasoning in Dynamic Open Worlds","volume":"10","author":"Slota","year":"2010","journal-title":"Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue"},{"key":"S1471068411000317_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.01.007"},{"key":"S1471068411000317_ref18","unstructured":"Leite J. A. 2003. Evolving Knowledge Bases. Frontiers of Artificial Intelligence and Applications, xviii + 307 p. Hardcover, vol. 81. IOS."},{"key":"S1471068411000317_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-007-9044-3"},{"key":"S1471068411000317_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001716"},{"key":"S1471068411000317_ref26","first-page":"891","volume-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena (IJCAI 2009)","author":"Qi","year":"2009"},{"key":"S1471068411000317_ref11","first-page":"721","article-title":"On properties of update sequences based on causal rejection.","volume":"2","author":"Eiter","year":"2002","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"S1471068411000317_ref12","first-page":"620","article-title":"The well-founded semantics for general logic programs.","volume":"38","author":"Gelder","year":"1991","journal-title":"Journal of the ACM"},{"key":"S1471068411000317_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02906-6_38"},{"key":"S1471068411000317_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"S1471068411000317_ref33","first-page":"89","volume-title":"Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988)","author":"Winslett","year":"1988"},{"key":"S1471068411000317_ref20","unstructured":"Lifschitz V. 1991. Nonmonotonic databases and epistemic queries. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI91). 381\u2013386."},{"key":"S1471068411000317_ref19","first-page":"224","volume-title":"Proceedings of the 3rd International Workshop on Logic Programming and Knowledge Representation (LPKR '97)","author":"Leite","year":"1997"},{"key":"S1471068411000317_ref5","first-page":"385","volume-title":"Proceedings of the 22nd AAAI Conference on Artificial Intelligence","author":"Brewka","year":"2007"},{"key":"S1471068411000317_ref23","first-page":"46","volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06)","author":"Liu","year":"2006"},{"key":"S1471068411000317_ref9","first-page":"411","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"Delgrande","year":"2008"},{"key":"S1471068411000317_ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406003000"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,21]],"date-time":"2020-06-21T05:01:37Z","timestamp":1592715697000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000317\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":36,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["S1471068411000317"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000317","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}