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.

Download


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