Sei RIF Working Drafts pubblicate; Last Call per Basic Logic Dialect e RDF-OWL

The Rule Interchange Format (RIF) Working Group published six documents yesterday:

"RIF Basic Logic Dialect" (BLD) specifies an XML format for rules at an intermediate expressive power. The language is roughly Horn rules with URIs, datatypes, and builtins. This goes beyond datalog (it has function terms), it but does not provide any kind of negation. "RIF RDF and OWL Compatibility" explains and specifies how RIF rulesets are to be used in combination with RDF and OWL. Comments on these documents welcome until 19 September. In addition, RIF Production Rule Dialect (PRD) specifies an XML format for the exchange of production rules. PRD and BLD are expected to be the basis of the two main dialect-branches, with RIF Core being the things in common between the two. RIF Framework for Logic Dialects (FLD) and RIF Datatypes and Builtins (DTB) provide common elements for specific dialects to use. RIF Uses Cases and Requirements (UCR), last published about two years ago, has been simplified and now has examples written in the PRD and BLD presentation syntaxes. Learn more about the Semantic Web Activity. (Archivio News Inglese, Italiano)