Logic Guard LayerDEMO
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

> 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