Abstract
The open-source cl-psoatransrun system, a realization for reasoning in PSOA RuleML is discussed. cl-psoatransrun, written in Common Lisp follows the paradigm of functional programming for the central transformation steps, necessary for translating the object- and graph-oriented PSOA syntax to relational Prolog clauses. We describe the parsing of the PSOA RuleML presentation syntax, and we provide a detailed analysis of the transformation steps. cl-psoatransrun can serve as an alternative of the reference implementation PSOATransRun, providing both fast translation times and feature parity. Additionally, the flexibility of the transformation functions provides an ideal environment for developing the PSOA RuleML specification.
In Memoriam Harold Boley, who passed away before the composition of this manuscript. All faults and inaccuracies belong to his co-authors.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Quicklisp Common Lisp Library Manager. http://www.quicklisp.org/
Steel Bank Common Lisp. http://www.sbcl.org/
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
Boley, H.: PSOA RuleML: integrated object-relational data and rules. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 114–150. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21768-0_5
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
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
ISO/IEC 13211–1: Prolog - Part 1: General core (1995)
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–543 (2016). https://doi.org/10.1093/bib/bbw130
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)
Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)
Waters, R.C.: A common lisp pretty printing system. Technical report, Massachusetts Inst of Tech Cambridge Artificial Intelligence Lab (1989)
Zou, G.: Translators for interoperating and porting object-relational knowledge. Ph.D. thesis, University of New Brunswick. (2018)
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–192. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21542-6_12
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Thom, M., Boley, H., Mitsikas, T. (2021). cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. In: Moschoyiannis, S., Peñaloza, R., Vanthienen, J., Soylu, A., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2021. Lecture Notes in Computer Science(), vol 12851. Springer, Cham. https://doi.org/10.1007/978-3-030-91167-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-91167-6_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-91166-9
Online ISBN: 978-3-030-91167-6
eBook Packages: Computer ScienceComputer Science (R0)