robot reason --annotate-inferred-axioms true annotates with string

[shawntanzk]

when using robot reason --annotate-inferred-axioms true, we end up with this axiom oboInOwl:is_inferred "true"^^xsd:string Should it be ^^xsd:boolean instead?

[jamesaoverton]

What does the OBO in OWL specification say it should be?

[matentzn]

[Term]
id: TMP:0000072
name: A
is_a: TMP:0000073 {is_inferred="true"} ! B

and

[Term]
id: TMP:0000072
name: A
is_a: TMP:0000073 {is_inferred=true} ! B

Both convert to:

SubClassOf(Annotation(<http://www.geneontology.org/formats/oboInOwl#is_inferred> "true"^^xsd:string) <http://purl.obolibrary.org/obo/TMP_0000072> <http://purl.obolibrary.org/obo/TMP_0000073>)

[matentzn]

(I guess you all heard the sigh :)

[balhoff]

If forgot this mapped to an OBO feature.

[matentzn]

Closing this in favour of https://github.com/owlcollab/oboformat/issues/142