Logic Guard Layer DEMO
ONLINE
> PROCESSING VALIDATION

> Submitting to validation pipeline...

> This may take 10–30 seconds depending on the number of claims and API response times.

_

> CLAIM VALIDATION

PUBLIC DEMO - LIVE RUNS DISABLED

Submitting this form returns a pre-computed sample run, recorded from the real pipeline on 2026-09-04. Your text is not sent to the language model, and no external API is queried.

Each live run spends language-model tokens on claim extraction and repair, then makes one third-party API call per claim, so the public form replays recorded output instead. The ontology, the error algebra and the adapters documented across this site are the working implementation - only the execution is frozen. The domain hint and your wording still decide which sample run you get.

A full walkthrough on live data, including your own text or your own source, is available on request and I am happy to give one: mrussmannsoftware@gmail.com

> EXAMPLE TEXTS ?

Click an example to load it into the input field:

Water Level (PEGELONLINE)
The water level at Cologne station is currently 3.45 meters. The Bonn station reports a level of 2.89m.
Weather (Bright Sky)
The temperature in Berlin is 18.5°C with wind speeds of 12 km/h. Hamburg reports 15.2°C and light precipitation of 0.5mm.
Procurement (TED Europa)
The EU procurement notice 2024/S 045-123456 has a submission deadline of March 15, 2024. The contract value is estimated at 500,000 EUR with CPV code 45233120.
Mixed Claims
Yesterday in Dresden, the temperature reached 22°C while the Elbe river showed a water level of 1.85 meters at the Dresden station.
0 / 10,000
> HOW DOES VALIDATION WORK?

> VALIDATION PROCESS

1
Claim Extraction
LLM parses text into structured 5-tuples
>
2
TBox Validation
Schema/constraint checking
>
3
ABox Validation
External API verification
>
4
Self-Correction
LLM repairs invalid claims

> CLAIM TYPES

Water Levels
hasWaterLevel - Station measurements
exists - Station existence
Weather
hasTemperature - Temperature readings
hasPrecipitation - Rainfall/snow
hasWindSpeed - Wind measurements
Procurement
exists - Notice existence
hasDeadline - Submission deadlines
hasCPVCode - CPV classifications
hasValue - Contract values