Is there a way to indicate that a property is the opposite of another
property? For example from the definition of the properties 'hasAuthor'
and 'hasNotAuthor' and the statements
s hasAuthor a1
s hasNotAuthor a2
I would like to be able to infer that a1 is different from a2, and that
stating 's hasAuthor a2' would introduce a logical conflict.