owl-structural-model 2.0.4

Typed OWL 2 structural values for Rust
Documentation 
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

//! OWL 2 data ranges retain structure without evaluating datatype values.

mod support;

use iri_rfc3987::Iri;
use owl_structural_model::OwlLiteral;
type DataRange = owl_structural_model::DataRange;
type FacetRestriction = owl_structural_model::FacetRestriction;

fn iri(value: &str) -> Iri<String> {
    Iri::parse(value).unwrap().into()
}

fn datatype(name: &str) -> DataRange {
    DataRange::datatype(iri(&format!("http://www.w3.org/2001/XMLSchema#{name}")))
}

#[test]
fn every_data_range_form_round_trips_with_exact_literals() {
    let integer = iri("http://www.w3.org/2001/XMLSchema#integer");
    let five = OwlLiteral::typed("005", integer.clone()).unwrap();
    let min = FacetRestriction::new(
        iri("http://www.w3.org/2001/XMLSchema#minInclusive"),
        five.clone(),
    );
    assert_eq!(min.value(), &five);
    assert_eq!(
        min.facet(),
        &iri("http://www.w3.org/2001/XMLSchema#minInclusive")
    );
    let restricted = DataRange::datatype_restriction(integer, vec![min]).unwrap();
    // bounded: one example of each of the six OWL 2 data-range forms.
    let forms = [
        datatype("integer"),
        DataRange::data_intersection_of(vec![datatype("integer"), restricted.clone()]).unwrap(),
        DataRange::data_union_of(vec![datatype("string"), datatype("integer")]).unwrap(),
        DataRange::data_complement_of(restricted.clone()),
        DataRange::data_one_of(vec![
            five.clone(),
            OwlLiteral::language_tagged(
                "cinq",
                rdf_structural_model::LanguageTag::try_new("fr".to_owned()).unwrap(),
            ),
        ])
        .unwrap(),
        restricted,
    ];
    for range in forms {
        support::assert_round_trip(&range);
    }
    assert_ne!(
        five,
        OwlLiteral::typed("5", iri("http://www.w3.org/2001/XMLSchema#integer")).unwrap()
    );
}

#[test]
fn empty_and_singleton_boolean_data_ranges_are_rejected() {
    // bounded: the two invalid arities for intersection and union.
    for operands in [vec![], vec![datatype("integer")]] {
        assert!(DataRange::data_intersection_of(operands.clone()).is_err());
        assert!(DataRange::data_union_of(operands.clone()).is_err());
        let encoded = serde_json::to_string(&operands).unwrap();
        for kind in ["DataIntersectionOf", "DataUnionOf"] {
            let input = format!(r#"{{"{kind}":{encoded}}}"#);
            let error = serde_json::from_str::<DataRange>(&input).unwrap_err();
            assert!(error.to_string().contains("requires at least two"));
        }
    }
}

#[test]
fn empty_enumerations_and_facet_lists_are_rejected() {
    assert!(DataRange::data_one_of(vec![]).is_err());
    assert!(DataRange::datatype_restriction(iri("urn:datatype"), vec![]).is_err());
    let enumeration = serde_json::from_str::<DataRange>(r#"{"DataOneOf":[]}"#).unwrap_err();
    assert!(enumeration.to_string().contains("requires at least one"));
    let restriction = serde_json::from_str::<DataRange>(
        r#"{"DatatypeRestriction":{"datatype":"urn:datatype","restrictions":[]}}"#,
    )
    .unwrap_err();
    assert!(restriction.to_string().contains("requires at least one"));
}

#[test]
fn nested_deserialization_cannot_bypass_arity_checks() {
    let input = r#"{"DataComplementOf":{"DataUnionOf":[{"Datatype":"urn:datatype"}]}}"#;
    let error = serde_json::from_str::<DataRange>(input).unwrap_err();
    assert!(error.to_string().contains("requires at least two"));
}