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