Semantic web rule languages