Latest on DAML Rules. See also presentations on RuleML, material from Benjamin Gosof & Harold Boley. See also...Description Logic Programs, Combining Logic Programs with Description Logic, (with Ian Horrocks) which provides in particular KR theory for RuleML rules on top of OWL/RDFS ontologies.

Plenty of weekend reading...what day is it?