The W3C Rule Interchange Format working group
http://www.w3.org/2005/rules/wiki/RIF_Working_Grouphas released a number of documents.
All the documents below have the "last call" status in the W3C-speak.
Comments from the public to the Working Group are welcome at
mailto:
public-rif-comments@...
http://www.w3.org/2005/rules/wiki/BLD - Basic logic dialect
(Horn with syntac extensions)
http://www.w3.org/2005/rules/wiki/FLD - Framework for logic dialects
Framework for defining expressive logic
dialects, including those with default
and explicit negation.
http://www.w3.org/2005/rules/wiki/SWC - RDF and OWL compatibility
Defines the BLD+RDF and BLD+OWL dialects
http://www.w3.org/2005/rules/wiki/DTB - RIF data types and built-ins
http://www.w3.org/2005/rules/wiki/Core - The core RIF dialect.
A simple sub-dialect of BLD (no
function symbols and other
restrictions).
http://www.w3.org/2005/rules/wiki/PRD - RIF production rule dialect
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog