Advances in Rule Interchange and Applications : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings - Adrian Paschke, Yevgen Biletskiy ((Lecture Notes in Computer Science))