PM-FLT-0030
The transitioning object is the Object of the proposition
Withdrawn. Superseded by PM-FLT-0080 — No fixed position binds the transitioning object to the proposition. The reasoning below — what the sources actually say, and why this reading of them was wrong — is kept exactly as written at the time, not deleted.
The object whose State changes MUST be the Object of the Filter's proposition. The Subject side MUST be evaluated by traversing the predicate inverse-wise from the transitioning object.
Non-normative: this has a direct engineering consequence. Filters are evaluated by inverse traversal from the target instance, which dictates the indexing strategy and means gating on the Subject side is not free — it needs either
owl:inverseOfor a second Filter. Worth confirming with Guil before the evaluation engine is designed.Withdrawn 2026-09-08. The worked Filter table was transcribed and contradicts this in three of its seven rows. The inference from claim 1 was about the engine's argument order, and was read as if it were a modelling rule. It is not one. See PM-FLT-0080.
INFERRED MUST · withdrawn · area FLT · since 0.1.0
Source
No source citation — trust token INFERRED; see the reasoning above.
Relationships
Derives from PM-FLT-0020, PM-SPO-0010