I have different annotations in my ontology, and defined for some of them a domain, to set up the classes it applies to.
I noticed that in Protege, in the annotation description window, there is only the possibility to define one class. I would like to set up a formula like <class1> or <class2>, as I do this for object properties.
Is it possible ?
I edited my OWL file in Notepad++ and entered a <UnionOf> formula in the domain property, and when I go back to protegé, it appears like a generic id : _:genid2147483648
If I do this, is there an easy ay to get the source definition of this id (i.e. the 'or' formula), especially with owlready2 ?
So I wonder if there is a way to achive this. My end users are familiar with Protege.
Annotation properties are not supposed to be used by reasoners, so this might explain why class constructs like union are not accepted in their domain in Protégé. Nevertheless, Owlready manages the domain attribute of all types of properties in the same way, so you can use unions in annotation property domains with Owlready. I have no idea whether other tools (like Protégé) will support that or not.