Dings_Predicate_Functional

I am a Dings_Predicate, that defines the Functional-Property of a Dings_Predicate.

Description

I define, that a Dings_Predicate is Functional.

Meaning:

For a Functional-Predicate P, each Subject may have at most one Object in Dings_Triples using P.

Format

• [<Predicate_P>](<Dings_Number>) <a href="300043052.html">Functional</a>

Meaning

If:

• P Functional
• and Triples A P B and A P C exist

then it must hold:

• B = C

Otherwise the Graph is Inconsistent and the Operation must be Blocked.

Notes

• This Predicate is intended for Identity-Like Relations, e.g. Birthdate, Serial-Number, Unique-Id.
• This Rule is Part of Ontology-Kernel Hard-Consistency.