Una metodologia per la rappresentazione della conoscenza giuridica: l'ontologia formale applicata al diritto