A guide to the basic logic dialect for rule interchange on the web

  1. (PDF, 339 KB)
  2. Get@NRC: A guide to the basic logic dialect for rule interchange on the web (Opens in a new window)
DOIResolve DOI: http://doi.org/10.1109/TKDE.2010.84
AuthorSearch for: ; Search for:
Journal titleIEEE Transactions on Knowledge and Data Engineering (TKDE)
SubjectInformation and Communications Technologies
AbstractThe W3C Rule Interchange Format (RIF) is a forthcoming standard for exchanging rules among different systems and for 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 IRIs (Internationalized Resource Identifiers), XML Schema datatypes, and is aligned with RDF and OWL. This article 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 space limitations, including datatypes, built-ins, and the integration with RDF and OWL.
Publication date
AffiliationNational Research Council Canada (NRC-CNRC); NRC Institute for Information Technology
Peer reviewedYes
NPARC number15200003
Export citationExport as RIS
Report a correctionReport a correction
Record identifier69785109-3c89-475a-b0f4-fe34243ab0c0
Record created2010-06-10
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)
Date modified: