Computational & Technology Resources
an online resource for computational,
engineering & technology publications 

CivilComp Proceedings
ISSN 17593433 CCP: 84
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY Edited by: B.H.V. Topping, G. Montero and R. Montenegro
Paper 136
Representation of the Geometry of Tunnels in Description Logic M. Cristani^{1}, C.E. Majorana^{2} and V. Salomoni^{2}
^{1}Department 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", CivilComp Press, Stirlingshire, UK, Paper 136, 2006. doi:10.4203/ccp.84.136
Keywords: intelligent system, formal ontology, structural engineering, long tunnels, upgrade procedures.
Summary
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 fulltext of this paper (price £20)
go to the previous paper 
