The www-rdf-logic list provides a forum for technical discussion concerning the design of logic-based languages for use on the Web.
ScopeWhile W3C's existing work in this area has focussed on the XML, RDF and URI specifications, the www-rdf-logic forum is intended to facilitate discussion drawing upon a wide variety of research in the Web/logic/ontologies area.
W3C provides the www-rdf-logic forum as a home for detailed technical discussion of all approaches to the use of classical logic on the Web for the representation of data such as inference rules, ontologies, and complex schemata. The logic list, through association with the RDF Interest Group, also serves as a mechanism to provide input into W3C's Semantic Web activities, in particular relating to future directions for the Resource Description Framework.
The RDF Interest Group is part of the Resource Description Framework work item within the W3C Metadata Activity