rete-cli 0.4.2

CLI to build and inspect Rete graph files.
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

mod common;

use predicates::prelude::*;

#[test]
fn communities_reach_reason_and_shacl_cover_analysis_paths() {
    let fixture = common::fixture();
    let with_pyramid = fixture.path("pyramid.rete");
    common::build(&fixture.source, &with_pyramid, &[]);

    let communities = common::json(
        common::rete()
            .arg("communities")
            .arg(&with_pyramid)
            .arg("--json"),
    );
    assert_eq!(communities["schemaVersion"], 1);
    assert!(communities["communities"].is_array());

    common::rete()
        .arg("reach")
        .arg(&fixture.rete)
        .args([
            "--predicate",
            "<http://example.test/knows>",
            "--seed",
            "<http://example.test/alice>",
            "--count",
        ])
        .assert()
        .success()
        .stdout(predicate::str::contains("1 node"));

    common::rete()
        .arg("reason")
        .arg(&fixture.rete)
        .arg("--check")
        .assert()
        .success()
        .stdout(predicate::str::contains("coherent"));

    let shapes = fixture.write("empty.ttl", "@prefix sh: <http://www.w3.org/ns/shacl#> .\n");
    let shacl = common::json(
        common::rete()
            .arg("shacl")
            .arg(&fixture.rete)
            .arg("--shapes")
            .arg(&shapes)
            .args(["--format", "json"]),
    );
    assert_eq!(shacl["schemaVersion"], 1);
    assert_eq!(shacl["conforms"], true);
    assert!(shacl["results"].is_array());

    common::rete()
        .arg("communities")
        .arg(&with_pyramid)
        .args(["--profile", "--predicate", "<http://example.test/knows>"])
        .assert()
        .success()
        .stdout(predicate::str::contains("community"));

    let seeds = fixture.write("seeds.txt", "<http://example.test/bob>\n");
    common::rete()
        .arg("reach")
        .arg(&fixture.rete)
        .arg("--predicate")
        .arg("<http://example.test/knows>")
        .arg("--seeds-file")
        .arg(&seeds)
        .args(["--reverse", "--parallel"])
        .assert()
        .success()
        .stdout(predicate::str::contains("example.test/alice"));

    common::rete()
        .arg("reason")
        .arg(&fixture.rete)
        .args(["--materialize", "--format", "ttl"])
        .assert()
        .success()
        .stdout(predicate::str::contains("<http://example.test/alice>"));

    let stamped = fixture.path("stamped.rete");
    common::build(&fixture.source, &stamped, &["--no-pyramid", "--reason"]);
    common::rete()
        .arg("reason")
        .arg(&stamped)
        .arg("--verify-card")
        .assert()
        .success()
        .stdout(predicate::str::contains("verified"));
}