Rule Interchange on the Web

  • Harold Boley
  • Michael Kifer
  • Paula-Lavinia Pătrânjan
  • Axel Polleres
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4636)

Abstract

Rules play an increasingly important role in a variety of Semantic Web applications as well as in traditional IT systems. As a universal medium for publishing information, the Web is envisioned to become the place for publishing, distributing, and exchanging rule-based knowledge. Realizing the importance and the promise of this vision, W3C has created the Rule Interchange Format Working Group (RIF WG) and chartered it to develop an interchange format for rules in alignment with the existing standards in the Semantic Web architecture stack.

However, creating a generally accepted interchange format is by no means a trivial task. First, there are different understandings of what a “rule” is. Researchers and practitioners distinguish between deduction rules, normative rules, production rules, reactive rules, etc. Second, even within the same category of rules, systems use different (often incompatible) semantics and syntaxes. Third, existing Semantic Web standards, such as RDF and OWL, show incompatibilities with many kinds of rule languages at a conceptual level.

This article discusses the role that different kinds of rule languages and systems play on the Web, illustrates the problems and opportunities in exchanging rules through a standardized format, and provides a snapshot of the current work of the W3C RIF WG.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Angele, J., Boley, H., de Bruijn, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web Rule Language (WRL), W3C member submission (September 2005) Google Scholar
  2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  3. Battle, S., Bernstein, A., Boley, H., Grosof, B., Grüninger, M., Hull, R., Kifer, M., Martin, D., McGuinness, D.L., McIlraith, S., Su, J., Tabet, S.: Semantic web services framework (SWSF) Google Scholar
  4. Berstel, B., Bonnard, P., Bry, F., Eckert, M., Pătrânjan, P.-L.: Reactive Rules on the Web. In: Reasoning Web – Third International Summer School 2007, Tutorial Lectures (in preparation, 2007) Google Scholar
  5. Bonifati, A., Braga, D., Campi, A., Ceri, S.: Active XQuery. In: ICDE 2002. 18th Int. Conf. on Data Engineering, San Jose, California (2002)Google Scholar
  6. Bailey, J., Bry, F., Eckert, M., Pătrânjan, P.-L.: Flavours of XChange, a rule-based reactive language for the (Semantic) Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. Biron, P.V., Malhotra, A. (eds): XML Schema Part 2: Datatypes, 2nd edn. W3C Recommendation (October 2004)Google Scholar
  8. Boley, H., Kifer, M. (eds.): RIF Core Design, W3C Editor’s Draft, (March 30, 2007)Google Scholar
  9. Beckett, D.: Turtle - Terse RDF Triple Language (April 2006), Available at http://www.dajobe.org/2004/01/turtle/
  10. Bry, F., Eckert, M., Patranjan, P.-L.: Reactivity on the web: Paradigms and applications of the language xchange. Journal of Web Engineering 5(1), 3–24 (2006)Google Scholar
  11. Bry, F., Eckert, M., Pătrânjan, P.-L.: Reactivity on the Web: Paradigms and applications of the language XChange. J. of Web Engineering 5(1), 3–24 (2006)Google Scholar
  12. Bry, F., Eckert, M., Pătrânjan, P.-L., Romanenko, I.: Realizing business processes with eca rules: Benefits, challenges, limits. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 10–11. Springer, Heidelberg (2006)Google Scholar
  13. Baumgartner, R., Flesca, S., Gottlob, G., Nieuwenhuis, R., Voronkov, A.: The elog web extraction language. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, Springer, Heidelberg (2001)CrossRefGoogle Scholar
  14. Behrends, E., Fritzen, O., May, W., Schenk, F.: Combining ECA Rules with Process Algebras for the Semantic Web. In: Proceedings of Second International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, Georgia, USA, November 10-11, 2006, pp. 29–38 (2006)Google Scholar
  15. Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-270, University of Toronto, April 1992, Revised: (February 1994), http://www.cs.toronto.edu/~bonner/transaction-logic.html
  16. Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, pp. 117–166. Kluwer Academic Publishers, Dordrecht (1998)Google Scholar
  17. Berners-Lee, T.: Web for Real People, April 2005. Keynote Speech at the 14th World Wide Web Conference (WWW 2005), Slides available at http://www.w3.org/2005/Talks/0511-keynote-tbl/
  18. Bry, F., Marchiori, M.: Ten theses on logic languages for the Semantic Web. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, Springer, Heidelberg (2005)Google Scholar
  19. Bonatti, P.A., Olmedilla, D.: Driving and monitoring provisional trust negotiation with metapolicies. In: IEEE Int. Workshop on Policies for Distributed Systems and Networks, IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  20. Bonatti, P.A.: Rule languages for security and privacy in cooperative systems. In: COMPSAC 2005. 29th Annual International Computer Software and Applications Conference, Edinburgh, Scotland, UK, July 25-28, 2005, pp. 268–269 (2005)Google Scholar
  21. Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition-action language for XML. In: Proc. Int. World Wide Web Conf., pp. 486–495. ACM, New York (2002)Google Scholar
  22. Bry, F., Schwertel, U.: REWERSE – reasoning on the Web. AgentLink News, 15 (2004)Google Scholar
  23. Business Rules Group (2005), www.businessrulesgroup.org
  24. Cabeza, D., Hermenegildo, M.: Distributed www programming using (ciao-) prolog and the pillow library. Theory and Practice of Logic Programming 1(3), 251–282 (2001)CrossRefGoogle Scholar
  25. Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)MATHCrossRefMathSciNetGoogle Scholar
  26. Chen, W., Kifer, M., Warren, D.S.: HILOG: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)MATHCrossRefMathSciNetGoogle Scholar
  27. Davenport, T.H.: Process Innovation: Reengineering Work through Information Technology. Havard Business School Press, Boston, Massachusetts (1993)Google Scholar
  28. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On representational issues about combinations of classical theories with nonmonotonic rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  29. Dean, M., Schreiber, G., Bechhofer, S., Harmelen, F.v., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference, W3C Recommendation (February 2004) Google Scholar
  30. Delugach, H. (ed.): Iso common logic (2006), available at http://philebus.tamu.edu/cl/
  31. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems 22(3), 364–418 (1997)CrossRefGoogle Scholar
  32. Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol. 4126, pp. 93–127. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  33. European Business Rules Conference (2005), www.eurobizrules.org
  34. Fernandez, M.F., Florescu, D., Levy, A.Y., Suciu, D.: Verifying integrity constraints on web sites. In: IJCAI, pp. 614–619 (1999)Google Scholar
  35. Fitting, M.: Fixpoint semantics for logic programming – a survey. Theoretical Computer Science 278(1-2), 25–51 (2002)MATHCrossRefMathSciNetGoogle Scholar
  36. Furche, T., Linse, B., Bry, F., Plexousakis, D., Gottlob, G.: Rdf querying: Language constructs and evaluation methods compared. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol. 4126, pp. 1–52. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  37. Forgy, C.: RETE: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19, 17–37 (1982)CrossRefGoogle Scholar
  38. Ginsberg, A., Hirtle, D., McCabe, F., Patranjan, P.-L. (eds.): RIF Core Design. W3C Working DraftGoogle Scholar
  39. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) 5th Int’l Conf. on Logic Programming, pp. 1070–1080. The MIT Press, Cambridge, Massachusetts (1988)Google Scholar
  40. Van Gelder, A., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: 7th ACM Symposium on Principles of Database Systems, Austin, Texas, pp. 221–230. ACM, New York (1988)Google Scholar
  41. Hall, J.: Business rules boot camp. In: Tutorial at the European Business Rules Conference (2005)Google Scholar
  42. Hayes, P.: RDF semantics. Technical report, W3C, W3C Recommendation (February 2004), http://www.w3.org/TR/rdf-mt/
  43. 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 (2004) Google Scholar
  44. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)MATHCrossRefMathSciNetGoogle Scholar
  45. 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)CrossRefMathSciNetGoogle Scholar
  46. Melton, J.: Advanced SQL 1999: Understanding Object-Relational, and Other Advanced Features. Elsevier Science Inc., New York, USA (2002)Google Scholar
  47. Malhotra, A., Melton, J., Walsh, N. (eds.): XQuery 1.0 and XPath 2.0 Functions and Operators, W3C Recommendation (January 2007), available at http://www.w3.org/TR/xpath-functions/
  48. May, W., Schenk, F., von Lienen, E.: Extending an OWL Web Node with Reactive Behavior. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 134–148. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  49. Prud’hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF, W3C Candidate Recommendation (2006), available at http://www.w3.org/TR/rdf-sparql-query/
  50. Polleres, A.: From SPARQL to rules (and back). In: WWW 2007. Proceedings of the 16th World Wide Web Conference, Banff, Canada, May 2007. Accepted for publication, technical report version (2007), available at http://www.polleres.net/publications/GIA-TR-2006-11-28.pdf
  51. Papamarkos, G., Poulovassilis, A., Wood, P.T.: Event-condition-action rule languages for the Semantic Web. In: Bressan, S., Chaudhri, A.B., Lee, M.L., Yu, J.X., Lacroix, Z. (eds.) CAiSE 2002 and VLDB 2002. LNCS, vol. 2590, pp. 309–327. Springer, Heidelberg (2003)Google Scholar
  52. Potamianos, S., Stonebraker, M.: The postgres rule system. In: Widom, J., Ceri, S. (eds.) Active Database Systems - Triggers and Rules for Advanced Database Processing, pp. 44–61. Springer, Berlin, (1996)Google Scholar
  53. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation (February 2004)Google Scholar
  54. Pătrânjan, P.-L.: The Language XChange: A Declarative Approach to Reactivity on the Web. Dissertation/Ph.D. thesis, Institute of Computer Science, LMU, Munich, 2005. PhD Thesis, Institute for Informatics, University of Munich (2005)Google Scholar
  55. Rosati, R.: Integrating Ontologies and Rules: Semantic and Computational Issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web. LNCS, vol. 4126, pp. 128–151. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  56. Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. PhD thesis, University of Munich (October 2004)Google Scholar
  57. Shoham, Y.: Nonmonotonic logics: Meaning and utility. In: IJCAI-87. Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 388–393. Morgan Kaufmann, San Francisco (1987)Google Scholar
  58. Schenk, S., Staab, S.: Networked rdf graphs. Technical Report Arbeitsberichte des Fachbereichs Informatik 3/2007, Institut für Informatik, Universität Koblenz-Landau (2007)Google Scholar
  59. Swift, T., Warren, D.S.: Efficiently implementing slg resolution (January 1994)Google Scholar
  60. ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. Journal of Web Semantics 3(2) (2005)Google Scholar
  61. The Business Rules Group. Defining business rules – what are they really? (2000), Available at www.businessrulesgroup.org
  62. Taveter, K., Wagner, G.: Agent-oriented enterprise modeling based on business rules. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 527–540. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  63. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1) (2003)Google Scholar
  64. Wagner, G., Giurca, A., Lukichev, S.: A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL. In: Hitzler, P., Wache, H., Eiter, T. (eds.) RoW2006 Reasoning on the Web Workshop at WWW2006 (2006)Google Scholar
  65. Wielemaker, J., Huang, Z., van der Meij, L.: Swi-prolog and the web. manuascript (2006), http://hcs.science.uva.nl/projects/SWI-Prolog/articles/TPLP-plweb.pdf
  66. Widom, J.: The starburst active database rule system. Knowledge and Data Engineering 8(4), 583–595 (1996)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Harold Boley
    • 1
  • Michael Kifer
    • 2
  • Paula-Lavinia Pătrânjan
    • 3
  • Axel Polleres
    • 4
  1. 1.University of New Brunswick, Faculty of Computer Science, Institute for Information Technology - e-Business, NRC, 46 Dineen Drive, FrederictonCanada
  2. 2.State University of New York at Stony Brook, Department of Computer Science, Stony Brook, New York 11794-4400USA
  3. 3.University of Munich, Institute for Informatics, Oettingenstr. 67, D-80538 München 
  4. 4.Digital Enterprise Research Institute, National University of Ireland, Galway 

Personalised recommendations