Trying to include this in my knowledge base:
owl:inverseOf owl:inverseOf owl:inverseOf
How will this effect the functioning of owl:inverseOf once such a statement is made in the knowledgebase? Is this modification locally possible?
The answer we came up with is that the statement will alter the inverseOf property modifier such that the new properties between which inverseOf is applied will now make them symmetric to each other. Is this correct? Please verify.
Using reserved vocabulary in axioms - e.g., trying to change the semantics of language defined properties - is an OWL 2 DL violation and won't be supported by any reasoner which only supports that profile. Most reasoners will ignore it, but they can also choose to throw an exception.
In other words, no effect or an error, depending on implementation choices.