Anotace: |
V článku jsou použity metodologie a technologie založené na znalostech k zajištění toho, aby tlaková zařízení odpovídala bezpečnostním předpisům. Je popisován nástroj s využitím CAD systému, který může sloužit inspekčním orgánům k ověření vhodnosti bezpečnostního normativu. Ontologie byla obohacena logickými axiomy, zajišťujícími konzistenci znalostní báze.
|