{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:05:51Z","timestamp":1743084351246,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030911669"},{"type":"electronic","value":"9783030911676"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91167-6_16","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T14:13:49Z","timestamp":1638454429000},"page":"234-249","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4421-7052","authenticated-orcid":false,"given":"Mark","family":"Thom","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8940-7469","authenticated-orcid":false,"given":"Harold","family":"Boley","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7570-3603","authenticated-orcid":false,"given":"Theodoros","family":"Mitsikas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,1]]},"reference":[{"key":"16_CR1","unstructured":"Quicklisp Common Lisp Library Manager. http:\/\/www.quicklisp.org\/"},{"key":"16_CR2","unstructured":"Steel Bank Common Lisp. http:\/\/www.sbcl.org\/"},{"key":"16_CR3","unstructured":"The cl-psoatransrun System: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. http:\/\/wiki.ruleml.org\/index.php\/The_cl-psoatransrun_System:_An_Efficiently_Executable_Specification_of_PSOA_RuleML_in_Common_Lisp"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-21768-0_5","volume-title":"Reasoning Web. Web Logic Rules","author":"H Boley","year":"2015","unstructured":"Boley, H.: PSOA RuleML: integrated object-relational data and rules. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 114\u2013150. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21768-0_5"},{"key":"16_CR5","unstructured":"Boley, H., Zou, G.: Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. CoRR abs\/1712.02869, v3 (2019). http:\/\/arxiv.org\/abs\/1712.02869"},{"key":"16_CR6","series-title":"Graduate Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science, 2nd edn. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-1-4612-2360-3","edition":"2"},{"key":"16_CR7","unstructured":"ISO\/IEC 13211\u20131: Prolog - Part 1: General core (1995)"},{"key":"16_CR8","doi-asserted-by":"publisher","unstructured":"Khomtchouk, B.B., Weitz, E., Karp, P.D., Wahlestedt, C.: How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications. Briefings Bioinform. 19(3), 537\u2013543 (2016). https:\/\/doi.org\/10.1093\/bib\/bbw130","DOI":"10.1093\/bib\/bbw130"},{"key":"16_CR9","unstructured":"Miller, F.P., Vandome, A.F., McBrewster, J.: Common Lisp: Lisp (Programming Language), Programming Language, American National Standards Institute, Specification (Technical Standard), Free and Open Source Software, Programming Paradigm. Alpha Press (2010)"},{"key":"16_CR10","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Waters, R.C.: A common lisp pretty printing system. Technical report, Massachusetts Inst of Tech Cambridge Artificial Intelligence Lab (1989)","DOI":"10.21236\/ADA208215"},{"key":"16_CR12","unstructured":"Zou, G.: Translators for interoperating and porting object-relational knowledge. Ph.D. thesis, University of New Brunswick. (2018)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-21542-6_12","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"G Zou","year":"2015","unstructured":"Zou, G., Boley, H.: PSOA2Prolog: object-relational rule interoperation and implementation by translation from PSOA RuleML to ISO prolog. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 176\u2013192. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21542-6_12"},{"key":"16_CR14","unstructured":"Zou, G., Boley, H., Wood, D., Lea, K.: Port clearance rules in PSOA RuleML: from controlled-English regulation to object-relational logic. In: Proceedings of the RuleML+RR 2017 Challenge, vol. 1875. CEUR, July 2017"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91167-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T14:29:41Z","timestamp":1638455381000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91167-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030911669","9783030911676"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91167-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"1 January 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/declarativeai2021.net\/ruleml-rr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5 reviews were done by sub-reviewers, who were invited by individual PC members.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}