Abstract
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.
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Challenges and Opportunities with Big Data. A community white paper developed by leading researchers across the United States (2012), http://cra.org/ccc/docs/init/bigdatawhitepaper.pdf
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)
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)
Boley, H., Kifer, M. (eds.): RIF Overview. W3C Working Group Note, 2nd edn. (February 5, 2013)
Boley, H., Kifer, M.(eds.): RIF Basic Logic Dialect. W3C Recommendation, 2nd edn. (February 5, 2013)
Heymans, S., Kifer, M.(eds.): RIF Core Answer Set Programming Dialect (2009), http://ruleml.org/rif/RIF-CASPD.html
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)
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)
Sharpe, W., Alexander, G.J., Bailey, J.W.: Investments. Prentice Hall (1998)
Bock, C., et al. (eds.): OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation, 2nd edn. (December 11, 2012)
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)
Loo, B.T., et al.: Declarative networking: language, execution and optimization. In: ACM SIGMOD Conference Proceedings, pp. 97–108 (2006)
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. CEUR-WS.org, vol. 874, pp. 96–102 (2012)
Gonzalez-Moriyon, G.: Final steel industry public demonstrators. EU-IST Integrated Project 2009-231875 ONTORULE D5.5 Report (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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: Catania, B., et al. New Trends in Databases and Information Systems. Advances in Intelligent Systems and Computing, vol 241. Springer, Cham. https://doi.org/10.1007/978-3-319-01863-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-01863-8_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01862-1
Online ISBN: 978-3-319-01863-8
eBook Packages: EngineeringEngineering (R0)