Search results for "Computation"
showing 10 items of 7362 documents
Previous BIM-GIS Integration Approaches: Analytic Review and Discussion
2020
Even though, BIM and GIS are two different technologies (e.g. standards, data format), and used for distinctive situations/objectives they are complementary. As a result, we have noticed an increase association between Building Information Model (BIM) and Geographic Information System (GIS) in construction projects for multiple use cases. Where on one hand, BIM represents detailed geometric and semantic information through building life cycle, while GIS covers geo-visualization, decision making and geospatial modelling. In this article, we are going to present an analytic review (approaches, advantages and limits) and discussion of previous studies that tackle BIM and GIS incorporation.
Data interoperability for a Multi-scale model (BIM/CIM/LIM)
2019
Compliance checking for building models, cities and territories involve formalizing a set of model schema knowledge and constraint. The objective of our study is to propose: an information model to federate heterogeneous data sources describing an urban area (building and building environment) along with a method for formally specifying of urban rules. The overall goal we pursue is to be able to query and to verify data against different regulations and/or requirements. The purpose of this article is to describe our approach for interoperability among different data sources (e.g. IFC, CityGML) thus creating a consistent description of an urban area.
Linking BIM and GIS Standard Ontologies with Linked Data
2020
International audience; Following the analysis of existing BIM and GIS standards, formats, differences in the interpretations of the underlying concepts have been identified. Still, in each of the two considered domains several ontologies have been defined for these terms without seeking an alignment among their definitions. With this scope in mind, this article presents several mappings expressed by means of explicit semantic links between GIS concepts (as present in the related ontologies for the ISO 191XX standard family) and BIM concepts (as represented in the IFC standard ISO 16739:2018). Such semantic mappings are defined in order to ensure a knowledge continuum between both domains, …
Bridging the Gap between Geospatial and Construction, Geo4Construction 2020
2020
Vocabulaires de données pour le BIM
2019
International audience
Linked data vocabularies for BIM
2019
Given the high interest in the field of BIM (Building Information Modeling) for Linked Data approaches over the last years, the article at hand presents an evaluation of the main Linked Data vocabularies available for the considered domain. First, Semantic Web layer architecture is presented, along with the 4 main principles of Linked Data. Second, each vocabulary is evaluated according to these 4 principles, while 2 additional ones are added in order to assess the licence associated with the vocabulary (open or not, specified or missing). An overall comparison among the considered vocabularies is also provided, thus helping in choosing which vocabulary to use in future Linked Data applicat…
INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
2012
International audience; The increasing use of ontologies and the cost of changes support the need to manage the evolution of ontologies. A common kind of error in ontology evolution is the logical contradiction declined as incoherences and inconsistences. In this paper, we propose a new approach to predict and identify the incoherences and inconsistences in the evolution of ontologies based on temporal logic and ontology design patterns. We implement the proposed approach using the NuSMV model checker. Based on these patterns, we propose an automated process to guide and monitor the implementation of change while ensuring the consistency of the evolved ontology.
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…
A note on Hilbert’s weak nullstellensatz
2015
In this article, through a suitable generalization of the well-known notion of spectrum of an element of an arbitrary normed algebra of Operator Theory, it will be possible to give another simple proof of the Hilbert’s Weak Nullstellensatz.
Asymptotic bit frequency in Fibonacci words
2021
It is known that binary words containing no $k$ consecutive 1s are enumerated by $k$-step Fibonacci numbers. In this note we discuss the expected value of a random bit in a random word of length $n$ having this property.