DbPedians,

I hope you all will take a look at RIF (the Rules Interchange Format).  I 
believe it will prove to be very useful for linked data applications.  It has 
reached a stable form now as a standard, and we are making a last call for 
comments.

The spec appears in six documents, described below.  I think the Core and 
RDF&OWL documents will be of most interest to the LOD community.

Please have a look and send feedback to [email protected]

-------
W3C Press Release                                                               
July 3, 2009

W3C Announces Rules Standard for the Semantic Web

2009-07-03: The Word Wide Web Consortium (W3C) Rule Interchange Format (RIF) 
Working Group [see: http://www.w3.org/2005/rules] has announced a Last Call for 
comments on stable versions of three rule dialects for the Semantic Web:

Basic Logic Dialect (BLD): [http://www.w3.org/TR/rif-bld/] is a dialect for 
rules interchange between logic-based rule languages.  RIF-BLD is an extension 
of Horn logic including equality, functions, datatypes, built-ins and 
compatibility with established semantic web standards like RDF and OWL.  From a 
rule language perspective, BLD was designed to capture the intersection between 
logic programming and first-order languages, and to be extendable to more 
expressive languages.

Production Rule Dialect (PRD): [http://www.w3.org/TR/rif-prd/] is a dialect for 
rules interchange between commercial production rules systems.  RIF-PRD was 
designed to capture the intersection between known production rule systems 
while 
maximizing overlap with RIF-BLD.

Core Dialect: [http://www.w3.org/TR/rif-core/] is a very simple dialect that 
captures one possible set of features in common between production rule and 
logic-based rule systems and the semantic web.
All dialects have a normative XML exchange syntax and support for XML Schema 
Datatypes.

In addition to these three rule language dialects, RIF has published three 
other 
companion documents:

RIF and OWL Compatibility (RDF+OWL): [http://www.w3.org/TR/rif-rdf-owl/] 
describes the details of using RIF Core and BLD with the semantic web standards 
RDF and OWL-2.

RIF Datatypes and Builtins (DTB): [http://www.w3.org/TR/rif-dtb/] describes the 
extensive datatype support and associated builtin functions and predicates for 
them.

RIF Framework for Logic Dialects (FLD): [http://www.w3.org/TR/rif-fld] 
describes 
a framework for extending RIF-BLD to more expressive rule dialects that include 
e.g. negation, non-monotonic features, full first order logic, etc.

The RIF Working Group requests comments be sent to [email protected] 
by 
31 July 2009.



-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
[email protected]                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty

------------------------------------------------------------------------------
_______________________________________________
Dbpedia-discussion mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/dbpedia-discussion

Reply via email to