Search results for " logic"
showing 10 items of 1720 documents
Multidimensional Land Cover Change Analysis using Vector Change and Land Cover Taxonomies
2015
International audience; Around the world, land cover changes occur due to natural and anthropogenic factors. In many cases, the consequences of anthropogenic interventions are unexpected. In order for scientists and policy makers to identify land cover change processes of interest, it is necessary suitable tools for early and efficient analysis of land cover data. In our research, we present a data model that makes use of semantic web technologies to manage a hierarchical structure of land cover types. Using this approach, it is possible to manage the land cover information at different levels of abstraction. In our research, we use a Change Vector Analysis approach to represent the land co…
Multi-Kernel Implicit Curve Evolution for Selected Texture Regions Segmentation in VHR Satellite Images
2014
Very high resolution (VHR) satellite images provide a mass of detailed information which can be used for urban planning, mapping, security issues, or environmental monitoring. Nevertheless, the processing of this kind of image is timeconsuming, and extracting the needed information from among the huge quantity of data is a real challenge. For some applications such as natural disaster prevention and monitoring (typhoon, flood, bushfire, etc.), the use of fast and effective processing methods is demanded. Furthermore, such methods should be selective in order to extract only the information required to allow an efficient interpretation. For this purpose, we propose a texture region segmentat…
Adding Semantic Extension to Wikis for Enhancing Cultural Heritage Applications
2011
International audience; Wikis are appropriate systems for community-authored content. In the past few years, they show that are particularly suitable for collaborative works in cultural heritage. In this paper, we highlight how wikis can be relevant solutions for building cooperative applications in domains characterized by a rapid evolution of knowledge. We will point out the capabilities of semantic extension to provide better quality of content, to improve searching, to support complex queries and finally to carry out di fferent type of users. We describe the CARE project and explain the conceptual modeling approach. We detail the architecture of WikiBridge, a semantic wiki which allows …
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.
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…
Integrated Fuzzy Solution for Network Selection using MIH in Heterogeneous Environment
2013
ISSN: 1942-2644; International audience; Seamless handover between networks in heterogeneous environment is essential to guarantee end-to- end QoS for mobile users. A key requirement is the ability to select seamlessly the next best network. Currently, the implementation of the selection algorithm of the IEEE 802.21 standard by National Institute of Standards and Technology considers only the signal strength as a parameter to select the best destination network. In this paper, we improve the implementation of the existing selection algorithm by proposing an integrated solution to select the best destination network. Our proposed solution consists of proposing a Multi Criteria Selection Algo…
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…
OntoVersionGraph : a change management methodology dedicated to formal ontologies and their user views in a collaborative context
2014
The world changes over time, impacting the knowledge of every subdomain it contains. Therefore systems describing the knowledge of a certain domain should be able to consider changes occurred to keep its knowledge representation up-to-date. Formal ontologies are one of them: they explicitly and formally represent the knowledge of a domain in all its forms and modes of existence. Collaboratively developed, a formal ontology allows the domain users to understand each other by sharing the same terminology despite the different assumptions they have on the domain conceptualization. However, due to its completeness, the complexity of its conceptualization can sometimes make the domain knowledge …
Towards the improvement of food flavour analysis: Modelling chemical and sensory data and expert knowledge integration
2019
International audience
University Governance and Finance: The Impact of Changes in Resource Allocation on Decision Making Structures
2002
When trying to account for changes that take place over time in the structure of any organisation, social scientists often use a conceptual framework known as resource dependency theory. This theory assumes that organisations survive only if they are able to react to changes that occur in the world around them in order to obtain the resources they need to stay in operation. Since they have the capacity for independent action, organisations are not passively shaped by their environment; they sometimes are also able to influence it.