De formele specificatie van het ontologisch model
Zoals bij de theorie gezegd, worden de objecttypen in gewone natuurlijke taal gedefinieerd. Dit dient ertoe, dat iedereen de definities kan begrijpen. Natuurlijke taal laat echter altijd ruimte voor dubbelzinnigheden. Om problemen te voorkomen kunnen de objecttypen ook op een meer formele manier gedefinieerd worden. In deze definities worden vooral de onderlinge relaties eenduidig beschreven.
Bij de formele specificatie maken we gebruik van de volgende syntaxis. Bij deze specificatie dient bedacht te worden, dat deze niet noodzakelijk is voor de communicatie in de projecten. Hij wordt voornamelijk gehanteerd door de beheerder van het Bedrijfs ontologisch model.
Specificatie van de syntaxis voor de formele specificatie van een ontologisch model.
ONTOLOGISCH MODEL naam.
object-specificatie-lijst
EINDE-ONTOLOGISCH MODEL naam.
object-specificatie-lijst ::=
object-specificatie
OF
object-specificatie | object-specificatie-lijst.
object-specificatie ::=
naam1: is-de-vereniging-van naam2 en naam3.
OF
naam1: is-de-doorsnede-van naam2 en naam3.
OF
de-doorsnede-van naam1 en naam2 is-leeg.
OF
naam1: specialisatie-van naam2 die eigenschap.
OF
naam1: classificatie-van naam2.
OF
naam1: aggregatie-van rollen-lijst.
OF
naam1: elementair-object.
OF
naam1: is-generalisatie-van naam2.
rollen-lijst ::=
verbandnaam naam
OF
verbandnaam naam | rollen-lijst