Semantic Computing for Railway Infrastructure Verification

Author

Lodemann, Michael ; Luttenberger, Norbert ; Schulz, Egon

Author_Institution

Dept. of Comput. Sci., Christian-Albrechts-Univ., Kiel, Germany

fYear

2013

fDate

16-18 Sept. 2013

Firstpage

371

Lastpage

376

Abstract

We present an approach for modeling, verification and debugging of railway infrastructures. The aim of this work is to improve the planning process of new railway lines. We define a set of OWL ontologies for describing the static interrelations of railway tracks and safety elements. Planning instructions-so far available in natural language only-are formally modeled by SWRL rules. The Open World Assumption underlying OWL makes it difficult to perform ontology debugging. Therefore, the concept of Semantic Constraints-based on a dynamic rule composition process-is developed.

Keywords

knowledge representation languages; ontologies (artificial intelligence); railway engineering; railway safety; OWL ontologies; dynamic rule composition process; ontology Web language; ontology debugging; open world assumption; railway infrastructure debugging; railway infrastructure modeling; railway infrastructure verification; railway lines planning process; railway tracks; safety elements; semantic computing; semantic constraints; Debugging; OWL; Ontologies; Planning; Rail transportation; Safety; Semantics; modeling; ontology debugging; railway infrastructure; semantic computing; semantic constraint; verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Semantic Computing (ICSC), 2013 IEEE Seventh International Conference on

Conference_Location

Irvine, CA

Type

conf

DOI

10.1109/ICSC.2013.69

Filename

6693544