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, it is recommend to add a reasoner to the repositorysail 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.
The HTTP repositroy does not include uncommitted values when evaluating queries. The memory and native stores do however.