[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Like to do something about logic on the Web?
- From: Uche Ogbuji <email@example.com>
- To: firstname.lastname@example.org
- Date: Fri, 11 May 2001 00:10:25 -0600 (MDT)
The thread inspired by loose invokation of Herr Gödel in the context
of the Semantic Web comes at an opportune time.
In an older release of 4RDF (part of 4Suite), we included a prototype
inferencing system for RDF, called RDF inference language (RIL), which I
discuss in an XML.com article. To the extent that FOL and inferencing
are useful in processing XML metadata (I, as always, make no claim for
the feasibility if the overall Semantic Web), RIL aims to provide a simple
and practical approach to such processing.
We have recently gone through the motions of opening up RIL for community
development and discussion. I have posted a draft of RIL to its
mailing list, and the large amount of work that needs to be done to
analyze, design, formalize, describe and implement RIL is beginning in
discussion on the list.
There is a great deal of contribution that could be made by those
hereabouts, and this is work that is intended for implementation
straightaway: there has been interest from developers of more RDF
implementations than just 4RDF.
So please, do join the RIL mailing list and contribute your ideas on a
lightweight, practical RDF inference mechanism.
Uche Ogbuji Principal Consultant
email@example.com +1 303 583 9900 x 101
Fourthought, Inc. http://Fourthought.com
4735 East Walnut St, Ste. C, Boulder, CO 80301-2537, USA
Software-engineering, knowledge-management, XML, CORBA, Linux, Python