Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12173)


The paper presents BiMetaTrans(Prolog, RuleML), an invertible bidirectional metalogical translator across subsets of ISO Prolog and RuleML/XML 1.02 on the level of Negation-as-failure Horn logic with Equality. BiMetaTrans, itself written in Prolog, introduces a tighter integration between RuleML and Prolog, which enables the reuse of, e.g., RuleML Knowledge Bases (KBs) and query engines. A Prolog/’$V’ encoding is defined as the BiMetaTrans translation source-and-target counterpart to RuleML/XML. This metalogical encoding, along with the introduction of the split translation pattern, allows BiMetaTrans to build upon the abstraction of Definite Clause Grammars (DCGs), supporting invertible bi-translation. The BiMetaTrans DCG is explored and an invertibility proof is outlined. BiMetaTrans is exemplified for knowledge representation and querying applied to an Air Traffic Control KB.


  1. 1.
    Iamnitchi, A., Trunfio, P., Ledlie, J., Schintke, F.: Peer-to-peer computing. In: D’Ambra, P., Guarracino, M., Talia, D. (eds.) Euro-Par 2010. LNCS, vol. 6271, pp. 444–445. Springer, Heidelberg (2010).
  2. 2.
    Kravari, K., Bassiliades, N., Boley, H.: Cross-community interoperation between knowledge-based multi-agent systems: a study on EMERALD and Rule Responder. Expert Syst. Appl 39(10), 9571–9587 (2012)CrossRefGoogle Scholar
  3. 3.
    Sterling, L., Shapiro, E.Y.: The Art of Prolog: Advanced Programming Techniques. MIT Press, Cambridge (1994)zbMATHGoogle Scholar
  4. 4.
    Mitsikas, T., Stefaneas, P., Ouranos, I.: A rule-based approach for air traffic control in the vicinity of the airport. In: Lambropoulou, S., Theodorou, D., Stefaneas, P., Kauffman, L.H. (eds.) AlModTopCom 2015. SPMS, vol. 219, pp. 423–438. Springer, Cham (2017). Scholar
  5. 5.
    Mitsikas, T., Almpani, S., Stefaneas, P., Frangos, P., Ouranos, I.: Formalizing air traffic control regulations in PSOA RuleML. In: Proceedings of the Doctoral Consortium and Challenge@ RuleML+ RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning, vol. 2204, CEUR Workshop Proceedings (2018)Google Scholar
  6. 6.
    Deryck, M., et al.: Aligning, interoperating, and co-executing air traffic control rules across PSOA RuleML and IDP. In: Fodor, P., Montali, M., Calvanese, D., Roman, D. (eds.) RuleML+RR 2019. LNCS, vol. 11784, pp. 52–66. Springer, Cham (2019). Scholar
  7. 7.
    Boley, H., Zou, G.: Perspectival knowledge in PSOA RuleML: representation, model theory, and translation. CoRR abs/1712.02869, v3 (2019)Google Scholar
  8. 8.
    Boley, H.: The RuleML knowledge-interoperation hub. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 19–33. Springer, Cham (2016). Scholar
  9. 9.
    ISO: ISO/IEC 13211–1:1995: Information technology – programming languages – prolog – part 1: general core (1995)Google Scholar
  10. 10.
    Basin, D.A., Constable, R.L.: Metalogical frameworks. In: Proceedings of the Second Annual Workshop on Logical Frameworks, Edinburgh, UK, June 1991Google Scholar
  11. 11.
    Pereira, F., Warren, D.H.D.: Definite clause grammars for language analysis - a survey of the formalism and a comparison with augmented transition networks. Artif. Intell. 13, 231–278 (1980)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Boley, H.: RIF RuleML Rosetta Ring: round-tripping the Dlex subset of Datalog RuleML and RIF-Core. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 29–42. Springer, Heidelberg (2009). Scholar
  13. 13.
    Rendel, T., Ostermann, K.: Invertible syntax descriptions: unifying parsing and pretty printing. SIGPLAN Not. 45(11), 1–12 (2010)CrossRefGoogle Scholar
  14. 14.
    Duregård, J., Jansson, P.: Embedded parser generators. ACM SIGPLAN Not. 46(12), 107–117 (2011)CrossRefGoogle Scholar
  15. 15.
    Matsuda, K., Wang, M.: FliPpr: a prettier invertible printing system. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 101–120. Springer, Heidelberg (2013). Scholar
  16. 16.
    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. 7438, pp. 280–288. Springer, Heidelberg (2012). Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.RuleMLLethbridgeCanada
  2. 2.University of New BrunswickFrederictonCanada
  3. 3.National Technical University of AthensAthensGreece

Personalised recommendations