Ontologies in the design of legal information systems; towards a library of legal domain ontologies