This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
November 2010 (vol. 22 no. 11)
pp. 1593-1608
Harold Boley, National Research Council Canada, Fredericton
Michael Kifer, State University of New York, Stony Brook
The W3C Rule Interchange Format (RIF) is a forthcoming standard for exchanging rules among different systems and developing intelligent rule-based applications for the Semantic Web. The RIF architecture is conceived as a family of languages, called dialects. A RIF dialect is a rule-based language with an XML syntax and a well-defined semantics. The RIF Basic Logic Dialect (RIF-BLD) semantically corresponds to a Horn rule language with equality. RIF-BLD has a number of syntactic extensions with respect to traditional textbook Horn logic, which include F-logic frames and predicates with named arguments. RIF-BLD is also well integrated with the relevant Web standards. It provides Internationalized Resource Identifiers (IRIs), XML Schema datatypes, and is aligned with RDF and OWL. This paper is a guide to the essentials of RIF-BLD, its syntax, semantics, and XML serialization. At the same time, some important RIF-BLD features are omitted due to the space limitations, including datatypes, built-ins, and the integration with RDF and OWL.

[1] M. Dean and G. Schreiber, "OWL Web Ontology Language Reference," http://www.w3.org/TRowl-ref/, Feb. 2004.
[2] H. Boley and M. Kifer, "RIF Basic Logic Dialect," W3C Working Draft, http://www.w3.org/2005/rules/wikiBLD, Mar. 2009.
[3] C. de Sainte Marie, A. Paschke, and G. Hallmark, "RIF Production Rule Dialect," W3C Working Draft, http://www.w3.org/2005/rules/wikiPRD, Mar. 2009.
[4] H. Boley and M. Kifer, "RIF Framework for Logic Dialects," W3C Working Draft, http://www.w3.org/2005/rules/wikiFLD, Mar. 2009.
[5] M. Kifer, G. Lausen, and J. Wu, "Logical Foundations of Object-Oriented and Frame-Based Languages," J. ACM, vol. 42, pp. 741-843, July 1995.
[6] W. Chen, M. Kifer, and D. Warren, "HiLog: A Foundation for Higher-Order Logic Programming," J. Logic Programming, vol. 15, no. 3, pp. 187-230, Feb. 1993.
[7] I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," W3C Member Submission, http://www.w3.org/Submission/2004SUBM-SWRL-20040521 /, May 2004.
[8] T. Berners-Lee, D. Connolly, L. Kagal, Y. Scharf, and J. Hendler, "N3Logic: A Logical Framework for the World Wide Web," Theory and Practice of Logic Programming (TPLP), vol. 8, no. 3, pp. 249-269, May 2008.
[9] A. Analyti, G. Antoniou, and C.V. Damásio, "A Principled Framework for Modular Web Rule Bases and Its Semantics," Proc. Int'l Conf. Principles of Knowledge Representation and Reasoning, pp. 390-400, 2008.
[10] J. de Bruijn, "RIF RDF and OWL Compatibility," http://www.w3.org/2005/rules/wikiSWC, Mar. 2009.
[11] H. Boley, "Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms," Rules and Rule Markup Languages for the Semantic Web, pp. 1-16, http://iit-iti.nrc-cnrc.gc.ca/publications nrc-46502_e.html, Springer, Oct. 2003.
[12] G. Wagner, A. Giurca, and S. Lukichev, "A General Markup Framework for Integrity and Derivation Rules," Proc. Workshop Principles and Practices of Semantic Web Reasoning, 2005.
[13] C. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
[14] M. Duerst and M. Suignard, "Internationalized Resource Identifiers (IRIs)," http://www.ietf.org/rfcrfc3987.txt, Jan. 2005.
[15] A. Polleres, H. Boley, and M. Kifer, "RIF Datatypes and Built-Ins 1.0," W3C Working Draft, http://www.w3.org/2005/rules/wikiDTB, Mar. 2009.
[16] "XQuery 1.0 and XPath 2.0 Functions and Operators," W3C Recommendation, http://www.w3.org/TRxpath-functions/, Jan. 2007.
[17] M. Birbeck and S. McCarron, "CURIE Syntax 1.0: A Syntax for Expressing Compact URIs," W3C Working Draft, http://www.w3.org/TRcurie/, Apr. 2008.
[18] M. Kifer, "Rule Interchange Format: The Framework," Proc. Second Int'l Conf. Web Reasoning and Rule Systems (RR '08), D. Calvanese and G. Lausen, eds., pp. 1-11, Oct. 2008.
[19] G. Klyne and J. Carroll, "Resource Description Framework (RDF): Concepts and Abstract Syntax," http://www.w3.org/TR rdf-concepts /, Feb. 2004.
[20] D. Kapur and P. Narendran, "NP-Completeness of the Set Unification Matching Problems," Proc. Eighth Int'l Conf. Automated Deduction, pp. 489-495, 1986.
[21] A. Paschke, D. Hirtle, A. Ginsberg, P.-L. Patranjan, and F. McCabe, "RIF Use Cases and Requirements," W3C Working Draft, http://www.w3.org/2005/rules/wikiUCR, Mar. 2009.
[22] J. Lloyd, Foundations of Logic Programming, second ed. Springer-Verlag, 1987.
[23] H. Enderton, A Mathematical Introduction to Logic. Academic Press, 2001.
[24] P. Biron and A. Malhotra, "XML Schema Part 2: Datatypes Second Edition," W3C, W2C Recommendation, http://www.w3.org/TRxmlschemaa-2/, Oct. 2004.
[25] G. Yang, M. Kifer, and C. Zhao, "FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web," Proc. Int'l Conf. Ontologies, Databases and Applications of Semantics (ODBASE '03), pp. 671-688, Nov. 2003.
[26] M. Kifer, "FLORA-2: An Object-Oriented Knowledge Base Language," http:/flora.sourceforge.net, 2010.
[27] H. Thompson, "Normal Form Conventions for XML Representations of Structured Data," http://www.ltg.ed.ac.uk/htnormalForms.html , Oct. 2001.
[28] A. Riazanov, "VampirePrime Reasoner," Some Software for Public Use, http://www.freewebs.com/riazanovsoftware.htm , 2010.
[29] Ontoprise, GmbH "Ontobroker," http:/www.ontoprise.com/, 2010.
[30] A. Van Gelder, K. Ross, and J. Schlipf, "The Well-Founded Semantics for General Logic Programs," J. ACM, vol. 38, no. 3, pp. 620-650, http://citeseer.ist.psu.edugelder91wellfounded. html , 1991.
[31] M. Gelfond and N. Leone, "Logic Programming and Knowledge Representation—the A-Prolog Perspective," Artificial Intelligence, vol. 138, nos. 1/2, pp. 3-38, 2002.

Index Terms:
Logic programming, mathematical logic, Horn logic, F-logic, equality, deduction, IRI, XML, RIF.
Citation:
Harold Boley, Michael Kifer, "A Guide to the Basic Logic Dialect for Rule Interchange on the Web," IEEE Transactions on Knowledge and Data Engineering, vol. 22, no. 11, pp. 1593-1608, Nov. 2010, doi:10.1109/TKDE.2010.84
Usage of this product signifies your acceptance of the Terms of Use.