Abstract
The results presented in this paper contribute to the techniques for conceptual representation of data analysis algorithms as well as processes to specify data and behavior semantics in one paradigm. An investigation of a novel approach for applying a combination of semantically different platform independent rule-based languages (dialects) for interoperable conceptual specifications over various rule-based systems (RSs) relying on the rule-based program transformation technique recommended by the W3C Rule Interchange Format (RIF) is extended here. The approach is coupled also with the facilities for heterogeneous information resources mediation. This paper extends a previous research of the authors [1] in the direction of workflow modeling for definition of compositions of algorithmic modules in a process structure. A capability of the multi-dialect workflow support specifying the tasks in semantically different languages mostly suited to the task orientation is presented. A practical workflow use case, the interoperating tasks of which are specified in several rule-based languages (RIF-CASPD, RIF-BLD, RIF-PRD) is introduced. In addition, OWL 2 is used for the conceptual schema definition, RIF-PRD is used also for the workflow orchestration. The use case implementation infrastructure includes a production rule-based system (IBM ILOG), a logic rule-based system (DLV) and a mediation system.
This research has been done under the support of the RFBR (projects 13-07-00579, 14-07-00548) and the Program for Basic Research of the Presidium of RAS.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kalinichenko, L.A., Stupnikov, S.A., Vovchenko, A.E., Kovalev, D.Y.: Conceptual Declarative Problem Specification and Solving in Data Intensive Domains. Informatics and Applications 7(4), 112–139 (2013), http://synthesis.ipi.ac.ru/synthesis/publications/13ia-multidialect
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, p. 171. IPI RAN, Moscow (2007)
Boley, H., Kifer, M. (eds.): RIF Framework for Logic Dialects. W3C Recommendation, 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)
de Sante Marie, C., Hallmark, G., Paschke, A. (eds.): RIF Production Rule Dialect. W3C Recommendation, 2nd edn. (February 5, 2013)
Bock, C., et al. (eds.): OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation, 2nd edn. (December 11, 2012)
Calvanese, D., et al.: Ontology-based database access. In: Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, pp. 324–331 (2007)
Ramakrishnan, L., Plale, B.: A Multi-Dimensional Classification Model for Scientific Workfow Characteristics. In: Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science. ACM, New York (2010)
Markowitz, H.M.: Portfolio Selection: Efficient Diversification of Investments. Wiley (1991)
Sharpe, W.F.: Mutual Fund Performance. J. Business 39(S1), 119–138 (1966)
Bollen, J., Maoa, H., Zeng, X.: Twitter mood predicts the stock market. J. Comp. Sci. 2(1) (2011)
IBM WebSphere ILOG JRules Version 7.0. Online documentation, http://pic.dhe.ibm.com/infocenter/brjrules/v7r0/index.jsp
Wilson, T., Wiebe, J., Hoffmann, P.: Recognizing Contextual Polarity in Phrase-Level Sentiment Analysis. In: Proceedings of the Conference on Human Language Technology and Empirical Methods in Natural Language Processing, pp. 347–354. Association for Computational Linguistics, Stroudsburg (2005)
Kalinichenko, L.A., Stupnikov, S.A., Vovchenko, A.E., Kovalev, D.Y.: Multi-Dialect Workflows: A Use Case. Technical Report. IPI RAN, Moscow (2014), http://synthesis.ipi.ac.ru/synthesis/projects/RuleInt/Multidialect-Workflows-Use-Case.pdf
Yu, J., Buyya, R.: A taxonomy of scientific workflow systems for grid computing. ACM SIGMOD Records 34(3), 44–49 (2005)
Production Rule Representation (PRR), Version 1.0. OMG Document Number: formal/2009-12-01 (2009), http://www.omg.org/spec/PRR/1.0
Boukhebouze, M., Amghar, Y., Benharkat, A.-N., Maamar, Z.: A rule-based approach to model and verify flexible business processes. Int. J. Business Process Integration and Management 5(4), 287–307 (2011)
Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 1–23. Springer, Heidelberg (2009)
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)
Veiga, F.D.J.: Implementation of the RIF-PRD. Master thesis. Universidade Nova de Lisboa (2011)
Polleres, A., Boley, H., Kifer, M. (eds.): RIF Datatypes and Built-Ins 1.0 W3C Recommendation, 2nd edn. (February 5, 2013)
Author information
Authors and Affiliations
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). Multi-dialect Workflows. In: Manolopoulos, Y., Trajcevski, G., Kon-Popovska, M. (eds) Advances in Databases and Information Systems. ADBIS 2014. Lecture Notes in Computer Science, vol 8716. Springer, Cham. https://doi.org/10.1007/978-3-319-10933-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-10933-6_26
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10932-9
Online ISBN: 978-3-319-10933-6
eBook Packages: Computer ScienceComputer Science (R0)