> 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
hasWaterLevel
int | float
Units:
m
cm
mm
Constraints:
range
Adapters:
Local Knowledge Base
PEGELONLINE
hasTemperature
int | float
Units:
C
F
K
Constraints:
range
Adapters:
Local Knowledge Base
Bright Sky (DWD)
hasPrecipitation
int | float
Units:
mm
cm
in
Constraints:
range
Adapters:
Bright Sky (DWD)
hasWindSpeed
int | float
Units:
m/s
km/h
mph
knots
Constraints:
range
range
Adapters:
Bright Sky (DWD)
exists
bool
Adapters:
Local Knowledge Base
PEGELONLINE
TED Europa
hasDeadline
str
Constraints:
iso_date
Adapters:
TED Europa
hasCPVCode
str
Constraints:
cpv_code
Adapters:
TED Europa
hasValue
int | float
Units:
EUR
USD
GBP
Constraints:
range
Adapters:
Local Knowledge Base
TED Europa
hasStatus
str
Adapters:
Local Knowledge Base
TED 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)