Rule-based reasoning, programming, and applications 5th international symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011 ; proceedings (Springer, 2011)