triblespace 0.36.0

The Triblespace: A lightweight knowledge base for rust.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

use crate::entity;
use crate::pattern_changes;
use triblespace::prelude::*;

pub mod literature {
    use triblespace::prelude::*;

    attributes! {
        "8F180883F9FD5F787E9E0AF0DF5866B9" as author: valueschemas::GenId;
        "0DBB530B37B966D137C50B943700EDB2" as firstname: valueschemas::ShortString;
        "6BAA463FD4EAF45F6A103DB9433E4545" as lastname: valueschemas::ShortString;
        "A74AA63539354CDA47F387A4C3A8D54C" as title: valueschemas::ShortString;
    }
}

#[test]
fn pattern_changes_finds_new_inserts() {
    let base = TribleSet::new();

    let mut updated = base.clone();
    let shakespeare = ufoid();
    let hamlet = ufoid();
    updated += entity! { &shakespeare @ literature::firstname: "William", literature::lastname: "Shakespeare" };
    updated += entity! { &hamlet @ literature::title: "Hamlet", literature::author: &shakespeare };

    let delta = updated.difference(&base);

    let results: Vec<_> = find!(
        (author: Value<_>, book: Value<_>, title: Value<_>),
        pattern_changes!(&updated, &delta, [
            { ?author @ literature::firstname: "William", literature::lastname: "Shakespeare" },
            { ?book @ literature::author: ?author, literature::title: ?title }
        ])
    )
    .collect();

    assert_eq!(
        results,
        vec![(
            shakespeare.to_value(),
            hamlet.to_value(),
            "Hamlet".to_value(),
        )]
    );
}

#[test]
fn pattern_changes_empty_delta_returns_no_matches() {
    let mut kb = TribleSet::new();
    let shakespeare = ufoid();
    kb += entity! { &shakespeare @ literature::firstname: "William", literature::lastname: "Shakespeare" };

    let delta = TribleSet::new();

    let results: Vec<_> = find!(
        (a: Value<_>),
        pattern_changes!(&kb, &delta, [
            { ?a @ literature::lastname: "Shakespeare" }
        ])
    )
    .collect();

    assert!(results.is_empty());
}

/// Regression: pattern_changes with a multi-entity join should only return
/// results involving at least one trible from the delta. When the delta adds
/// a new book by an existing author, only the new book's title should appear,
/// not the existing book's title.
#[test]
fn pattern_changes_multi_entity_delta_only_new_results() {
    let shakespeare = ufoid();
    let hamlet = ufoid();
    let macbeth = ufoid();

    // Base: Shakespeare + Hamlet
    let mut base = TribleSet::new();
    base += entity! { &shakespeare @ literature::firstname: "William", literature::lastname: "Shakespeare" };
    base += entity! { &hamlet @ literature::title: "Hamlet", literature::author: &shakespeare };

    // Delta: only Macbeth (references existing shakespeare entity)
    let mut delta = TribleSet::new();
    delta += entity! { &macbeth @ literature::title: "Macbeth", literature::author: &shakespeare };

    // Full = base + delta
    let full = base + delta.clone();

    // Should find only Macbeth — Hamlet has no tribles in delta.
    let results: Vec<String> = find!(
        title: String,
        pattern_changes!(&full, &delta, [
            { _?author @ literature::firstname: "William" },
            { _?book @ literature::author: _?author, literature::title: ?title }
        ])
    )
    .collect();

    assert_eq!(
        results,
        vec!["Macbeth".to_string()],
        "expected only new book, got: {results:?}"
    );
}