Proposal to resolve ISSUE-81

To resolve this issue I propose that NegativeObjectPropertyAssertion  
be transformed into the equivalent class assertion. In order to  
support tools that wish to preserve the presentation of this axiom as  
NegativeObjectPropertyAssertion we use the axiom annotation mechanism  
with a new annotation property: syntaxHint.  syntaxHint would be  
considered optional - not all tools need serialize using it, nor all  
tool pay attention to it.

So

NegativeObjectPropertyAssertion(hasMother John Mary)

Is translated in to

ClassAssertion(
   Annotation(syntaxHint NegativeObjectPropertyAssertion)
   John ObjectAllValuesFrom(hasMother ObjectComplementOf(ObjectOneOf 
(Mary))))


-Alan

meta: ISSUE-103