{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:20:56Z","timestamp":1725700856256},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326882"},{"type":"electronic","value":"9783642326899"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32689-9_22","type":"book-chapter","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T08:25:29Z","timestamp":1345623929000},"page":"264-279","source":"Crossref","is-referenced-by-count":2,"title":["PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners"],"prefix":"10.1007","author":[{"given":"Gen","family":"Zou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reuben","family":"Peter-Paul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Boley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Riazanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-642-22546-8_16","volume-title":"RuleML Europe","author":"H. Boley","year":"2011","unstructured":"Boley, H.: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. In: Bassiliades, N., et al. (eds.) RuleML 2011 - Europe. LNCS, vol.\u00a06826, pp. 194\u2013211. Springer, Heidelberg (2011)"},{"issue":"2","key":"22_CR2","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), http:\/\/ojs.academypublisher.com\/index.php\/jetwi\/article\/view\/0204343353","journal-title":"Journal of Emerging Technologies in Web Intelligence"},{"issue":"11","key":"22_CR3","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"},{"issue":"2-3","key":"22_CR4","first-page":"91","volume":"15","author":"A. Riazanov","year":"2002","unstructured":"Riazanov, A., Voronkov, A.: The Design and Implementation of Vampire. AI Communications\u00a015(2-3), 91\u2013110 (2002)","journal-title":"AI Communications"},{"doi-asserted-by":"crossref","unstructured":"Riazanov, A., Aragao, M.A.: Incremental Query Rewriting with Resolution. In: Canadian Semantic Web II (2010)","key":"22_CR5","DOI":"10.1007\/978-1-4419-7335-1_1"},{"key":"22_CR6","series-title":"LNCS","first-page":"280","volume-title":"RuleML 2012","author":"M.S. Al Manir","year":"2012","unstructured":"Al Manir, M.S., Riazanov, A., Boley, H., Baker, C.J.O.: PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol.\u00a07438, pp. 280\u2013288. Springer, Heidelberg (2012)"},{"key":"22_CR7","volume-title":"Compilers: Principles, Techniques, and Tools","year":"2007","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D. (eds.): Compilers: Principles, Techniques, and Tools, 2nd edn. Pearson\/Addison Wesley, Boston (2007)","edition":"2"},{"unstructured":"Zou, G., Peter-Paul, R.: PSOA2TPTP: Designing and Prototyping a Translator from PSOA RuleML to TPTP Format. Technical report, http:\/\/psoa2tptp.googlecode.com\/files\/PSOA2TPTP_Report_v1.0.pdf","key":"22_CR8"},{"unstructured":"Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0 (June 2010), W3C Recommendation, http:\/\/www.w3.org\/TR\/rif-dtb","key":"22_CR9"},{"unstructured":"Sutcliffe, G.: The TPTP Problem Library, http:\/\/www.cs.miami.edu\/~tptp\/TPTP\/TR\/TPTPTR.shtml","key":"22_CR10"},{"unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine, Irvine, California, USA (2000)","key":"22_CR11"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/2166896.2166923","volume-title":"Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS 2011","author":"A. Riazanov","year":"2012","unstructured":"Riazanov, A., Rose, G.W., Klein, A., Forster, A.J., Baker, C.J.O., Shaban-Nejad, A., Buckeridge, D.L.: Towards Clinical Intelligence with SADI Semantic Web Services: a Case Study with Hospital-Acquired Infections Data. In: Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS 2011, pp. 106\u2013113. ACM, New York (2012)"}],"container-title":["Lecture Notes in Computer Science","Rules on the Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32689-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:52:24Z","timestamp":1643233944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32689-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326882","9783642326899"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32689-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}