loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Michael Lodemann and Norbert Luttenberger

Affiliation: CAU of Kiel, Germany

Keyword(s): Ontology, Owl, SWRL, Verification, Railway domain.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Management and Information Sharing ; Knowledge Management Projects ; Knowledge-Based Systems ; Metadata and Structured Documents ; Symbolic Systems ; Tools and Technology for Knowledge Management

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.226.93.209

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (IC3K 2010) - KMIS; ISBN 978-989-8425-30-0; ISSN 2184-3228, SciTePress, pages 176-181. DOI: 10.5220/0003071801760181

@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 (IC3K 2010) - KMIS},
year={2010},
pages={176-181},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003071801760181},
isbn={978-989-8425-30-0},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the International Conference on Knowledge Management and Information Sharing (IC3K 2010) - KMIS
TI - ONTOLOGY-BASED RAILWAY INFRASTRUCTURE VERIFICATION - Planning Benefits
SN - 978-989-8425-30-0
IS - 2184-3228
AU - Lodemann, M.
AU - Luttenberger, N.
PY - 2010
SP - 176
EP - 181
DO - 10.5220/0003071801760181
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic