Dings_Predicate_Inverse_Of

I am a Dings_Predicate, that defines the Inverse-Relation between two Dings-Predicates.

Description

I define that two Dings_Predicate are logical Inverse of each other.

If a Predicate P is connected to a Predicate Q via Inverse_Of, then every Triple using P implies a corresponding Triple using Q with exchanged Subject and Object.

Format

• [<Predicate_P>](<Dings_Number>) [Inverse_Of] (300043051.md) [<Predicate_Q>](<Dings_Number>)

Meaning

If:

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

then the following Triple is logically implied:

• B Q A

This implication is deterministic and monotonic.

Notes

• Inverse_Of is symmetric:
  • If P Inverse_Of Q, then also Q Inverse_Of P.
• This Concept is related to the mathematical Inverse-Function.
• No additional Semantics are introduced.
• This is the minimal non-hierarchical Reasoning-Rule in the Ontology-Kernel.