The two inferencing annotations, when enabled, simply duplicate every add and remove call to the other predicates. There is no truth maintenance on removed statements as a reasoner would do. When two properties have the same equivalent (or inverseOf) predicate and the same value, but only one is removed, its equivalent predicate is also removed. If truth maintenance is necessary, we recommend adding a reasoner to the repository sail stack instead.
The disjointWith annotation is only read on the concept that is passed on the create method. This is not a guarantee that the concepts will be disjointed, but only serves as a assertive check within the create method. This check is only performed when assertions are enabled.