ontodev / robot

ROBOT is an OBO Tool
http://robot.obolibrary.org
BSD 3-Clause "New" or "Revised" License
259 stars 73 forks source link

Update Elk to 0.6.0 in pom.xml #1201

Closed matentzn closed 4 months ago

matentzn commented 4 months ago

This PR adds and updated version of the Elk reasoner to ROBOT, see https://github.com/liveontologies/elk-reasoner/issues/48#issuecomment-2130090254.

ykazakov commented 4 months ago

Are you sure you need elk-distribution-owlapi and not just elk-owlapi? Also, log4j was removed from ELK, so there is no need to exclude this dependency.

matentzn commented 4 months ago

Are you sure you need elk-distribution-owlapi and not just elk-owlapi? Also, log4j was removed from ELK, so there is no need to exclude this dependency.

@ykazakov thanks for the comment. When I checked I think there was only "distribution", but most likely I was just blind. I changed it now, and it does work!