RuleML 2002: Sardinia, Italy