Author: RuleML 2003 (2003 Sanibel, Fla.)