Building intelligent legal information systems: representation and reasoning in law