SOVS is the Simple Ontology Visualization Specification language.

This crate consists of three components: The SOVS language itself, the verifier, and a test suite.

Using SOVS to verify a visualization requires the following steps:

• Define a conversion from your visualization format to a SOVS graph (i.e. implementing From/TryFrom<T> for Specification).
• For each test case in the suite:
  • Turn the ontology into your visualization format.
  • Turn that into a SOVS graph using the previously defined conversion.
  • Compare the two using Specification::is_isomorphic_to.

In Rust, this would be something like:

#[test]
fn sovs_suite() {
    for test_case in sovs_parser::test_cases() {
        let visualization = Visualization::new(test_case.text);
        let sovs = Specification::from(visualization);
        assert!(sovs.is_isomorphic_to(test_case.specification));
    }
}

The syntax of SOVS is as follows:

For examples, see the test suite.