Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

A Guide to the Basic Logic Dialect for Rule Interchange on the Web

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Boley, H. ; Inst. for Inf. Technol., Nat. Res. Council Canada, Fredericton, NB, Canada ; Kifer, M.

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.

Published in:

Knowledge and Data Engineering, IEEE Transactions on  (Volume:22 ,  Issue: 11 )