W3C maintains a public list of any patent disclosures made in connection with the deliverables of the group that page also includes instructions for disclosing a patent. This document was produced by a group operating under the 5 February 2004 W3C Patent Policy. This enhances the functionality and interoperability of the Web. W3C's role in making the Recommendation is to draw attention to the specification and to promote its widespread deployment. It is a stable document and may be used as reference material or cited from another document.
#Subsume logic software#
This document has been reviewed by W3C Members, by software developers, and by other W3C groups and interested parties, and is endorsed by the Director as a W3C Recommendation.
Open discussion among developers is welcome at ( public archive). Although work on this document by the Rule Interchange Format (RIF) Working Group is complete, comments may be addressed in the errata or in future revisions. For details on earlier changes, see the change log. There have been no changes to the body of this document since the previous version. RIF Combination with XML data (Second Edition).RIF RDF and OWL Compatibility (Second Edition).RIF Datatypes and Built-Ins 1.0 (Second Edition).RIF Framework for Logic Dialects (Second Edition) (this document).RIF Production Rule Dialect (Second Edition).RIF Basic Logic Dialect (Second Edition).RIF Use Cases and Requirements (Second Edition).This document is being published as one of a set of 13 documents: A list of current W3C publications and the latest revision of this technical report can be found in the W3C technical reports index at. Other documents may supersede this document. This section describes the status of this document at the time of its publication.
Status of this Document May Be Superseded The actual dialects should specialize this framework to produce their syntaxes and semantics. The framework describes mechanisms for specifying the syntax and semantics of logic RIF dialects through a number of generic concepts such as signatures, symbol spaces, semantic structures, and so on. This document, developed by the Rule Interchange Format (RIF) Working Group, defines a general RIF Framework for Logic Dialects (RIF-FLD).
0 kommentar(er)
