athene-owlapi 0.0.1

This package provides a Rust API for OWL that adheres as closely as possible to the OWL 2 Web Ontology Language Structural Specification. 
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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148

use athene_owlapi::{
    Ontology, OntologyDocument,
    axioms::{Declaration, SubClassOf},
    builders::{AnnotationBuilder, Builder},
    entities::{Class, EntityTrait},
};
use rdftk_iri::Iri;
use std::str::FromStr;

#[test]
fn test_section_3p4_example_ontology() {
    let example = Ontology::builder()
        .with_ontology_iri(Iri::from_str("http://www.example.com/importing-ontology").unwrap())
        .with_direct_import(Iri::from_str("http://www.example.com/my/2.0").unwrap())
        .build()
        .unwrap();

    assert_eq!(
        "Ontology( <http://www.example.com/importing-ontology> Import( <http://www.example.com/my/2.0> ) )",
        format!("{example}")
    );

    assert_eq!(
        "Ontology(
    <http://www.example.com/importing-ontology>
    Import(
        <http://www.example.com/my/2.0>
    )
)",
        format!("{example:#}")
    );
}

#[test]
fn test_section_3p4_example_ontology_document() {
    let example = Ontology::builder()
        .with_ontology_iri(Iri::from_str("http://www.example.com/importing-ontology").unwrap())
        .with_direct_import(Iri::from_str("http://www.example.com/my/2.0").unwrap())
        .build()
        .unwrap();

    let doc = OntologyDocument::builder()
        .with_default_namespace(Iri::from_str("http://www.example.com/importing-ontology").unwrap())
        .with_ontology(example)
        .build()
        .unwrap();

    assert_eq!(
        "Prefix( : = <http://www.example.com/importing-ontology> ) Ontology( <http://www.example.com/importing-ontology> Import( <http://www.example.com/my/2.0> ) )",
        format!("{doc}")
    );

    assert_eq!(
        "Prefix(
    : = <http://www.example.com/importing-ontology>
)
Ontology(
    <http://www.example.com/importing-ontology>
    Import(
        <http://www.example.com/my/2.0>
    )
)",
        format!("{doc:#}")
    );
}

#[test]
fn test_section_3p7_example_ontology_document() {
    let example = Ontology::builder()
        .with_ontology_iri(Iri::from_str("http://www.example.com/ontology1").unwrap())
        .with_direct_import(Iri::from_str("http://www.example.com/ontology2").unwrap())
        .with_rdfs_label("An example")
        .with_class_axiom(SubClassOf::new(
            Class::new(Iri::from_str("http://www.example.com/ontology1#Child").unwrap()),
            Class::new(Iri::from_str("http://www.w3.org/2002/07/owl#Thing").unwrap()),
        ))
        .build()
        .unwrap();

    let doc = OntologyDocument::builder()
        .with_default_namespace(Iri::from_str("http://www.example.com/ontology1#").unwrap())
        .with_ontology(example)
        .build()
        .unwrap();

    assert_eq!(
        "Prefix( : = <http://www.example.com/ontology1#> ) Ontology( <http://www.example.com/ontology1> Import( <http://www.example.com/ontology2> ) Annotation( rdfs:label \"An example\" ) SubClassOf( :Child owl:Thing ) )",
        format!("{doc}")
    );

    assert_eq!(
        "Prefix(
    : = <http://www.example.com/ontology1#>
)
Ontology(
    <http://www.example.com/ontology1>
    Import(
        <http://www.example.com/ontology2>
    )
    Annotation(
        rdfs:label
        \"An example\"
    )
    SubClassOf(
        :Child
        owl:Thing
    )
)",
        format!("{doc:#}")
    );
}

#[test]
fn test_ontology_version_without_ontology_iri_error() {
    let result = Ontology::builder()
        .with_version_iri(Iri::from_str("http://www.example.com/importing-ontology").unwrap())
        .with_direct_import(Iri::from_str("http://www.example.com/my/2.0").unwrap())
        .build();
    assert!(result.is_err());
}

#[test]
fn test_simple_ontology_with_declaration() {
    let example = Ontology::builder()
        .with_ontology_iri(Iri::from_str("http://www.example.com/ex-ontology/").unwrap())
        .with_declaration(Declaration::new(
            Class::new(Iri::from_str("http://www.example.com/ex-ontology/Car").unwrap()).into(),
        ))
        .build()
        .unwrap();

    assert_eq!(
        r"Ontology( <http://www.example.com/ex-ontology/> Declaration( Class( <http://www.example.com/ex-ontology/Car> ) ) )",
        format!("{example}")
    );

    assert_eq!(
        r"Ontology(
    <http://www.example.com/ex-ontology/>
    Declaration(
        Class(
            <http://www.example.com/ex-ontology/Car>
        )
    )
)",
        format!("{example:#}")
    );
}