van de techniek van cycle chasing leidt
enkel tot triviale beweringen. Het mo
del is consistent. De Grondslagen vor
men een degelijke bouwsteen voor de
adressenregistratie.
Model van het stelsel
Uitgaande van de reeds benoemde au
thentieke registraties zijn als belang
rijkste concepten Persoon, Gebouw,
Verblijfseenheid (inclusief ligplaatsen
en standplaatsen), Auth-Adres, Perceel
en Bedrijf gedefinieerd. (Inmiddels
worden in de gebouwenregistratie de
termen pand en verblijfsobject ge
bruikt). Omdat in de gemeente Voorst
de WOZ-problematielc als extra thema
is onderzocht, is tevens een aantal con
cepten en relaties benoemd om daarin
te voorzien. Een sterk vereenvoudigde
versie van het model is weergegeven in
figuur 4. Het Geografisch Kern Bestand
is niet opgenomen in het model, om
dat zowel in de gebouwenregistratie
als in de kadastrale registratie al geo
metrie is opgenomen. De noodzaak
voor een separate registratie voor geo
metrie lijkt te ontbreken. De vraag is
natuurlijk of het model dit vermoeden
bevestigt. Omdat de gebruikte tech
niek van huis uit niet voorziet in het
werken met geometrie, zijn hiertoe en
kele aparte concepten (Punt, Lijn en
Vlak) gedefinieerd alsmede de belang
rijkste relaties tussen deze concepten.
Op deze wijze worden geometrische
relaties binnen Calculating with Con
cepts gerealiseerd, zoals gebouwen,
die op een perceel liggen of verblijf-
seenheden (binnen de gebouwenre- Fig. 4.
gedefinieerd, en verblijfseenheden als punten. In uitzon
derlijke gevallen kan een verblijfseenheid meer dan één au
thentiek adres hebben. Daarvan kan één als hoofdadres
worden gekozen. Het concept Auth-Adres duidt het authen
tieke hoofdadres aan. Alle relaties, restricties en afgeleide
stellingen in het model zijn geldig voor het authentieke
hoofdadres De relaties tussen de verschillende concepten
zijn zorgvuldig bekeken en in het model ondergebracht.
Voorbeelden van enkele relaties zijn:
Naam relatie
Betrokken concepten
Toelichting
woont_op
Persoon Auth-adres
Persoon woont op adres.
woont_in_ve
Persoon Verblijfseenheid
Persoon woont in een verblijfseenheid.
heeft_auth-adres
Verblijfseenheid Auth-adres
Verblijfseenheid heeft een authentiek
adres.
in_gebouw
Verblijfseenheid Gebouw
Verblijfseenheid maakt deel uit van
gebouw.
Op basis van deze relaties is met behulp van de beschreven
techniek van het cycle chasing een aantal afgeleide stellin
gen gevonden. Een voorbeeld is de cycle tussen Persoon,
Verblijfseenheid en Gebouw, die onder andere leidt tot de
afgeleide stelling:
_p::Persoon; v::Verblijfseenheid:
p woont_in_ve v_p woont_in_gebouw in_gebouw(v)
(Voor alle personen p en verblijfseenheden v geldt, dat
als p in verblijfseenheid v woont, dat p dan woont in het
gebouw, waar die verblijfseenheid deel van uitmaakt.
Ofwel: Iemand woont in het gebouw waarvan de ver
blijfseenheid die hij bewoont deel uitmaakt. Het is dui
delijk, dat de bewering in dit voorbeeld juist is).
Op deze manier is een groot aantal cycles nagegaan en zijn
aanvullende stellingen afgeleid.
Op deze manier is gecontroleerd of de relaties en restricties,
die als uitgangspunt voor het model hebben gediend, mo
gelijk leiden tot onjuiste of ongewenste stellingen. Dat
blijkt niet het geval te zijn, waarmee aannemelijk is ge
maakt dat het model inderdaad consistent is.
gistratie weergegeven met een punt)
binnen een gebouw. Gebouwen, Perce
len en WOZ-objecten zijn als vlakken stelsel.
Vereenvoudigd
model van het
EBmiu'W
r?
'toon;
IP n
-ndn:i
De betekenis van een adres
Eerder is beschreven hoe "Adres onbekend" aankijkt tegen
de betekenis van een adres. Wordt
dit beeld uit "Adres onbekend" door
het model bevestigd? Of juist weer
legd? Voor de mathematici onder
ons: in het model van het authentie
ke stelsel is de relatie tussen Ver
blijfseenheid en Auth-adres gedefi
nieerd als totaal, functioneel en bij-
ectief (elke verblijfseenheid hoort
bij precies één authentiek adres). De
problematiek van het "ontstaans-
moment" van een adres en een ver
blijfseenheid (en het beëindigen er
van) is in het model buiten beschou
wing gelaten. Maar met een ge
schikte keuze voor de beschrijving
van deze processen blijven de con
clusies overeind.
GEO-INFO 2004-10
439