A hybrid reasoner based on ELK, but using structural subsumption for the SNOMED situation with explicit context hierarchy.
A prototype implementation including temporal reasoning is in the hybrid-reasoner module.
The hybrid-reasoner-snomed module scales to SNOMED and is based on the IKM reasoner elk-snomed implementation.
Requires Java 24.
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
Data Team - Eric Mays (External) emays@mays-systems.com
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.