Search results for "Logic in computer science"

Proceedings of 6th Linked Data in Architecture and Construction Workshop (LDAC2018)

2018

International audience

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.

Semantic Trajectory Modeling for Dynamic Built Environments

2017

This paper presents a data model to capture moving and changing objects in the context of dynamic built environment. Building elements are subject to change which represents semantic trajectories crossing trajectories of users. These semantic trajectories in dynamics built environment permit to capture fine-grained activities and behaviors of users and objects. The data model is based on ontology and description logics to capture logic constraints on semantic trajectories.

Inconsistency measuring over multisets of formulas

2018

International audience; Measuring Inconsistency in Information : The concept of measuring inconsistency in information was developed by John Grant in a 1978 paper in the context of first-order logic. For more than 20 years very little was done in this area until in the early 2000s a number of AI researchers started to formulate new inconsistency measures primarily in the context of propositional logic knowledge bases. The aim of this volume is to survey what has been done so far, to expand inconsistency measurement to other formalisms, to connect it with related topics, and to provide ideas for further research in a topic that is particularly relevant now in view of the many inconsistencies…

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

Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration

2005

International audience; The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data representation is the spatio-temporal domain. Spatio-temporal data are most often described according to multiple and greatly diverse perceptions or viewpoints, using different terms and with heterogeneous levels of detail. Reconciling this heterogeneity to build a fully integrated database is known to be a complex and currently unresolved problem, and few formal approaches exist for the integration of spatio-temporal databases. The paper discusses the interope…

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…