http://www.perlmonks.org?node_id=242407


in reply to Re: toy subsumption classifier
in thread toy subsumption classifier

Thanks DeMerphQ.

RDF is just a format, but there are provers that allow you to write your facts and rules in RDF/N3

Please check out :CWM from TimBL and Euler .

Also, my port of Euler to dotgnu see My EulerSharp Node on the DotGNU Wiki

This will run on parrot later with the Parrot backend for DotGNU is done.

More to come.....