food for thought: KR-RDFS aliases

Note: ??? for RDFS basically means here's an important Class that has yet to be defined,
                                                   or here's a missing feature of the language

Class hierarchy outline
=================
existent is Resource
    entity is Entity
        animal is Animal
            person is Person
        plant
        object
            internet is Internet
            ke is Knowledge Explorer
            group is Container  # approximately
                enumeration is Alt
                bag is Bag
                set is ???
                    company is Company
                    class names is rdfs:Class
                list is Seq
                sequence is ???   # order = time
                hierarchy is ???    # unique genus, disjoint subclasses
                lattice is ???        # ambiguous genus, overlapping subclasses
                file is ???
    characteristic is Property
        attribute is ???    # static property, e.g.: sex
        action is ???        # dynamic property, e.g.: walk
            measure existent is ???
            classify existent is ???
            integrate concepts is ???
            differentiate concept is ???
        relation is ???        # relation property, e.g.: subClassOf
        part is ???                # composition property, e.g.: leg
    proposition is ???
        context is ???
        sentence is ???
            statement is Statement  # approximately
                definition is ???
                    n-ary relation definition is ???
                    method definition is ???
                attribute statement is ???    # static
                action statement is ???        # dynamic
                relation statement is ???        # relation
                    causality statement is ???        # action:1 causes action:2  (events)
                    meaning statement is ???        # symbol means referent
                part statement is ???            # composition
                conditional statement is ???    # if then else if
                iteration statement is ???        # every
                forSome statement is forSome statement  # approximately
                forAll statement is forAll statement  # approximately
            question is ???
            command is ???
            assignment is ???
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition

Received on Saturday, 23 November 2002 05:53:54 UTC