Los DRSs pueden ser traducidas después a otros lenguajes formales, por ejemplo AceRules con varias semánticas, RuleML, OWL, y SWRL.