Project Michael Dings Impressum Login

Dings_Predicate_Max_Object_Count

I am a Relation_Predicate that defines the maximal Number of Objects that may exist for a given Subject and Predicate.

Description

I define the maximal Cardinality:

Subject → Objects

Formal:

(S,P,O1) @ BCST (S,P,O2) @ BCST

Number of Objects must not exceed Max_Object_Count.

Meaning

This Predicate defines the Cardinality of a Relation.

Examples

Hat_Hauptwohnsitz:

Max_Object_Count = 1

Hat_Wohnort:

Max_Object_Count = N

Liebt:

Max_Object_Count = N

Hat_Biologische_Eltern:

Max_Object_Count = 2