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.
DownloadPaper 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