Part of the book series:Lecture Notes in Computer Science ((LNISA,volume 5341))
Included in the following conference series:
573Accesses
61Citations
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 RIFdialects, 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.
This is a preview of subscription content,log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, books and news in related subjects, suggested using machine learning.References
Boley, H., Kifer, M.: RIF basic logic dialect (October 2007),http://www.w3.org/TR/rif-bld/
Boley, H., Kifer, M.: RIF Basic logic dialect. W3C Working Draft (July 2008),http://www.w3.org/TR/rif-fld/
Boley, H., Kifer, M.: RIF Framework for logic dialects. W3C Working Draft (July 2008),http://www.w3.org/TR/rif-fld/
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)
Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)
Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 292–322. Plenum Press (1978)
Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, Heidelberg (1981)
de Sainte Marie, C., Paschke, A.: RIF Production rule dialect. W3C Working Draft (July 2008),http://www.w3.org/TR/rif-prd/
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)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (2001)
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/
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)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365–386 (1991)
Jess, the rule language for the java platform,http://herzberg.ca.sandia.gov/jess/
Kifer, M.: FLORA-2: An object-oriented knowledge base language. The FLORA-2,http://flora.sourceforge.net
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)
Kozlenkov, A.: PROVA: A Language for Rule-based Java Scripting, Data and Computation Integration, and Agent Programming (May 2005)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and built-ins. W3C Working Draft (July 2008),http://www.w3.org/TR/rif-dtb/
Shoham, Y.: Nonmonotonic logics: meaning and utility. In: Proc. 10th International Joint Conference on Artificial Intelligence, pp. 388–393. Morgan Kaufmann, San Francisco (1987)
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)
Author information
Authors and Affiliations
State University of New York at Stony Brook, USA
Michael Kifer
- Michael Kifer
Search author on:PubMed Google Scholar
Editor information
Editors and Affiliations
Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100, Bolzano, Italy
Diego Calvanese
Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik, Georges-Köhler-Allee, Gebäude 51, 79110, Freiburg, Germany
Georg Lausen
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kifer, M. (2008). Rule Interchange Format: The Framework. In: Calvanese, D., Lausen, G. (eds) Web Reasoning and Rule Systems. RR 2008. Lecture Notes in Computer Science, vol 5341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88737-9_1
Download citation
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-88736-2
Online ISBN:978-3-540-88737-9
eBook Packages:Computer ScienceComputer Science (R0)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative
Keywords
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.