{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T07:28:09Z","timestamp":1649057289062},"reference-count":0,"publisher":"IOS Press","license":[{"start":{"date-parts":[[2021,10,14]],"date-time":"2021-10-14T00:00:00Z","timestamp":1634169600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,14]]},"abstract":"<jats:p>R-calculus is a belief revision operator satisfying AGM postulates, and belief revision in ontology engineering is ontology revision, which based logic is description logics. In Post three-valued description logic, a tableau proof system Tt will be given such that Tt is sound and complete for t-satisfiability, and nonmonotonic, that is, a theory \u0394 is t-satisfiable if and only if \u0394 is deducible in Tt. Based on the tableau proof system, an R-calculus Rt will be given such that a configuration \u0394|C(a) is reducible to C(a),\u0394 if and only if C(a) is t-satisfiable with \u0394, if and only if reduction \u0394|C(a) \u21d2 C(a),\u0394 is deducible in Rt.<\/jats:p>","DOI":"10.3233\/faia210209","type":"book-chapter","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T21:54:10Z","timestamp":1634766850000},"source":"Crossref","is-referenced-by-count":0,"title":["R-Calculus for Post Three-Valued Description Logic1"],"prefix":"10.3233","author":[{"given":"Cungen","family":"Cao","sequence":"first","affiliation":[{"name":"Key Laboratory of Intelligent Information Processing, Institute of Computing Technology Chinese Academy of Sciences, China"}]},{"given":"Lanxi","family":"Hu","sequence":"additional","affiliation":[{"name":"Key Laboratory of Intelligent Information Processing, Institute of Computing Technology Chinese Academy of Sciences, China"},{"name":"School of Computer Science and Technology University of Chinese Academy of Sciences, China"}]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[{"name":"Key Laboratory of Intelligent Information Processing, Institute of Computing Technology Chinese Academy of Sciences, China"},{"name":"School of Computer Science and Technology University of Chinese Academy of Sciences, China"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Fuzzy Systems and Data Mining VII"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA210209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T13:40:42Z","timestamp":1635169242000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA210209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,14]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia210209","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,14]]}}}