| Autor: |
Lodemann, Michael, Luttenberger, Norbert, Schulz, Elferik |
| Zdroj: |
2013 IEEE Seventh International Conference on Semantic Computing; 2013, p371-376, 6p |
| Abstrakt: |
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. [ABSTRACT FROM PUBLISHER] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
