Abstract
Despite the maturity of the rule-based technologies, rule interoperability still constitutes an existing problem. Currently, there are many different rule representations and languages. Some of them provide an underlying formalism, while the others are just programming solutions. The variety of the representations make the interoperability process difficult. This paper is a part of research aiming at definition of formalized rule representation model, which is intended to capture semantics of the rule-based knowledge in most common representations.
The paper is supported by the SaMURaI Project funded from NCN (National Science Centre) resources for science DEC-2011/03/N/ST6/00886.
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
Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer (2006)
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, New York (2009)
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
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)
Kaczor, K., Nalepa, G.J.: Critical evaluation of the XTT2 rule representation through comparison with CLIPS. In: Canadas, J., Nalepa, G.J., Baumeister, J. (eds.) 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the Biennial European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, August 28 (2012), http://ceur-ws.org/Vol-949/
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)
OMG, Semantics of Business Vocabulary and Business Rules (SBVR). Object Management Group, Tech. Rep. dtc/06-03-02 (2006)
Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language – primer. W3C, W3C Recommendation (October 2009)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, W3C member submission 21 may 2004. W3C, Tech. Rep (2004)
Wagner, G.: How to design a general rule markup language. In: XML Technology for the Semantic Web (XSW 2002), HU Berlin. Lecture Notes in Informatics, pp. 19–37 (2002)
Adrian, W.T., Nalepa, G.J., Kaczor, K., Noga, M.: Overview of selected approaches to rule representation on the Semantic Web. AGH University of Science and Technology, Tech. Rep. CSLTR 2/2010 (2010), http://cslab.ia.agh.edu.pl/csltr:listaraportow
Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)
Fensel, D., Angele, J., Landes, D.: KARL: a knowledge acquisition and representation language. In: Rault, J.C. (ed.) Proceedings of the 11th International Conference Expert Systems and their Applications. Tools, Techniques & Methods, vol. 1, pp. 513–528. EC2, Nanterre, Avignon (1991)
van Harmelen, F., Balder, J. (ML)2: A formal language for KADS models. In: ECAI, pp. 582–586 (1992)
Kifer, M., Boley, H.: RIF overview. W3C, W3C Working Draft (October 2009), http://www.w3.org/TR/rif-overview
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)
Wagner, G., Giurca, A., Lukichev, S.: 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)
Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)
Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: Algorithms for rule inference in modularized rule bases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 305–312. Springer, Heidelberg (2011)
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), http://www.worldscientific.com/doi/abs/10.1142/S021819401250012X
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaczor, K., Nalepa, G.J. (2013). Semantically-Driven Rule Interoperability – Concept Proposal. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds) Artificial Intelligence and Soft Computing. ICAISC 2013. Lecture Notes in Computer Science(), vol 7895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38610-7_47
Download citation
DOI: https://doi.org/10.1007/978-3-642-38610-7_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38609-1
Online ISBN: 978-3-642-38610-7
eBook Packages: Computer ScienceComputer Science (R0)