{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:08Z","timestamp":1742913968820,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225451"},{"type":"electronic","value":"9783642225468"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_16","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T00:30:13Z","timestamp":1310603413000},"page":"194-211","source":"Crossref","is-referenced-by-count":13,"title":["A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules"],"prefix":"10.1007","author":[{"given":"Harold","family":"Boley","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","first-page":"52","volume-title":"Proceedings of the 1993 International Symposium on Logic Programming","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"A\u00eft-Kaci, H.: An Introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. In: Miller, D. (ed.) Proceedings of the 1993 International Symposium on Logic Programming, Vancouver, B.C., Canada, pp. 52\u201368. MIT Press, Cambridge (October 1993)"},{"issue":"11","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1593","DOI":"10.1109\/TKDE.2010.84","volume":"22","author":"H. Boley","year":"2010","unstructured":"Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering\u00a022(11), 1593\u20131608 (2010)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"16_CR3","unstructured":"Boley, H., Kifer, M.: RIF Basic Logic Dialect, W3C Recommendation (June 2010), \n                    \n                      http:\/\/www.w3.org\/TR\/rif-bld"},{"key":"16_CR4","unstructured":"Boley, H., Kifer, M.: RIF Framework for Logic Dialects, W3C Recommendation (June 2010), \n                    \n                      http:\/\/www.w3.org\/TR\/rif-fld"},{"issue":"2","key":"16_CR5","first-page":"343","volume":"4","author":"H. Boley","year":"2010","unstructured":"Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence\u00a04(2), 343\u2013353 (2010), \n                    \n                      http:\/\/ojs.academypublisher.com\/index.php\/jetwi\/article\/view\/0204343353","journal-title":"Journal of Emerging Technologies in Web Intelligence"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-16289-3_15","volume-title":"Semantic Web Rules","author":"H. Boley","year":"2010","unstructured":"Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 162\u2013178. Springer, Heidelberg (2010)"},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"16_CR8","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L., Lee, R.C.T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"16_CR9","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"2001","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (2001)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of ACM"},{"key":"16_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"16_CR12","unstructured":"Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0, W3C Recommendation (June 2010), \n                    \n                      http:\/\/www.w3.org\/TR\/rif-dtb"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume-title":"Journal on Data Semantics I","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. In: Spaccapietra, S., March, S.T., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 69\u201397. Springer, Heidelberg (2003)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1007\/978-3-540-39964-3_43","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Chung, S., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, pp. 671\u2013688. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T22:41:28Z","timestamp":1553899288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}