BIM-validatietool Toetst data bij aanlegprojecten

Transcriptie

1 BIM-validatietool Toetst data bij aanlegprojecten Overzicht validatieregels Categorie en validatieregel Omschrijving COINS 1 Categorie COINS/Validatieregel 1 Is de COINS container een zip-bestand? COINS 2 Categorie COINS/Validatieregel 2 Bevat het zip-bestand geen directories anders dan "bim", "doc", "woa"? COINS 3 Categorie COINS/Validatieregel 3 Bevat het zip-bestand (in directory "bim") niet meer dan één bestand met extensie owl of rdf? COINS 4 Categorie COINS/Validatieregel 4 Bevat het zip-bestand (in directory "bim") een bestand met extensie owl of rdf? COINS 5 Categorie COINS/Validatieregel 5 Bevat het zip-bestand (in directory "bim") alleen bestanden met extensie owl of rdf? COINS 6 Categorie COINS/Validatieregel 6 Bevat het bestand met extensie owl of rdf (in directory "bim" van het zipbestand) valide XML? COINS 10 Categorie 10/Validatieregel 10 Is een document waarnaar in een object wordt verwezen meegeleverd in het COINS-bestand? COINS Overig Categorie COINS/Validatieregel Overig Naast bovengenoemde controles kan de COINS-validatie in voorkomende gevallen ook onderstaande meldingen afgeven ten aanzien van COINS: - UnhandledException, Can be any kind - UnknownOwlClass, If instance has type and this type exists in a model - UnknownOwlProperty, Every property of an instance has definition in model - InvalidCardinality, Cardinality of a property - PropertyTypeMismatch, Checks if the type of a property defined in model is the same as the type defined in BIM file - UnsupportedType, Checks if property type is supported by CBIS - ValueTypeMismatch, Checks if value of a property can be converted to declared type - RelationalPropertyExpected, Checks if non relational property is used where relational property is expected - CycleInHierarchy, Checks if there are loops in any parent/child relations - DuplicateRelation, Checks if relational property and its inverse exists at the same time - ValueDomainIsUnknown, Checks if property of a catalogue part has a

2 valuedomain - PropertyValueTypeMismatch, (Checks if type of a value (PropertyValue) corresponds to valuedomain of a PropertyType - NotConvertible, Checks if value (PropertyValue) can be converted to declared type - SupertypeNotFound, Checks if supertype of a catalogue part is defined OTL 12 Categorie OTL/Validatieregel 12 Zijn objecten niet dubbel vastgelegd. - Het dubbel vastleggen van (geïnstantieerde) objecten is binnen RDFdata niet mogelijk door de manier waarop RDF-definities worden gemaakt. RDF werkt op basis van statements in de vorm van zogenaamde triples, opgebouwd uit subject, predicaat en object. Hierbij is het subject hetgeen waar iets over gezegd wordt. Er zijn meerdere statements (triples) nodig om een concept of geïnstantieerd object volledig te beschrijven. Om hierbij eenzelfde subject te identificeren wordt gebruik gemaakt van URI s. Het herhaald gebruiken van een URI is dus gewenst gedrag. Een herhaling van een al eerder gegeven triple (verdubbeling) is hierbij geen probleem (zegt niets nieuws of tegenstrijdigs). Echter het opnieuw gebruiken van een URI voor een totaal ander concept of instantie is wel fout. - Dubbel vastleggen kan dus niet in RDF-syntax, wel (foutief) hergebruik van een ID. Regel 12 zoekt objecten waar verschillende namen worden toegekend aan een zelfde ID, wat foutief hergebruik impliceert. OTL 13 Categorie OTL/Validatieregel 13 Is voor elk object een objecttype ingevuld dat is gedefinieerd in de OTL. - Regel 13 zoekt alle objecten in een COINS-container van het type FunctionFulfiller of afgeleide hiervan en gaat na of deze objecten een link hebben met een OTL-objecttype. - Alle geïnstantieerde objecten in de COINS-container zijn van het type FunctionFulfiller of een subtype hiervan. Een naar OTL-definitie correcte invulling van de COINS-container vereist dat geïnstantieerde COINS-objecten een OTL objecttype (concept) hebben. Deze type toekenning wordt niet direct gedaan op het COINS-object, maar via een OTL-object deel. Zo heeft ieder COINS-object via amount een FunctionFulfillerType wat een geïnstantieerd OTL-object is. Hierin worden zowel de OTL-eigenschappen vastgelegd als ook de verwijzing gemaakt naar een OTL-objecttype (concept). OTL 14 Categorie OTL/Validatieregel 14 Zijn voor elk object de juiste attributen ingevuld met waarden die vallen binnen het bereik, zoals gedefinieerd in OTL. Regel 14 omvat drie onderdelen: 1. Geïnstantieerde eigenschappen horen volgens OTL ook bij het geïnstantieerde objecttype. De OTL beschrijft voor ieder objecttype (concept) welke eigenschappen deze heeft. Hierbij zijn de eigenschappen door middel van kardinaliteitsrestricties begrenst. Bij het instantiëren van deze concepten worden de eigenschappen ingevuld. Helaas kunnen hierbij ook eigenschappen geïnstantieerd worden die niet horen bij het

3 objecttype dat geïnstantieerd wordt. Regel 14.1 zoekt alle eigenschappen (proptype en propname) die geïnstantieerd zijn in een COINS-container, maar volgens de OTL niet horen bij het objecttype waar ze nu deel van uit maken: zoek alle objecten in een COINScontainer die een link naar de OTL hebben, en controleer of de ingevulde eigenschappen ook horen bij dit type OTL-object. In de OTL wordt zowel in een eigenschap zijn eigenaar genoemd, als dat een object type zijn mogelijke eigenschappen benoemd. 2. Geïnstantieerde eigenschappen gebruiken correcte datatypes. In de OTL staat voor alle eigenschappen beschreven met wat voor datatype een waarde opgegeven moet worden. Bij het initialiseren van objecten en hun eigenschappen in de COINS-container wordt een datatype gebruikt voor het invoeren van de waarde, toegekend aan een eigenschap. Deze waarde zou om valide te zijn volgens de OTL-definitie eenzelfde datatype moeten gebruiken als beschreven in de OTL. Zoek alle objecten in de COINS-container van het type FunctionFulfiller of afgeleide hiervan. Ga na of deze objecten een eigenschap vulling hebben die overeenkomt met het datatype dat volgens de OTL gebruikt moet worden: simple type data properties complex type data properties (niet-enumeraties) complex type data properties (enumeraties) 3. Geïnstantieerde objecten voldoen aan de kardinaliteitsrestricties van bijbehorende eigenschappen. Naast het datatype is binnen de OTL ook vastgelegd hoe vaak een eigenschap minimaal en maximaal mag voorkomen bij een objecttype (zogenaamde kardinaliteit). Regel 14.3 controleert of het aantal keren dat een eigenschappen die een geïnstantieerd COINS-object heeft binnen de minimale en maximale eis van het kardinaliteitsbereik past: zoek alle objecttypes die gebruikt zijn in een COINS-container, tel het aantal keren dat alle bijhorende eigenschappen ingevuld zijn, en vergelijk dit aantal met het toegestane aantal (kardinaliteit) behorende bij deze eigenschap. OTL 15 Categorie OTL/Validatieregel 15 Zijn voor elk object de juiste relaties ingevuld naar bestaande objecten, zoals gedefinieerd in de OTL. Regel 15 bestaat uit twee controles: 1. Bestaan er relaties tussen geïnstantieerde objecten die niet bestaan in de OTL. Relaties in de OTL worden niet fysiek gerefereerd vanuit relaties gelegd tussen geïnstantieerde objecten in de COINS-container. De link met OTL komt voort uit de datatypes van de objecten. Regel 15.1 zoekt alle objecten en relaties in de COINS-container waar geen OTL-equivalent voor te vinden is. Hierbij wordt er ook rekening mee gehouden dat relaties op een hoger typologisch object gelegd kunnen zijn (een supertype van het huidige object type). Dit geldt ook voor beide objecten die een relatie vormen. Er wordt onderscheid gemaakt in drie type relaties: RT0002 relaties gelegd via physical child/parent. RT0052 relaties gelegd via terminal-connection-terminal

4 RT0046 relaties gelegd via document 2. Voldoen de relaties tussen geïnstantieerde objecten aan de kardinaliteitsrestricties vastgelegd in de OTL. Regel 15.2 test of de kardinaliteiten voor relaties in een COINScontainer conform de OTL zijn. Systematiek is vergelijkbaar met regel 14.3 maar dan voor relaties tussen geïnstantieerde objecten. Er wordt onderscheid gemaakt in drie typen relaties: RT0002 relaties gelegd via physical child/parent. RT0052 relaties gelegd via terminal-connection-terminal RT0046 relaties gelegd via document OTL Overig Categorie OTL/Validatieregel Overig Onder deze noemer vallen de overige meldingen die gegeven worden als een container niet voldoet aan de RDF-standaard. GML 16 Categorie GML/Validatieregel 16 Is de geometrie in Rijksdriehoeksstelsel? Deze controle wordt uitgevoerd aan de hand van het label dat RD identificeert. GML 17 Categorie GML/Validatieregel 17 Is er, met uitzondering van objecttypen met een dubbele geometrieinstructie, één geometrie per object? Er wordt gecontroleerd op dubbele GML-Id s. Voor een beperkt aantal objecttypen is detectie niet terecht omdat er dubbele geometrie-instructies bestaan (Damwand, Kademuur, Muur, Raster, Bushalteplaats, Geluidscherm, Geluidswal, Geluidswand, Molgoot, Roostergoot, Verholen goot). GML 18 Categorie GML/Validatieregel 18 Komen er geen arcs of splines voor in de geometrie? Er wordt gecontroleerd op het gebruik van de curveproperty-tag. GML 21 Categorie GML/Validatieregel 21 Bevat de geometrie het juiste aantal coördinaten voor het betreffende geometrietype? Bevat een puntgeometrie meer dan 1 coördinaat, een lijngeometrie minder dan 2 coördinaten en een vlakgeometrie minder dan 3 coördinaten? GML 22 Categorie GML/Validatieregel 22 Bevat de lijn- of vlakgeometrie, behalve begin- en eindpunt, geen herhalende punten? GML 25 Categorie GML/Validatieregel 25 Kruist een lijn niet zichzelf?

5 GML 28 Categorie GML/Validatieregel 28 Is een vlak vastgelegd door middel van een polygoon? GML-overig Categorie GML - Overige controles Onder deze noemer valt de melding dat een container geen of geen valide GML bevat. GML is bijvoorbeeld invalide als het niet voldoet aan geoobjecten.xsd