Meaning and validity of stored statements (mv)

Name: Meaning and validity of stored statements (mv)
Creator: Andreas Ehstand
License: https://creativecommons.org/licenses/by/4.0/

Ehstand, Andreas

Vokabular für MaschinenMachine vocabulary

Bedeutung und Gültigkeit gespeicherter AussagenMeaning and validity of stored statements

Einfach erklärtIn plain words

Ein KI-Agent speichert Aussagen, zum Beispiel: „Das Büro hat bis 18 Uhr offen.“ Wochen später weiß niemand mehr: Nach welcher Fassung welcher Definition war das gemeint? Wo gilt es, aus wessen Sicht – und gilt es noch? Dieses kleine Modul hängt genau diese Angaben an jede gespeicherte Aussage. Ein Programm kann dann selbst prüfen, ob ein Eintrag vollständig und in sich stimmig ist.

An AI agent stores statements, for example: “The office is open until 6 pm.” Weeks later nobody can tell which version of which definition it relied on, where it holds, from whose point of view – and whether it still holds. This small module attaches exactly these details to every stored statement. A program can then test on its own whether an entry is complete and consistent.

Die sieben AngabenThe seven fields

`statedAt` ausgesagt amstated at	Wann die Aussage gemacht wurde.When the statement was made.
`basedOnDefinition` beruht auf Definitionbased on definition	Die Definition mit ihrer Fassung, auf die sich die Aussage stützt.The definition, with its version, the statement relied on.
`scope` Geltungsbereichscope	Unter welchen Bedingungen die Aussage gilt.Under which conditions the statement holds.
`perspective` Perspektiveperspective	Aus wessen Sicht die Aussage gilt.From whose point of view the statement is held.
`validityStatus` Gültigkeitsstatusvalidity status	trifft zu · trifft nicht zu · unbestimmt · nicht durchgeführtholds · does not hold · undetermined · not performed
`determinedAt` festgestellt amdetermined at	Wann die Gültigkeit zuletzt festgestellt wurde.When validity was last determined.
`supersededBy` ersetzt durchsuperseded by	Welche spätere Aussage diese ersetzt.Which later statement replaces this one.

Die vier Gültigkeitswerte und die Zeitbedeutung sind dieselben wie bei den Aufsichtsnachweisen; das Modul führt keine neuen Werte ein.The four validity values and the time semantics are the same as in the oversight records; the module defines no new values.

Was die Regeln prüfenWhat the rules test

Jede Aussage hat genau einen Zeitpunkt der Aussage, mit Zeitzone.Every statement has exactly one statedAt, with a timezone.
Jede Aussage hat genau einen der vier Gültigkeitswerte.Every statement has exactly one of the four validity values.
„Trifft zu“ und „trifft nicht zu“ brauchen einen Feststellungszeitpunkt.holds and doesNotHold require determinedAt.
„Nicht durchgeführt“ hat keinen Feststellungszeitpunkt: Eine ausgelassene Prüfung wird nie wie eine durchgeführte gespeichert.notPerformed has no determinedAt: a skipped check is never stored like a performed one.
Die Feststellung liegt nicht vor der Aussage.determinedAt is not earlier than statedAt.
Eine Aussage wird nur durch eine spätere ersetzt, nie durch sich selbst.A statement is superseded only by a later one, never by itself.
Höchstens eine Definition je Aussage; Definition, Perspektive und Ersatz sind Adressen (IRIs).At most one definition per statement; definition, perspective and replacement are IRIs.

Die Regeln prüfen die Form des Eintrags. Sie stellen nicht fest, ob die Aussage wahr ist, und sie sind kein Nachweis der Konformität.The rules test the form of the entry. They do not establish whether the statement is true, and they are not evidence of conformity.

Technisch: SHACL mit SPARQL-Teilen (ein Prüfprogramm muss SHACL-SPARQL können). Jede Zeitangabe braucht eine Zeitzone, zum Beispiel Z oder +02:00.Technical note: SHACL with SPARQL parts (a validator must support SHACL-SPARQL). Every date-time needs a timezone, such as Z or +02:00.

Beispiel: Öffnungszeit alt und neuExample: old and new office hours

[
  {
    "@id": "urn:example:statement/office-hours-a",
    "@type": "Statement",
    "statedAt": "2026-02-10T09:00:00Z",
    "validityStatus": "doesNotHold",
    "determinedAt": "2026-06-01T08:00:00Z",
    "supersededBy": "urn:example:statement/office-hours-b",
    "scope": "Example Ltd main office"
  },
  {
    "@id": "urn:example:statement/office-hours-b",
    "@type": "Statement",
    "statedAt": "2026-04-15T09:00:00Z",
    "validityStatus": "holds",
    "determinedAt": "2026-06-01T08:00:00Z",
    "scope": "Example Ltd main office, from 1 May 2026"
  }
]

DateienFiles

meaning-validity.ttl (Turtle (OWL)) · meaning-validity.jsonld (JSON-LD (OWL)) · meaning-validity-shapes.ttl (SHACL) · meaning-validity-context.jsonld (JSON-LD context) · meaning-validity-examples.jsonld (examples)

Namespace: https://w3id.org/augmanitai/ns/meaning-validity# · prefix mv · imports https://w3id.org/augmanitai/ns/oversight

Die Begriffe dahinterThe terms behind it Definitions-VersionierungDefinition versioning BedingungsdriftCondition drift Bedeutungsrutsch in der WeitergabeMeaning slide in relay Agenten-VersionsdriftAgent version drift PrüfhandlungOversight check

Zitieren und nutzenCite and reuse

Ehstand, Andreas (2026). Meaning and validity of stored statements (mv), version 0.1. https://w3id.org/augmanitai/ns/meaning-validity/0.1

Archiv bei ZenodoArchive at Zenodo · Arbeitspapier bei ZenodoWorking paper at Zenodo

Frei nutzbar mit NamensnennungFree to use with attribution (CC BY 4.0): Andreas Ehstand (ORCID: 0009-0006-3773-7796 | https://w3id.org/augmanitai)

Status: Kandidat, Fassung 0.1. Spätere Fassungen bekommen eine eigene Adresse; diese bleibt abrufbar.Status: candidate, version 0.1. Later versions get their own address; this one stays available.