> ONTOLOGY VISUALIZATION
TBox schema visualization showing predicates, constraints, adapter coverage, and validation states.
> OVERVIEW
PREDICATES
9
Schema definitions
ADAPTERS
4
Data sources
STATUSES
8
Epistemic states
> CLAIM STRUCTURE (5-TUPLE MODEL)
+----------------------------------------------------------+
| CLAIM STRUCTURE |
| (subject.predicate = object [unit] @provenance) |
+-----------------------------+----------------------------+
|
+------------------+------------------+------------------+------------------+
| | | | |
v v v v v
+---------------+ +---------------+ +---------------+ +---------------+ +---------------+
| SUBJECT | | PREDICATE | | OBJECT | | UNIT | | PROVENANCE |
+---------------+ +---------------+ +---------------+ +---------------+ +---------------+
| Entity name | | Relationship | | Claimed value | | Measurement | | Timestamp or |
| or identifier | | type | | | | unit | | source |
+---------------+ +---------------+ +---------------+ +---------------+ +---------------+
| | | | |
v v v v v
+---------------+ +---------------+ +---------------+ +---------------+ +---------------+
| "Cologne" | | hasWaterLevel | | 3.45 | | m | | 2024-01-15 |
| "Berlin" | | hasTemperature| | true | | C | | @source_url |
| "TED Notice" | | exists | | "active" | | EUR | | |
+---------------+ +---------------+ +---------------+ +---------------+ +---------------+
> PREDICATE CATEGORIES
+-------------------------------------+
| PREDICATE ONTOLOGY |
+------------------+------------------+
|
+---------------------------------+---------------------------------+
| | |
v v v
+------------------+ +------------------+ +------------------+
| ENVIRONMENTAL | | ADMINISTRATIVE | | UNIVERSAL |
+------------------+ +------------------+ +------------------+
| | |
+-----+-----+ +-----+-----+ |
| | | | | | |
v v v v v v v
+-----+-----+-----+ +-----+-----+-----+ +--------+
|Water|Temp |Wind | |Dead |CPV |Value| | exists |
|Level| |Precip |line |Code |Status +--------+
+-----+-----+-----+ +-----+-----+-----+ |
| | | | | | |
v v v v v v v
+-------+-------+ +---------+-------+ +----------+
|PEGEL- |BRIGHT | | TED | LOCAL | | ALL |
|ONLINE | SKY | | EUROPA | KB | | ADAPTERS |
+-------+-------+ +---------+-------+ +----------+
> PREDICATE SCHEMAS
hasWaterLevelint | float
Units:mcmmm
Constraints:
range
Adapters:Local Knowledge BasePEGELONLINE
hasTemperatureint | float
Units:CFK
Constraints:
range
Adapters:Local Knowledge BaseBright Sky (DWD)
hasPrecipitationint | float
Units:mmcmin
Constraints:
range
Adapters:Bright Sky (DWD)
hasWindSpeedint | float
Units:m/skm/hmphknots
Constraints:
rangerange
Adapters:Bright Sky (DWD)
existsbool
Adapters:Local Knowledge BasePEGELONLINETED Europa
hasDeadlinestr
Constraints:
iso_date
Adapters:TED Europa
hasCPVCodestr
Constraints:
cpv_code
Adapters:TED Europa
hasValueint | float
Units:EURUSDGBP
Constraints:
range
Adapters:Local Knowledge BaseTED Europa
hasStatusstr
Adapters:Local Knowledge BaseTED Europa
> ADAPTER COVERAGE MATRIX
| Adapter | World | WaterLevel | Temperature | Precip | WindSpeed | exists | Deadline | CPVCode | Value | Status |
|---|---|---|---|---|---|---|---|---|---|---|
| Local Knowledge Base | CWA | + | + | - | - | + | - | - | + | + |
| PEGELONLINE | CWA | + | - | - | - | + | - | - | - | - |
| Bright Sky (DWD) | CWA | - | + | + | + | - | - | - | - | - |
| TED Europa | CWA | - | - | - | - | + | + | + | + | + |
> VALIDATION STATUS ALGEBRA
+-------------------+
| CLAIM INPUT |
+---------+---------+
|
v
+-------------------+
| TBOX VALIDATION |
+---------+---------+
|
+---------------+---------------+
| |
v v
+----------------+ +----------------+
| SCHEMA_ERROR | | PASS |
+----------------+ +-------+--------+
| |
| v
| +----------------+
| | ABOX VALIDATION|
| +-------+--------+
| |
+---------------+--------+--------+---+-------+--------+--------+
| | | | | | |
v v v v v v v
+-------+-------+ +-----+-----+ +-+-------+-+ +-+------------+-+ +------+------+
| EXISTS | | MISMATCH | |NOT_FOUND_*| | LOOKUP_FAILURE | | UNKNOWN |
| (confirmed) | |(different)| |(absent/ | | (API error) | |(cannot tell)|
+---------------+ +-----------+ |incomplete)| +----------------+ +-------------+
| | +-----------+ | |
v v | v v
[VALID] [CORRECTABLE] | [TERMINAL] [TERMINAL]
| v
+---->[CORRECTABLE]*
(*if CWA absence)
EXISTS[VALID]
VALID
MISMATCH[MISMATCH]
CORRECTABLE
NOT_FOUND_ABSENCE[NOT FOUND]
CORRECTABLE
NOT_FOUND_OUT_OF_SCOPE[OUT OF SCOPE]
TERMINAL
NOT_FOUND_INCOMPLETE[INCOMPLETE]
LOOKUP_FAILURE[LOOKUP ERROR]
TERMINAL
SCHEMA_ERROR[SCHEMA ERROR]
CORRECTABLE
UNKNOWN[UNKNOWN]
> WORLD ASSUMPTIONS
CWA - Closed World Assumption
If data is not found in the source, it is assumed to not exist. Used by sources with complete coverage (e.g., PEGELONLINE for German water stations).
NOT_FOUND -> NOT_FOUND_ABSENCE (correctable)
NOT_FOUND -> NOT_FOUND_ABSENCE (correctable)
OWA - Open World Assumption
If data is not found, it is assumed the source is incomplete. Used by sources with partial coverage.
NOT_FOUND -> NOT_FOUND_INCOMPLETE (not correctable)
NOT_FOUND -> NOT_FOUND_INCOMPLETE (not correctable)