Samuel's Tech 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.

I Just read this paper on using thea for OWL (Web Ontology Language) reasoning from within Prolog.

Pellet, the reasoning system already integrated in Bioclipse, is based on so called "Description Logics".

• Pellet is coupled with a Datalog reasoner. 1. Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y: Pellet: A practical OWL-DL reasoner. World Wide Web Internet And Web Information Systems 2007, 5:51-53.
• Datalog is a subset of Prolog
• Jena too seems to have a datalog implementation, according to http://en.wikipedia.org/wiki/Datalog
• DLP is the intersection of Horn logic and OWL, where as SWRL is (roughly) the union of them. <fn>1. Parsia B, Sirin E, Grau BC, Ruckhaus E, Hewlett D: Cautiously Approaching SWRL.