Hohfeld in cyberspace and other applications of normative reasoning in agent technology