When the fact ceased to be valid in reality
When the fact was recorded in the system
When the fact was retracted from the system
SELECT $this WHERE { $this time:hasBeginning ?validFrom ; time:hasEnd ?validTo . FILTER (?validTo <= ?validFrom) }
SELECT $this WHERE { $this time:hasBeginning ?validFrom ; prov:generatedAtTime ?assertedAt . FILTER (?assertedAt < ?validFrom) }
SELECT $this WHERE { $this tax:grossAmount ?gross ; tax:netAmount ?net . FILTER (?net > ?gross) }
SELECT $this WHERE { $this tax:grossAmount ?gross ; tax:taxWithheld ?tax . FILTER (?tax > ?gross) }
Document must have at least one evidence item
SELECT $this WHERE { $this a tax:Document . FILTER NOT EXISTS { ?evidence tax:docRef $this . } }
Each calculation must compute exactly one form box
Calculations must reference applicable rules