Legal ontologies: a functional view