Dings_Predicate_Negates

I am a Dings_Predicate, that defines the Negation-Relation between two Dings_Predicates.

Description

I define, that a Dings_Predicate Q is the Logical-Negation of a Dings_Predicate P.

This enables Deterministic Conflict-Detection in the Graph.

Format

• [<Predicate_P>](<Dings_Number>) <a href="300043053.html">Negates</a> [<Predicate_Q>](<Dings_Number>)

Meaning

If:

• P Negates Q
• and a Triple A P B exists

then a Triple A Q B is Forbidden.

And vice versa.

If an Operation would create such a Forbidden-Pair, the Operation must be blocked.

Notes

• Negates is intended to be symmetric:
  • If P Negates Q, then also Q Negates P.
• Tools may Auto-Add the Symmetric-Triple, because it is deterministic.
• This Predicate defines only Conflict-Detection, not Inference.
• This Rule is Part of Ontology-Kernel Hard-Consistency.