Skip to main content
SpringerLink
Log in
Book cover

International Joint Conference on Rules and Reasoning

RuleML+RR 2021: Rules and Reasoning pp 234–249Cite as

cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp

  • Conference paper
  • First Online:

  • 418 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12851))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Quicklisp Common Lisp Library Manager. http://www.quicklisp.org/

  2. Steel Bank Common Lisp. http://www.sbcl.org/

  3. 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

  4. 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

    Chapter  Google Scholar 

  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

  6. 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

    Book  MATH  Google Scholar 

  7. ISO/IEC 13211–1: Prolog - Part 1: General core (1995)

    Google Scholar 

  8. 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

  9. 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)

    Google Scholar 

  10. Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997)

    Book  Google Scholar 

  11. Waters, R.C.: A common lisp pretty printing system. Technical report, Massachusetts Inst of Tech Cambridge Artificial Intelligence Lab (1989)

    Google Scholar 

  12. Zou, G.: Translators for interoperating and porting object-relational knowledge. Ph.D. thesis, University of New Brunswick. (2018)

    Google Scholar 

  13. 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

    Chapter  Google Scholar 

  14. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RuleML, Fredericton, Canada

    Mark Thom

  2. University of New Brunswick, Fredericton, Canada

    Harold Boley

  3. National Technical University of Athens, Athens, Greece

    Theodoros Mitsikas

Authors
  1. Mark Thom
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Harold Boley
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Theodoros Mitsikas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Surrey, Guildford, UK

    Sotiris Moschoyiannis

  2. University of Milano-Bicocca, Milano, Italy

    Rafael Peñaloza

  3. KU Leuven, Leuven, Belgium

    Jan Vanthienen

  4. OsloMet – Oslo Metropolitan University, Oslo, Norway

    Ahmet Soylu

  5. SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation