A Comparison of Four Ontologies for the Design of Legal Knowledge Systems