Abstract
Despite the maturity of rule-based technologies and number of rule formalisms, the practical rule interoperability is still challenging. In a distributed environment where many knowledge engineers work in a collective way, this causes severe problems. This is a methodological paper, which introduces an approach that can be considered such an interoperability method. Its aim is to provide a unified and formalized method for knowledge interchange for the most common rule languages. Our approach involves three levels of interoperability abstraction: semantic, model and environment level. On each level different problems are addressed. In order to assess the appropriateness of such decomposition we provide a proof of concept solution concerning the interoperability between the Drools and XTT2 rule bases.
The paper is supported by the BIMLOQ Project funded from 2010–2012 resources for science as a research project.
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
Adrian, W.T., Bobek, S., Nalepa, G.J., Kaczor, K., Kluza, K.: How to reason by HeaRT in a semantic knowledge-based wiki. In: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, Florida, USA, pp. 438–441 (November 2011)
Antoniou, G., van Harmelen, F.: A Semantic Web Primer. The MIT Press (2008)
Bing, H., Dan-Mei, X.: Research and design of document flow model based on JBPM workflow engine. In: Proceedings from International Forum on Computer Science-Technology and Applications, IFCSTA 2009, vol. 1, pp. 336–339 (December 2009)
Boley, H., Tabet, S., Wagner, G.: Design rationale for ruleml: A markup language for semantic web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381–401 (2001)
Browne, P.: JBoss Drools Business Rules. Packt Publishing (2009)
Buchanan, B.G., Shortliffe, E.H. (eds.): Rule-Based Expert Systems. Addison-Wesley Publishing Company, Reading (1985)
Cañadas, J., Palma, J., Túnez, S.: Defining the semantics of rule-based web applications through model-driven development. International Journal of Applied Mathematics and Computer Science 21(1), 41–55 (2011)
Coenen, F., et al.: Validation and verification of knowledge-based systems: report on eurovav99. The Knowledge Engineering Review 15(2), 187–196 (2000)
Denvir, T., Oliveira, J., Plat, N.: The Cash-Point (ATM) ‘Problem’. Formal Aspects of Computing 12(4), 211–215 (2000)
Di Bona, D., Lo Re, G., Aiello, G., Tamburo, A., Alessi, M.: A methodology for graphical modeling of business rules. In: 5th UKSim European Symposium on Computer Modeling and Simulation (EMS), pp. 102–106 (November 2011)
Fong, J., Shiu, H., Wong, J.: Methodology for data conversion from XML documents to relations using Extensible Stylesheet Language Transformation. International Journal of Software Engineering and Knowledge Engineering 19(2), 249–281 (2009)
Friedman-Hill, E.: Jess in Action, Rule Based Systems in Java. Manning (2003)
Giarratano, J., Riley, G.: Expert Systems. Principles and Programming. Thomson Course Technology, 4th edn., Boston, MA, United States (2005) ISBN 0-534-38447-1
Giurca, A., Gašević, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey (2009)
von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley (2001)
Hendler, J., van Harmelen, F.: The Semantic Web: Webizing Knowledge Representation. In: Handbook of Knowledge Representation. Elsevier, New York (2008)
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)
Hollingsworth, D.: The workflow reference model. Issue 1.1 TC00-1003, Workflow Management Coalition (January 1995)
Jackson, P.: Introduction to Expert Systems. Addison–Wesley, 3rd edn. (1999) ISBN 0-201-87686-8
The jBPM team of JBoss Community: jBPM User Guide, 5.2.0.final edn. (December 2011), http://docs.jboss.org/jbpm/v5.2/userguide/
Kaczor, K., Nalepa, G.J.: Extensible design and verification enviroment for XTT rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Kraków, Poland, November 26-27, pp. 99–104. AGH University of Science and Technology, Oprogramowanie Naukowo-Techniczne, Cracow (2009)
Kaczor, K., Nalepa, G.J.: HaDEs – presentation of the HeKatE design environment. In: Baumeister, J., Nalepa, G.J. (eds.) 5th Workshop on Knowledge Engineering and Software Engineering (KESE 2009) at the 32nd German conference on Artificial Intelligence, Paderborn, Germany, pp. 57–62 (September 15, 2009)
Kaczor, K., Nalepa, G.J., Łysik, Ł., Kluza, K.: Visual design of Drools rule bases using the XTT2 method. In: Katarzyniak, R., Chiu, T.-F., Hong, C.-F., Nguyen, N.T. (eds.) Semantic Methods for Knowledge Management and Communication. SCI, vol. 381, pp. 57–66. Springer, Heidelberg (2011), http://www.springerlink.com/content/h544g4238716m320/
Kifer, M., Boley, H.: RIF overview. W3C working draft, W3C (October 2009), http://www.w3.org/TR/rif-overview
Kluza, K., Kaczor, K., Nalepa, G.J.: Enriching business processes with rules using the Oryx BPMN editor. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2012, Part II. LNCS, vol. 7268, pp. 573–581. Springer, Heidelberg (2012), http://www.springerlink.com/content/u654r0m56882np77/
Kluza, K., Maślanka, T., Nalepa, G.J., Ligęza, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. SCI, vol. 382, pp. 243–248. Springer, Heidelberg (2011)
Kluza, K., Nalepa, G.J., Łysik, Ł.: Visual inference specification methods for modularized rulebases. Overview and integration proposal. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence, Karlsruhe, Germany, pp. 6–17 (September 21, 2010), http://ceur-ws.org/Vol-636/
Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)
Ligęza, A.: Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems. In: Ligęza, A. (ed.) Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice, pp. 313–325. Kluwer Academic Publishers, Boston (1999)
Ligęza, A., Nalepa, G.J.: A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 1(2), 117–137 (2011), http://onlinelibrary.wiley.com/doi/10.1002/widm.11/pdf
Ligęza, A., Szpyrka, M.: Reduction of tabular systems. In: Rutkowski, L., Siekmann, J.H., Tadeusiewicz, R., Zadeh, L.A. (eds.) ICAISC 2004. LNCS (LNAI), vol. 3070, pp. 903–908. Springer, Heidelberg (2004)
Lukichev, S., Wagner, G.: Visual rules modeling. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 467–473. Springer, Heidelberg (2007)
Nalepa, G., Ligęza, A., Kaczor, K.: Overview of knowledge formalization with XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 329–336. Springer, Heidelberg (2011)
Nalepa, G.J.: Proposal of business process and rules modeling with the XTT method. In: Negru, V., et al. (eds.) Symbolic and Numeric Algorithms for Scientific Computing, SYNASC Ninth International Symposium, September 26-29, pp. 500–506. IEEE Computer Society, IEEE, CPS Conference Publishing Service, Los Alamitos, California, Washington, Tokyo (2007)
Nalepa, G.J.: PlWiki – a generic semantic wiki architecture. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS, vol. 5796, pp. 345–356. Springer, Heidelberg (2009)
Nalepa, G.J.: Architecture of the HeaRT hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010, Part II. LNCS, vol. 6114, pp. 598–605. Springer, Heidelberg (2010)
Nalepa, G.J.: Collective knowledge engineering with semantic wikis. Journal of Universal Computer Science 16(7), 1006–1023 (2010), http://www.jucs.org/jucs_16_7/collective_knowledge_engineering_with
Nalepa, G.J.: Loki – semantic wiki with logical knowledge representation. In: Nguyen, N.T. (ed.) TCCI III 2011. LNCS, vol. 6560, pp. 96–114. Springer, Heidelberg (2011), http://www.springerlink.com/content/y91w134g03344376/
Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)
Nalepa, G.J., Furmańska, W.T.: Pellet-HeaRT – proposal of an architecture for ontology systems with rules. In: Dillmann, R., Beyerer, J., Hanebeck, U.D., Schultz, T. (eds.) KI 2010. LNCS, vol. 6359, pp. 143–150. Springer, Heidelberg (2010), http://www.springerlink.com/content/r46p8m40432n7342/
Nalepa, G.J., Kluza, K.: UML representation for rule-based application models with XTT2-based business rules. International Journal of Software Engineering and Knowledge Engineering (IJSEKE) 22(4), 485–524 (2012)
Nalepa, G.J., Ligęza, A.: Conceptual Modelling and Automated Implementation of Rule-Based Systems. In: Software engineering: evolution and emerging technologies, Frontiers in Artificial Intelligence and Applications, vol. 130, pp. 330–340. IOS Press, Amsterdam (2005)
Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35–53 (2010)
Nalepa, G.J., Ligęza, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. International Journal on Artificial Intelligence Tools 20(6), 1107–1125 (2011)
Semantics, O.M.G.: of Business Vocabulary and Business Rules (SBVR). Tech. Rep. dtc/06-03-02, Object Management Group (2006)
Pascalau, E., Giurca, A.: Can URML model successfully drools rules? In: Giurca, A., Analyti, A., Wagner, G. (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-Based Applications, RuleApps 2008, July 22, pp. 19–23. University of Patras, Patras (2008)
Peng, L., Zhou, B.: Research on workflow patterns based on jBPM and jPDL. In: Proceedings from IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, PACIIA 2008, vol. 2, pp. 838–843. IEEE (December 2008)
Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional (2003)
Szpyrka, M., Szmuc, T.: Decision tables in petri net models. In: Kryszkiewicz, M., Peters, J.F., Rybiński, H., Skowron, A. (eds.) RSEISP 2007. LNCS (LNAI), vol. 4585, pp. 648–657. Springer, Heidelberg (2007)
Tadeusiewicz, R.: Introduction to intelligent systems. In: Wilamowski, B.M., Irwin, J.D. (eds.) Intelligent Systems, 2nd edn. The Electrical Engineering Handbook Series. The Industrial Electronics Handbook, pp. 1-1–1-12. CRC Press Taylor & Francis Group, Boca Raton (2011)
Wagner, G., Giurca, A.: R2ml: A general approach for marking up rules. In: Bry, F., Fages, F., Marchiori, M., Ohlbach, H. (eds.) Principles and Practices of Semantic Web Reasoning, Dagstuhl Seminar Proceedings, 05371 (2005)
Wohed, P., Russell, N., ter Hofstede, A.H., Andersson, B., van der Aalst, W.M.: Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark. Information and Software Technology 51(8), 1187–1216 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kaczor, K., Kluza, K., Nalepa, G.J. (2013). Towards Rule Interoperability: Design of Drools Rule Bases Using the XTT2 Method. In: Nguyen, N.T. (eds) Transactions on Computational Collective Intelligence XI. Lecture Notes in Computer Science, vol 8065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41776-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-41776-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41775-7
Online ISBN: 978-3-642-41776-4
eBook Packages: Computer ScienceComputer Science (R0)