Within the scope of a European project called SELCAT this paper shows the knowledge management system structure. The system approach is based on a structured design using semi-formal techniques as UML class diagrams and ontology methodologies. The implemented knowledge base system is to be integrated into an international web portal of international level crossing (LC) which is also shown in this paper. The current state of implementation allows uploading and classifying all kinds of relevant documents. After a successful implementation of the interface for the definition of LC typology the collection of statistics can be started. The detailed operation and LC type related structuring of the accident statistics can be used for estimation of actual operational risk on general LC.
Formal structuring for development of level crossing ontology
Formale Informationsstruktur für die Entwicklung eines Web-Portals Bahnübergänge
2007
7 Seiten, 6 Bilder, 7 Quellen
Conference paper
English
Structuring the formal definition of Ada
NTRS | 1986
|Formal methods and temporal safety requirements: A level crossing application
Tema Archive | 2007
|Towards a formal manufacturing reference ontology
Tema Archive | 2013
|