Rule-Based Reasoning, Programming, and Applications : 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings - Nick Bassiliades, Guido Governatori, Adrian Paschke ((Lecture Notes in Computer Science))