standalone interface to TAP KB and OpenCyc KB

Attention Mac owners:

1. If you're feeling adventurous, you can
    build your own Unicon binaries
    build your own MKE binaries
using the Unicon source and MKE source
    http://wcug.wwu.edu/~ender/unicon.html
    http://rhm.cdepot.net/download/kelin.zip

2. If you'd rather not, these shell commands 
require only Java and KornShell (or bash or zsh or ...)

    http://rhm.cdepot.net/bin/tapQuestion
    http://rhm.cdepot.net/bin/tapResource
    http://rhm.cdepot.net/bin/tapStatement
    http://rhm.cdepot.net/bin/cycQuestion

The input is (mostly) limited to simple MKR triples

    subject verb object

TAP examples:

    Person isa* ?
    Person has ?
    ? isa* Property

    ? isa UnitedStatesCity with name = Paris

    DickMcCullough isu Person

OpenCyc examples:

    #$Person isa* ?
    #$Person has ?
    #$Relation isc* ?
    #$Microtheory isg ?


Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

Received on Tuesday, 2 September 2003 04:39:39 UTC