[The www-rdf-logic forum is] 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.
- Topics include DAML+OIL and DAML-S
- Mailing list has 240+ addresses