RuleML 1.0: The Overarching Specification of Web Rules

  • Harold Boley
  • Adrian Paschke
  • Omair Shafiq
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6403)


RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. Deliberation rules include modal and derivation rules, which themselves include facts, queries (incl. integrity constraints), and Horn rules (incl. Datalog). Reaction rules include Complex Event Processing (CEP), Knowledge Representation (KR), and Event-Condition-Action (ECA) rules, as well as Production (CA) rules. RuleML rules can combine all parts of both derivation and reaction rules. This allows uniform XML serialization across all kinds of rules. After its use in SWRL and SWSL, RuleML has provided strong input to W3C RIF on several levels. This includes the use of ‘striped’ XML as well as the structuring of rule classes into sublanguages with partial mappings between, e.g., Datalog RuleML and RIF-Core, Hornlog RuleML and RIF-BLD, as well as Production RuleML and RIF-PRD. We discuss the rationale and key features of RuleML 1.0 as the overarching specification of Web rules that encompasses RIF RuleML as a subfamily, and takes into account corresponding OASIS, OMG (e.g., PRR, SBVR), and ISO (e.g., Common Logic) specifications.


Production Rule Event Algebra First Order Logic Derivation Rule Situation Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic Web Services Language (SWSL). Release Version 1.0 (May 2005),
  2. 2.
    Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering (2010) (forthcoming)Google Scholar
  3. 3.
    Boley, H., Kifer, M.: RIF Framework for Logic Dialects, W3C Recommendation (June 2010),
  4. 4.
    Boley, H.: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 29–42. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Ceri, S., Gottlob, G., Tanca, L.: What You Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. on Knowledge and Data Eng. 1(1) (March 1989)Google Scholar
  6. 6.
    Damásio, C.V., Pan, J.Z., Stoilos, G., Straccia, U.: Representing Uncertainty in RuleML. Fundam. Inf. 82(3), 265–288 (2008)MathSciNetzbMATHGoogle Scholar
  7. 7.
    Enderton, H.B.: A Mathematical Introduction To Logic, 2nd edn. Harcourt/Academic Press, San Diego (2001)zbMATHGoogle Scholar
  8. 8.
    Grosof, B., Dean, M., Kifer, M.: The SILK System: Scalable Higher-Order Defeasible Rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858. Springer, Heidelberg (2009)Google Scholar
  9. 9.
    Heymans, S., Kifer, M.: RIF Core Answer Set Programming Dialect. W3C RuleML Specification (December 2009),
  10. 10.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: Semantic Web Rule Language (SWRL). W3C Member Submission (May 2004),
  11. 11.
    Kontopoulos, E., Bassiliades, N., Antoniou, G.: Deploying Defeasible Logic Rule Bases for the Semantic Web. Data Knowl. Eng. 66(1), 116–146 (2008)CrossRefGoogle Scholar
  12. 12.
    Makowsky, J.A.: Why Horn formulas matter in computer science: Initial structures and generic examples. Journal of Computer and System Sciences 34, 266–292 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Nieuwenhuis, R.: A survey of some recent trends in rewrite-based and paramodulation-based deduction (2007)Google Scholar
  14. 14.
    Paschke, A., Boley, H.: Rule Markup Languages and Semantic Web Rule Languages. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 1–24. IGI Publishing (May 2009)Google Scholar
  15. 15.
    Paschke, A., Boley, H.: Rules Capturing Events and Reactivity. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 215–252. IGI Publishing (May 2009)Google Scholar
  16. 16.
    Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0, W3C Recommendation (June 2010),
  17. 17.
    Paschke, A., Boley, H., Kozlenkov, A., Craig, B.: Rule Responder: RuleML-Based Agents for Distributed Collaboration on the Pragmatic Web. In: 2nd ACM Pragmatic Web Conference 2007. ACM, New York (2007)Google Scholar
  18. 18.
    Wagner, G., Antoniou, G., Tabet, S., Boley, H.: The Abstract Syntax of RuleML – Towards a General Web Rule Language Framework. In: Web Intelligence, pp. 628–631. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  19. 19.
    Widom, J.: Deductive and Active Databases: Two Paradigms or Ends of a Spectrum? In: Rules in Database Systems, pp. 306–315 (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Harold Boley
    • 1
  • Adrian Paschke
    • 2
  • Omair Shafiq
    • 3
  1. 1.Institute for Information TechnologyNational Research Council CanadaFrederictonCanada
  2. 2.Freie Universitaet BerlinGermany
  3. 3.University of CalgaryCanada

Personalised recommendations