The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) Paschke Adrian Yvgen Biletskiy X X Springer