ONTOLOGY-BASED RAILWAY INFRASTRUCTURE VERIFICATION - Planning Benefits
Michael Lodemann, Norbert Luttenberger
2010
Abstract
Planning new railway infrastructures is a complex process. We present an approach where the formalization of expert knowledge regarding the railway domain is motivated in order to improve the planning process. By applying ontologies as a representation of railway related knowledge we are able to make the coherencies of infrastructural elements explicit. Furthermore the integration of an ontology-based rule language provides the possibility of a semi-automated integrity verification of static infrastructure and safety components. Semantical inconsistencies potentially leading to unsafe conditions regarding train operations can be spotted within this verification process. This combination of conceptualization and correlation rules tends to be applicable for the creation of a formal and consistent model of specific railway infrastructures which are to be planned.
References
- Amato, F., Mazzeo, A., Penta, A., and Picariello, A. (2008). Building rdf ontologies from semi-structured legal documents. In Complex, Intelligent and Software Intensive Systems, 2008. CISIS 2008. International Conference on, pages 997 -1002.
- Ambrosi, C. D., Ghersi, C., and Tacchella, A. (2009). An ontology-based condition analyzer for fault classification on railway vehicles. In IEA/AIE, pages 449-458.
- Boer, A. and Boer, A. (2003). Using ontologies for comparing and harmonizing legislation. In In Proceedings of the International Conference on Artificial Intelligence and Law (ICAIL, pages 60-69. UK), ACM Press.
- Hepp, M. (2007). Ontologies: State of the art, business potential, and grand challenges. In Martin Hepp, Pieter De Leenheer, A. d. M. and Sure, Y., editors, Ontology Management: Semantic Web, Semantic Web Services, and Business Application, pages 3-22. Springer.
- Métral, C., Falquet, G., and Vonlanthen, M. (2007). An ontology-based model for urban planning communication. In Ontologies for Urban Development, pages 61-72. Springer.
- Nash, A., Huerlimann, D., Schuette, J., and Krauss, V. (2004). Railml - a standard data interface for railroad applications. Proc. of the Ninth International Conference on Computer in Railways (Comprail IX), 15(5):233-240.
- Shingler, R., Fadin, G., and Umiliacchi, P. (2008). From rcm to predictive maintenance: The integrail approach. In Railway Condition Monitoring, 2008 4th IET International Conference on, pages 1-5.
- Stanford-University (2009). Protégé - an open source ontology editor. http://protege.stanford.edu/.
- W3C (2004a). Owl web ontology language reference. http://www.w3.org/TR/owl-ref/.
- W3C (2004b). Swrl: A semantic web rule language combining owl and ruleml. http://www.w3.org/Submissi on/SWRL/.
Paper Citation
in Harvard Style
Lodemann M. and Luttenberger N. (2010). ONTOLOGY-BASED RAILWAY INFRASTRUCTURE VERIFICATION - Planning Benefits . In Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2010) ISBN 978-989-8425-30-0, pages 176-181. DOI: 10.5220/0003071801760181
in Bibtex Style
@conference{kmis10,
author={Michael Lodemann and Norbert Luttenberger},
title={ONTOLOGY-BASED RAILWAY INFRASTRUCTURE VERIFICATION
- Planning Benefits},
booktitle={Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2010)},
year={2010},
pages={176-181},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003071801760181},
isbn={978-989-8425-30-0},
}
in EndNote Style
TY - CONF
JO - Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2010)
TI - ONTOLOGY-BASED RAILWAY INFRASTRUCTURE VERIFICATION
- Planning Benefits
SN - 978-989-8425-30-0
AU - Lodemann M.
AU - Luttenberger N.
PY - 2010
SP - 176
EP - 181
DO - 10.5220/0003071801760181