Encyclopedia of Social Network Analysis and Mining

2018 Edition
| Editors: Reda Alhajj, Jon Rokne

RIF: The Rule Interchange Format

  • Michael Kifer
Reference work entry
DOI: https://doi.org/10.1007/978-1-4939-7131-2_118




An type of a rule that has no premise

Horn Rule

A type of a rule whose conclusion is a predicate statement. The body of a Horn rule has no negated premises

Production Rule

A type of a rule whose head is an action, which inserts or deletes information

Rule Body

An alternative name for the premise of a rule

Rule Head

An alternative name for the conclusion of a rule


A statement that has a premise and a conclusion. It states that if the premise is true then so must be the conclusion


Rule languages and rule-based systems have been playing an important role in the information technology. The applications of rule systems include expert systems, decision-support, deductive databases, and business rules. Most people do not realize that even the ubiquitous database query language SQL is also rule-based. Although the basic idea of a rule is simple: it is just a statement with a premise and...

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


  1. Birbeck M, McCarron S (2008) CURIE Syntax 1.0: a syntax for expressing compact URIs, W3C working draft. Available at http://www.w3.org/TR/curie/
  2. Boley H, Kifer M (2010a) RIF basic logic dialect. W3C recommendation 3 July, W3C. http://www.w3.org/TR/rif-bld/
  3. Boley H, Kifer M (2010b) RIF framework for logic dialects. W3c recommendation, W3C. http://www.w3.org/TR/rif-fid/
  4. de Sainte Marie C, Paschke A, Hallmark G (2010) RIF Production Rule Dialect. W3c recommendation, W3C. http://www.w3.org/TR/rif-prd/
  5. Dean M, Schreiber G (2004) OWL Web ontology language reference. Recommendation 10 Feb 2004, W3C. http://www.w3.org/TR/owl-ref/
  6. Duerst M, Suignard M (2005) Internationalized resource identifiers (IRIs). http://www.ietf.org/rfc/rfc3987.txt
  7. Forgy C (1982) Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif Intell 19:17–32CrossRefGoogle Scholar
  8. Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Logic programming: proceedings of the fifth conference and symposium. MIT Press, Cambridge, pp 1070–1080Google Scholar
  9. Kifer M (2008) Rule interchange format: the framework. In: Calvanese D, Lausen G (eds) Proceedings of the second international conference (RR 2008) on web reasoning and rule systems, Karlsruhe, 31 Oct–1 Nov 2008. Lecture notes in Computer Science, vol 5341. Springer, Berlin, pp 1–11Google Scholar
  10. Kifer M (2010) Knowledge representation and reasoning with the rule interchange format. In: Domingue J, Fensel D (eds) Handbook of semantic web technologies. Springer, Heidelberg/New YorkGoogle Scholar
  11. Kifer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J ACM 42:741–843MathSciNetzbMATHCrossRefGoogle Scholar
  12. Klyne G, Carroll JJ (2004) Resource description framework (RDF): concepts and abstract syntax. Recommendation 10 Feb 2004, W3C. http://www.w3.org/TR/rdf-concepts/
  13. Van Gelder A, Ross K, Schlipf J (1991) The well-founded semantics for general logic programs. J ACM 38(3):620–650. httpciteseer.ist.psu.edu/gelder91wellfounded.htmlMathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of Computer ScienceStony Brook UniversityStony BrookUSA

Section editors and affiliations

  • Thomas Gottron
    • 1
  • Stefan Schlobach
    • 2
  • Steffen Staab
    • 3
  1. 1.Institute for Web Science and TechnologiesUniversität Koblenz-LandauKoblenzGermany
  2. 2.YUAmsterdamThe Netherlands
  3. 3.Institute for Web Science and Technologies – WeSTUniversity of Koblenz-LandauKoblenzGermany