Using an individual as the object of an annotation axiom

[dosumis]

It is not possible to use an individual as the object of an annotation axiom specified using scowl annotation or annotations.

I believe this is legal (if slightly odd) OWL. Protege handles it fine, e.g.:

Would it be too much of a stretch to extend SCOWL to handle this?

[dosumis]

Example (Manchester Syntax):

[dosumis]

This issue is now a blocker for me (urgently required for SynGO project). Any chance you could let me know how likely it is you'll be able to add this functionality and if so what a likely timescale might be? If this is not likely to be added soon, could you share some code showing how to do this directly with the OWL-API?

Many thanks!

[dosumis]

Scratch that. Now got it working by converting all OWLNamedIndividuals to IRIs (after figuring out javadoc for OWLAnnotationAxiom). Perhaps worth adding an example of how to do this do your docs?

[balhoff]

David, it's the same situation as for using OWLIndividuals as subjects of annotations. It works much more cleanly if your object is typed as either an OWLNamedIndividual or an OWLAnonymousIndividual. There is some awkwardness in the class hierarchy there, and if I add the implicit conversions needed for supporting OWLIndividual, the implicits become ambiguous because more than one can apply, so the compiler complains.

Can you type everything as OWLNamedIndividual? I don't think you need to collapse them to IRIs.