Skip to content

ikmdev/ikm-reasoner

Repository files navigation

ELK Reasoner for IKM

This is a fork of the ELK Reasoner

Primary changes:

  • Implement modules (JPMS)
  • Remove some modules including proofs (and puli support)
  • Replace guava with java.util and Eclipse collections
  • Replace custom collections with Eclipse collections
  • Addition of SNOMED POJO model, reasoner, and parser (without dependency on the OWLAPI)

Requires Java 23.

To build on Unix/Linux/OSX: ./mvnw clean install

On Windows: ./mvnw.cmd clean install

To run the integration tests:

./mvnw clean install -DskipITs=false

The integration tests require the SNOMED test data artifacts from the reasoner-test-data project

Available at Maven Central

Team Ownership - Product Owner

Data Team - Eric Mays (External) [email protected]

Issues and Contributions

Technical and non-technical issues can be reported to the Issue Tracker.

Contributions can be submitted via pull requests. Please check the contribution guide for more details.