Samuel's Project Blog

As a subproject, I'm now focusing on doing some comparison between reasoning in Prolog and Pellet, using example data from NMRShiftDB.org. Below I'm documenting my planning, + any new findings while I'm digging in to this subpeoject.