change evaluation to use the weakest link strategy
fix invalid formatting of the aspic file
fix invalid call to get
Fixed a bug in aspic.clj of the CarneadesEngine project.
Merge branch 'aspic-weakestlink' of https://github.com/carneades/carneades into aspic-weakestlink
update kr library, fix maven dependencies
correct expected result for the library test
restore the use of the owl API and owl reasoner
Merge branch 'origin-origin-aspic-weakestlink'

Conflicts:
	src/CarneadesEngine/project.clj