Skip to main content
SpringerLink
Log in

Rule Interchange Format: The Framework

(Extended Abstract)

  • Conference paper
Rule Representation, Interchange and Reasoning on the Web (RuleML 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5321))

Abstract

The Rule Interchange Format (RIF) activity within the World Wide Web Consortium (W3C) aims to develop a standard for exchanging rules among disparate systems, especially on the Semantic Web. The need for rule-based information processing on the Web has been felt ever since RDF was introduced in the late 90’s. As ontology development picked up pace this decade and as the limitations of OWL became apparent, rules were firmly put back on the agenda. RIF is therefore a major opportunity for the introduction of rule based technologies into the main stream of knowledge representation and information processing on the Web.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Boley, H., Kifer, M.: RIF Basic logic dialect. W3C Working Draft (July 2008), http://www.w3.org/TR/rif-fld/

  2. Boley, H., Kifer, M.: RIF Framework for logic dialects. W3C Working Draft (July 2008), http://www.w3.org/TR/rif-fld/

  3. 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 

  4. Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  5. de Sainte Marie, C., Paschke, A.: RIF Production rule dialect. W3C Working Draft (July 2008), http://www.w3.org/TR/rif-prd/

  6. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proceedings of the Fifth Conference and Symposium, pp. 1070–1080 (1988)

    Google Scholar 

  7. Drools. Web site, http://labs.jboss.com/drools/

  8. Jess, the rule language for the java platform. Web site, http://herzberg.ca.sandia.gov/jess/

  9. Kifer, M.: FLORA-2: An object-oriented knowledge base language. The FLORA-2 Web Site, http://flora.sourceforge.net

  10. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  11. Kozlenkov, A.: PROVA: A Language for Rule-based Java Scripting, Data and Computation Integration, and Agent Programming (May 2005)

    Google Scholar 

  12. Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM 38(3), 620–650 (1991)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State University of New York at Stony Brook, USA

    Michael Kifer

Authors
  1. Michael Kifer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, Aristotle University, 54124, Thessaloniki, Greece

    Nick Bassiliades

  2. National ICT Australia, Queensland Research Laboratory, St Lucia, Queensland, Australia

    Guido Governatori

  3. Chair for Corporate Semantic Web, Free University Berlin, Berlin, Germany

    Adrian Paschke

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kifer, M. (2008). Rule Interchange Format: The Framework . In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule Representation, Interchange and Reasoning on the Web. RuleML 2008. Lecture Notes in Computer Science, vol 5321. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88808-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88808-6_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88807-9

  • Online ISBN: 978-3-540-88808-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation