Article

Rule Interchange Format: The Framework

Author:

Michael KiferAuthors Info & Claims

RR '08: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems

Pages 1 - 11

https://doi.org/10.1007/978-3-540-88737-9_1

Published: 31 October 2008 Publication History

Abstract

The Rule Interchange Format (RIF) is an activity within the World Wide Web Consortium aimed at developing a Web standard for exchanging rules. The need for rule-based information processing on the Semantic 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.

Despite its humble name, RIF is not just a format and is not primarily about syntax. It is an extensible framework for rule-based languages, called RIF <em>dialects</em>, which includes precise and formal specification of the syntax, semantics, and XML serialization. In this paper we will discuss the main principles behind RIF, introduce the RIF extensibility framework, and outline the Basic Logic Dialect--the only fully developed RIF dialect so far.

References

[1]

Boley, H., Kifer, M.: RIF basic logic dialect (October 2007), http://www.w3.org/TR/rif-bld/

[2]

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

[3]

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

[4]

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)

[5]

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

[6]

Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 292-322. Plenum Press (1978)

[7]

Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, Heidelberg (1981)

[8]

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

[9]

Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Owl web ontology language 1.0 reference. Technical report, WWW Consortium (November 2002)

[10]

Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (2001)

[11]

Fallside, D.C., Walmsley, P.: XML Schema Part 0: Primer 2 edn. Technical report, WWW Consortium (October 2004), http://www.w3.org/TR/xmlschema-0/

[12]

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)

[13]

Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365-386 (1991)

[14]

Drools, http://labs.jboss.com/drools/

[15]

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

[16]

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

[17]

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

[18]

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

[19]

Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)

[20]

Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and built-ins. W3C Working Draft (July 2008), http://www.w3.org/TR/rif-dtb/

[21]

Shoham, Y.: Nonmonotonic logics: meaning and utility. In: Proc. 10th International Joint Conference on Artificial Intelligence, pp. 388-393. Morgan Kaufmann, San Francisco (1987)

[22]

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)

Cited By

De Meester BHeyvaert PArndt DDimou AVerborgh R(2021)RDF graph validation using rule-based reasoningSemantic Web10.3233/SW-20038412:1(117-142)Online publication date: 1-Jan-2021
https://dl.acm.org/doi/10.3233/SW-200384
Lembo DPantaleone DSantarelli VSavo D(2018)Drawing OWL 2 ontologies with Eddy the editorAI Communications10.3233/AIC-18075131:1(97-113)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.3233/AIC-180751
Mani NHelfert MPahl C(2017)A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability ModelProcedia Computer Science10.1016/j.procs.2017.08.206112:C(2354-2362)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.procs.2017.08.206
Show More Cited By

Rule Interchange Format: The Framework
1. Computing methodologies
  1. Artificial intelligence
  2. Machine learning
    1. Machine learning approaches

Recommendations

Rule Interchange Format: The Framework
RuleML '08: Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web

The <em>Rule Interchange Format</em> (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 ...
rule interchange format: logic programming's second wind?
ILP'10: Proceedings of the 20th international conference on Inductive logic programming

Recent years have witnessed a strong upswing in the interest in rule systems technologies--both in their own right and in combination with existing Web standards. In particular, the Semantic Web is now seen as a vast playing field for rules within the ...
RIF centered rule interchange in the semantic web
DEXA'10: Proceedings of the 21st international conference on Database and expert systems applications: Part I

In the Semantic Web, rule interchange has gained considerable attention. To be a general rule interchange format, RIF (Rule Interchange Format) should first support rule interchange with three important evolving rule languages SWRL (Semantic Web Rule ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

RR '08: Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems

October 2008

239 pages

ISBN:9783540887362

Editors:
Diego Calvanese
Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy 39100
,
Georg Lausen
Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik, Georges-Köhler-Allee, Freiburg, Germany 79110

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 31 October 2008

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

De Meester BHeyvaert PArndt DDimou AVerborgh R(2021)RDF graph validation using rule-based reasoningSemantic Web10.3233/SW-20038412:1(117-142)Online publication date: 1-Jan-2021
https://dl.acm.org/doi/10.3233/SW-200384
Lembo DPantaleone DSantarelli VSavo D(2018)Drawing OWL 2 ontologies with Eddy the editorAI Communications10.3233/AIC-18075131:1(97-113)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.3233/AIC-180751
Mani NHelfert MPahl C(2017)A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability ModelProcedia Computer Science10.1016/j.procs.2017.08.206112:C(2354-2362)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.procs.2017.08.206
Coronado MIglesias CSerrano E(2015)Modelling rules for automating the Evented WEb by semantic technologiesExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.06.03142:21(7979-7990)Online publication date: 30-Nov-2015
https://dl.acm.org/doi/10.1016/j.eswa.2015.06.031
Kumar VFensel AFröhlich PWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Context Based Adaptation of Semantic Rules in Smart BuildingsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539174(719-728)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539174
Verborgh RSteiner TVan Deursen DCoppens SVallés JVan de Walle R(2012)Functional descriptions as the bridge between hypermedia APIs and the Semantic WebProceedings of the Third International Workshop on RESTful Design10.1145/2307819.2307828(33-40)Online publication date: 17-Apr-2012
https://dl.acm.org/doi/10.1145/2307819.2307828
Kumar VMille AGandon FMisselis JRabinovich MStaab S(2012)A semantic policy sharing and adaptation infrastructure for pervasive communitiesProceedings of the 21st International Conference on World Wide Web10.1145/2187980.2188001(155-160)Online publication date: 16-Apr-2012
https://dl.acm.org/doi/10.1145/2187980.2188001
Rettinger ALösch UTresp VD'Amato CFanizzi N(2012)Mining the Semantic WebData Mining and Knowledge Discovery10.1007/s10618-012-0253-224:3(613-662)Online publication date: 1-May-2012
https://dl.acm.org/doi/10.1007/s10618-012-0253-2
Gomes AAlferes J(2011)A proposal for transactions in the semantic webProceedings of the 15th Portugese conference on Progress in artificial intelligence10.5555/2051115.2051178(690-703)Online publication date: 10-Oct-2011
https://dl.acm.org/doi/10.5555/2051115.2051178
Krisnadhi AMaier FHitzler P(2011)OWL and rulesProceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data10.5555/2033313.2033320(382-415)Online publication date: 23-Aug-2011
https://dl.acm.org/doi/10.5555/2033313.2033320
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents