Beefy Boxes and Bandwidth Generously Provided by pair Networks
Do you know where your variables are?

Re: Re: toy subsumption classifier

by mdupont (Scribe)
on Mar 12, 2003 at 16:16 UTC ( #242407=note: print w/replies, xml ) Need Help??

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.....

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://242407]
and all is quiet...

How do I use this? | Other CB clients
Other Users?
Others scrutinizing the Monastery: (2)
As of 2017-07-28 04:13 GMT
Find Nodes?
    Voting Booth?
    I came, I saw, I ...

    Results (424 votes). Check out past polls.