Computational & Technology Resources
an online resource for computational,
engineering & technology publications
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY
Edited by: B.H.V. Topping, G. Montero and R. Montenegro
Representation of the Geometry of Tunnels in Description Logic
M. Cristani1, C.E. Majorana2 and V. Salomoni2
1Department of Informatics, University of Verona, Italy
M. Cristani, C.E. Majorana, V. Salomoni, "Representation of the Geometry of Tunnels in Description Logic", in B.H.V. Topping, G. Montero, R. Montenegro, (Editors), "Proceedings of the Fifth International Conference on Engineering Computational Technology", Civil-Comp Press, Stirlingshire, UK, Paper 136, 2006. doi:10.4203/ccp.84.136
Keywords: intelligent system, formal ontology, structural engineering, long tunnels, upgrade procedures.
The representation of the geometry of structures is a fundamental issue in several engineering computer applications. The geometry of tunnels present a variety of different problems that have been solved in many different ways depending upon the context in which they have been formulated, the general approach that has been adopted for the application and the target users of the application itself.
In this paper we provide a family of solutions to the problem of representing the geometry of tunnels in an application whose purpose is the assistance to a team that operates the tunnel upgrade to functional and prescriptive requirements. The paper addresses the problem in three different steps:
There are fundamentally five different directions in which the geometry of a tunnel can be specified and we provide the full combinatorial analysis of the deployments of these models in based upon the implementation of different rewriting operators. The paper concentrates upon the five directions, the combinatorial explosion analysis, the analysis of the resulting formalizations, in terms of correctness, completeness and the complexity of reasoning.
The five directions in which the geometry of tunnels can be formalized are:
The paper also proves that a general methodology can be formed based upon the substitution of the terms that are specific to tunnels with generic terms referring to structures.
purchase the full-text of this paper (price £20)