Rules and ruleML in the semantic Web - Grosof, Benjamin (IEEE Intelligent Systems)