[Zero]

So, the plan is to use OrientDB as a container for Consnet/Implika networks.

OrientDB have main classes E and V for edges and Vertices. You can subclass them to make the db schema. The aim is to keep it as minimalist as possible. Here is a first attempt.

Code

V
    Cell                // Anything
        Content         // Schema-less data
        Wildcard        // Schematic variable
        Pair            // Implika starts here
            Link        // Generic link that can be defined by Type
            Type        // Implika, seen as type definition
            Context     // Implika, seen as context
            Rule        // Implika, seen as engine

E
    Antecedent      (Pair -> V)
    Consequent      (Pair -> V)
    Left            (Link -> V)
    Right           (Link -> V)
    Nature          (Type -> V)
    Substance       (Type -> V)
    Frame           (Context -> V)
    Focus           (Context -> V)
    Current         (Rule -> V)
    Next            (Rule -> V)

Words matter a lot. Of course, I understand that Implika alone can represent anything. But OrientDB has a way of making queries that could be better used if we give the db "hints" about how to use the structures.

Edit: second attempt

Code

V
    Cell            // An atomic thing
    Wildcard        // Schematic variable
    Link            // Generic link that can be defined by Type
        Type        // Links a generic link to its type
        Context     // Links a subject to a frame
        Rule        // Links a "before" to an "after" in forward chaining
        Truth       // Links a statement to a truth expression

E
    RuleEdge
        Antecedent      (Rule -> V)
        Consequent      (Rule -> V)
    LinkEdge
        Left            (Link -> V)
        Right           (Link -> V)
    TypeEdge
        Nature          (Type -> V)
        Substance       (Type -> V)
    ContextEdge
        Subject         (Context -> V)
        Frame           (Context -> V)
    TruthEdge
        State           (Truth -> V)
        Value           (Truth -> V)

Edit: third version, see below.

[ivan.moony]

I'd like to see more about the project. Also, my long term memory sucks, so I forgot a bit about Consnet. Maybe you have a link, or you want to compose a project elaboration. Writing specifications about a project is a good way to initially gather up your thoughts and polish up crude details. It is a good mile away from specific implementation, but still it may be a place to start.

[Zero]

http://thinkbots.are.free.fr/Dejavu/

There's not a lot of things to read, but that's the project.
It's wide open to contributions / modifications / suggestions.

[Zero]

Third version.

Code

V
    Cell                    // Anything
        Terminal            // Something with outdegree 0
            Constant        // Schematic constant
            Variable        // Schematic variable
        Pair                // Something with outdegree 2
            Link            // Generic link that can be defined by Type
            Type            // Links a generic link to its type
            Context         // Links a subject to a frame
            Implication     // Links an antecedent to a consequent
            Truth           // Links a statement to a truth expression
            Grounding       // Links a symbol to a referent
E
    Association
        LinkEdge
            Left            (Link -> V)
            Right           (Link -> V)
        TypeEdge
            Substance       (Type -> V)
            Nature          (Type -> V)
        ContextEdge
            Focus           (Context -> V)
            Frame           (Context -> V)
        ImplicationEdge
            Antecedent      (Rule -> V)
            Consequent      (Rule -> V)
        TruthEdge
            State           (Truth -> V)
            Value           (Truth -> V)
        GroundingEdge
            Symbol          (Grounding -> V)
            Referent        (Grounding -> V)

Vertex

    Cell (Abstract) (Super V)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Terminal (Abstract) (Super V Cell)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        Label               STRING (Mandatory Not_Null)
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Constant (Super V Terminal)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        Label               STRING (Mandatory Not_Null)
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Variable (Super V Terminal)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        Label               STRING (Mandatory Not_Null)
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Pair (Abstract) (Super V Cell)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Link (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Type (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Context (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Implication (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Truth (Super V Pair)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

Edge

    Association (Abstract) (Super E)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    LinkEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    TypeEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    ContextEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    ImplicationEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    TruthEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    GroundingEdge (Abstract) (Super Association)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Left (Super LinkEdge) (From Link) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Right (Super LinkEdge) (From Link) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Substance (Super TypeEdge) (From Type) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Nature (Super TypeEdge) (From Type) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Focus (Super ContextEdge) (From Context) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Frame (Super ContextEdge) (From Context) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Antecedent (Super ImplicationEdge) (From Implication) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Consequent (Super ImplicationEdge) (From Implication) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    State (Super TruthEdge) (From Truth) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Value (Super TruthEdge) (From Truth) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Symbol (Super GroundingEdge) (From Grounding) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN

    Referent (Super GroundingEdge) (From Grounding) (To *)
        Comment             STRING
        CreationDate        DATETIME
        Creator             LINK
        ModificationDate    DATETIME
        Temporary           BOOLEAN