[Wiki-research-l] [RuleML+RR 2025] Call for papers