The W3C’s Rule Interchange Format Working Group has published “last call” drafts of two of its specifications for RIF:

• 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 by having function terms but does not provide any kind of negation, including no negation-as-failure. Additional features, including negation, may be provided by future dialects which extend BLD.
• RIF, RDF and OWL Compatibility explains and specifies how RIF rulesets are to be used in combination with RDF and OWL.

Sandro Hawk writes that:

“This is the time for people to read them and tell us about anything that doesn’t seem right. After this, if you don’t like something in the spec, it will be increasingly hard to get it changed. We would like comments by September 19 in order to consider them for our next set of revisions.”

Categories: GENERAL, , Related posts: • W3C Rule Interchange Format WG publishes usecase and requirements study;  • Knowledge representation language landscape;  • CFP: RuleML Symposium;   Comments: none