Skip to main content

Rule-Based Multi-dialect Infrastructure for Conceptual Problem Solving over Heterogeneous Distributed Information Resources

  • Conference paper

Part of the Advances in Intelligent Systems and Computing book series (AISC,volume 241)


An approach for applying a combination of the semantically different rule-based languages for interoperable conceptual programming over various rule-based systems (RS) and relying on the logic program transformation technique recommended by the W3C Rule Interchange Format (RIF) is presented. Such approach is coherently combined with the heterogeneous data base integration applying semantic rule mediation. The basic functions of the infrastructure implementing the multi-dialect conceptual specifications by the interoperable RS and mediator programs are defined. The references to the detailed description of the infrastructure application for solving complex combinatorial problem are given. The research results show the usability of the approach and of the infrastructure for declarative, resource independent and re-usable data analysis in various application domains.


  • conceptual specification
  • RIF
  • logic rule languages
  • database integration
  • mediators
  • BLD
  • multi-dialect infrastructure
  • rule delegation

This research has been done under the support of the RFBR (project 11-07-00402-) and the Program for Basic Research of the Presidium of RAS.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-01863-8_7
  • Chapter length: 8 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   189.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-01863-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   249.99
Price excludes VAT (USA)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Challenges and Opportunities with Big Data. A community white paper developed by leading researchers across the United States (2012),

  2. Kalinichenko, L.A., Stupnikov, S.A., Martynov, D.O.: SYNTHESIS: A language for canonical information modeling and mediator definition for problem solving in heterogeneous information resource environments. M.: IPIRAN, 171 p (2007)

    Google Scholar 

  3. Kalinichenko, L.A., Briukhov, D.O., Martynov, D.O., Skvortsov, N.A., Stupnikov, S.A.: Mediation Framework for Enterprise Information System Infrastructures. In: Proc. of the 9th International Conference on Enterprise Information Systems, ICEIS 2007, Funchal. Databases and Information Systems Integration, pp. 246–251 (2007)

    Google Scholar 

  4. Boley, H., Kifer, M. (eds.): RIF Overview. W3C Working Group Note, 2nd edn. (February 5, 2013)

    Google Scholar 

  5. Boley, H., Kifer, M.(eds.): RIF Basic Logic Dialect. W3C Recommendation, 2nd edn. (February 5, 2013)

    Google Scholar 

  6. Heymans, S., Kifer, M.(eds.): RIF Core Answer Set Programming Dialect (2009),

  7. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic 7(3), 499–562 (2006)

    MathSciNet  CrossRef  Google Scholar 

  8. Abiteboul, S., Bienvenu, M., Galland, A., et al.: A rule-based language for Web data management. In: Proceedings 30th ACM Symposium on Principles of Database Systems, pp. 283–292. ACM Press (2011)

    Google Scholar 

  9. Sharpe, W., Alexander, G.J., Bailey, J.W.: Investments. Prentice Hall (1998)

    Google Scholar 

  10. Bock, C., et al. (eds.): OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation, 2nd edn. (December 11, 2012)

    Google Scholar 

  11. Grumbach, S., Wang, F.: Netlog, a rule-based language for distributed programming. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 88–103. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  12. Loo, B.T., et al.: Declarative networking: language, execution and optimization. In: ACM SIGMOD Conference Proceedings, pp. 97–108 (2006)

    Google Scholar 

  13. Cosentino, V., Del Fabro, M.D., El Ghali, A.: A model driven approach for bridging ILOG Rule Language and RIF. In: Proceedings of the 6th International Symposium on Rules, RuleML 2012., vol. 874, pp. 96–102 (2012)

    Google Scholar 

  14. Gonzalez-Moriyon, G.: Final steel industry public demonstrators. EU-IST Integrated Project 2009-231875 ONTORULE D5.5 Report (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Leonid Kalinichenko .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Kalinichenko, L., Stupnikov, S., Vovchenko, A., Kovalev, D. (2014). Rule-Based Multi-dialect Infrastructure for Conceptual Problem Solving over Heterogeneous Distributed Information Resources. In: , et al. New Trends in Databases and Information Systems. Advances in Intelligent Systems and Computing, vol 241. Springer, Cham.

Download citation

  • DOI:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-01862-1

  • Online ISBN: 978-3-319-01863-8

  • eBook Packages: EngineeringEngineering (R0)