Class hierarchy & "errors" for rdfs-namespace.xml

This Class hierarchy was produced by MKE (http://rhm.cdepot.net/bin/ke).
It uses the properSubClassOf relations defined in http://rhm.cdepot.net/xml/,
and includes the built-in classes of MKE/MKR.

There are still five genus errors which I need to resolve.
At the moment, I'm not sure which version of RDFS is correct.
# command <do check od unknown,genus done;>
# unknown count:         0
##### check genus <view = myview> #####
# genus error: (2) ContainerMembershipProperty iss (set[2]) <[part,rdfs:subPropertyOf]>
#              (0) ContainerMembershipProperty isu (set[0]) <[]>
# genus error: (2) XMLLiteral iss (set[2]) <[rdfs:Datatype,rdf:Literal]>
#              (0) XMLLiteral isu (set[0]) <[]>
# genus error: (2) _n iss (set[2]) <[rdfs:ContainerMembershipProperty,part]>
#              (0) _n isu (set[0]) <[]>
# genus error: (2) li iss (set[2]) <[xmlword,rdfs:ContainerMembershipProperty]>
#              (0) li isu (set[0]) <[]>
# genus error: (2) member iss (set[2]) <[rdfs:ContainerMembershipProperty,part]
#              (0) member isu (set[0]) <[]>
# genus count: 1528 items, 148 no genus (114 alternatives, 30 members)
# genus count: 1528 items, 5 errors (0 alternatives, 2 members)

Here's the input MKR script
<HTML>
<XMP>
# KEHOME/knowledge/applications/SemanticWeb/RDF/rdfshi.mkr
# Apr/28/2003

# check TABRASA=rdf
do print od "TABRASA = $TABRASA" done;

do read from http://www.w3.org/TR/rdf-schema/rdfs-namespace.xml done;

# print Class hierarchy
Resource isg* ?;

# check for undefined & multiply-defined classes
do check od unknown, genus done;

! deletecomment od rdfshi.out done;
exit;

</XMP>
</HTML>

and here's the output Class hierarchy.
$ export TABRASA=rdf
$ ke rdfshi.mkr

TABRASA = rdf
Resource
/  Property
//    action
///      COMMAND
////        ExtractData
////        altlist
////        altsize
////        cd
////        check
////        class
////        clist
////        clock
////        csize
////        date
////        day
////        delete
////        deletecomment
////        differentiate
////        dir
////        dump
////        ged
////        hidden
////        nvstack
////        entropy
////        exec
////        explorer
////        factsize
////        find
////        first-name
////        flist
////        fsize
////        fstatus
////        ftype
////        genus_list
////        genus_path
////        getenv
////        given-name
////        group_list
////        group_path
////        hdepth
////        help
////        hlevel
////        hwalk
////        import
////        integrate
////        interpret_line
////        isa_exp
////        isc_exp
////        kbdump
////        kbload
////        kbwrite
////        kdepth
////        klevel
////        klist
////        ksize
////        last-name
////        load
////        ged
////        ls
////        max
////        member_list
////        member_path
////        memlist
////        memsize
////        menu
////        middle-name
////        min
////        mkdir
////        month
////        mount hierarchy
////        nvtab
////        path2list
////        plist
////        print
////        psize
////        pwd
////        read
////        read directory
////        read tap
////        replace
////        rmdir
////        sh
////        size_act
////        size_alias
////        size_attr
////        size_echar
////        size_eobj
////        size_fact
////        size_genus
////        size_group
////        size_member
////        size_part
////        size_rel
////        size_unit
////        suffix-name
////        sum
////        surname
////        title-name
////        ulist
////        unique
////        unit_list
////        unit_path
////        usize
////        vdump
////        vload
////        vpop
////        vpush
////        vwrite
////        write
////        write directory
////        year
///      method
//    attribute
///      classname
///      fact
///      gtype
///      krtype
///      primitive
///      object
///      predicate
///      subject
///      type
///      value
///      rdfs
///      comment
///      domain
///      label
///      range
///      rootname
///      space
///      stv
///      time
///      variable
////        .
////        ..
////        ...
////        Assignment
////        Command
////        Every
////        If
////        Question
////        Sentence
////        charformat
////        cname
////        debug
////        echo
////        fd
////        fmode
////        fname
////        hchar
////        hcheck
////        hfocus
////        hformat
////        hmaxcount
////        hmaxlevel
////        hmethod
////        hminfactid
////        hop
////        hoseparator
////        hpad
////        hquote
////        hreduce
////        hrelation
////        htab
////        iversion
////        kcase
////        kehome
////        kerror
////        keview
////        kformat
////        klastid
////        kmapword
////        kname
////        kquote
////        kscdebug
////        kversion
////        menuwindow
////        mseparator
////        nvseparator
////        pronoun
////        pseparator
////        qseparator
////        relseparator
////        removehtml
////        roleseparator
////        savehref
////        submethod
////        systype
////        tapformat
///      view
////        tabula rasa
/////          myview
///      wexplore
//    interaction
//    part
///      member
///      _n
///      first
///      rest
///      ContainerMembershipProperty
////        _n
////        li
////        member
//    relation
///      RDF classes
///      RDF properties
///      seeAlso
////        isDefinedBy
///      subClassOf
////        subPropertyOf
/////          ContainerMembershipProperty
//////            _n
//////            li
//////            member
/  Entity
//    ANIMAL
///      Person
//    OBJECT
///      Container
////        Alt
////        Bag
////        Seq
/////          List
///      group
////        LATTICE
/////          hierarchy
/////          lattice
/////          unithierarchy
////        Set
////        concept
////        enumeration
////        exgroup
////        html
////        ingroup
////        list
////        mcf
////        owl
////        rdf
////        requisite
////        sequence
////        triple
////        xml
///      Literal
////        XMLLiteral
////        Datatype
/////          XMLLiteral
///      symbol
////        separator
////        word
/////          VERB
/////          conjunction
/////          control
/////          preposition
/////          quantifier
////        xmlword
/////          Description
/////          ID
/////          RDF
/////          about
/////          bagID
/////          datatype
/////          li
/////          nodeID
/////          parseType
/////          resource
/////          base
/////          lang
//    PLANT
/  proposition
//    context
//    newproposition
//    sentence
///      Statement
////        s_action
////        s_attribute
////        s_begin
////        s_change
////        s_conditional
////        s_definition
////        s_end
////        s_exit
////        s_group
////        s_hierarchy
/////          s_hostatement
////        s_html
////        s_identity
////        s_interaction
/////          s_causality
////        s_iteration
////        s_mcf
////        s_nt
////        s_part
////        s_rdf
////        s_relation
/////          s_relstatement
$
============ 
Dick McCullough 
knowledge := man do identify od existent done;
knowledge haspart proposition list;

Received on Monday, 28 April 2003 10:28:40 UTC