Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings - Paschke, Adrian; Biletskiy, Yevgen (Springer Berlin Heidelberg, 2007)