Towards a legal analogical reasoning system: knowledge representation and reasoning methods