Dings_Fact

I am a Dings that represents a real Fact in the Dings-System.

Description

I represent a Statement about a Subject.

I connect:

• One Subject
• One Dings_Field
• One Value

Optionally I may have:

• one Dings_Type_BCST_Range
• additional Qualifiers

Facts are typically connected using the Predicate:

Has

Example:

Michael Has Michaels_Wohnsitz_Tuebingen

Michaels_Wohnsitz_Tuebingen Has Dings_Field_Wohnsitz Michaels_Wohnsitz_Tuebingen Has Tuebingen Michaels_Wohnsitz_Tuebingen Has BCST_Range_1 Michaels_Wohnsitz_Tuebingen Has Hauptwohnsitz

Meaning

I describe a real Statement about a Subject.

Fields define the Meaning of Facts.

Facts represent real Knowledge in the Dings-System.

Invariants

• I must have at least one Subject.
• I must have exactly one Dings_Field.
• I must have exactly one Value.
• I may have at most one Dings_Type_BCST_Range.

Structure

I am typically structured as:

Subject Has Fact

• Fact Has Field
• Fact Has Value

Optionally:

• Fact Has BCST_Range
• Fact Has Qualifier

Notes

Facts allow representing Knowledge without creating large Numbers of Predicates.

Predicates describe Relations.

Fields describe Meaning inside Facts.