From 8919f1224f84377361bf78f7a946e56d3ed3a30b Mon Sep 17 00:00:00 2001 From: Phillip Lord Date: Tue, 18 Jun 2024 09:01:37 +0100 Subject: [PATCH] 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 | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/horned-bin/src/bin/horned_big.rs b/horned-bin/src/bin/horned_big.rs index c79b039..654e4a8 100644 --- a/horned-bin/src/bin/horned_big.rs +++ b/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))); }