Add ontology ID to horned-big output

Some tools fail to parse the output because this is missing.

horned-bin/src/bin/horned_big.rs

@@ -8,6 +8,7 @@ use horned_bin::write;
 use horned_owl::error::HornedError;
 use horned_owl::model::Build;
 use horned_owl::model::MutableOntology;
+use horned_owl::model::OntologyID;
 use horned_owl::ontology::component_mapped::RcComponentMappedOntology;
 use horned_owl::ontology::set::SetOntology;
 
@@ -48,6 +49,11 @@ pub(crate) fn matcher(matches: &ArgMatches) -> Result<(), HornedError> {
     let b = Build::new_rc();
     let mut o = SetOntology::new_rc();
 
+    o.insert(OntologyID {
+        iri: Some(b.iri("http://www.example.com/iri")),
+        viri: None
+    });
+
     for i in 1..size + 1 {
         o.declare(b.class(format!("https://www.example.com/o{}", i)));
     }