SigmaKEE-rs: An Embedded Ontological Reasoning System with Vampire as a Reusable Library Component
The engineering challenges encountered in adapting Vampire into a reusable component suitable for real-time, multi-query workloads are described, and preliminary performance results comparing the embedded approach with the traditional process-based invocation model used in the original Java-based SigmaKEE are reported.
T.-H. Kim, A. Pease
· 0 citations