Search results for "Logics"
showing 10 items of 124 documents
SCALESEM : Evaluation of Semantic Graph based on Model Checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has 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 modelling 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 research concerns …
Qualifying semantic graphs using model checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has 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 research concerns t…
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…
Propose Semantic Formalization for 3D Reconstruction of Architectural
2010
International audience; Archi3D project is a successful practice well proved by engineering practices. In this paper, we propose to reconstruct semantics for the purpose of reconstruct 3D architecture in Archi3D fundamentally. The formalization approach starts from several hypotheses on semantics which include: there is a core mechanism of semantics which is not limited to conceptual expression level; and a complete expression of semantics necessaries the ―implicitexplicit‖ transition of human side knowledge, etc. The necessity and feasibility concerning applying the proposed method and technology to the practice of Archi3D is discussed systemically by way of semantics revelations on some …
A Meta-Conceptual Modeling Approach for Change Modeling in Applied Ontology
2016
International audience; Formal ontologies are explicitly representation of domain knowledge. Ontology change management should ensure maintaining its consistency, so that its users can continue to cooperate and understand each other. This paper presents a meta-conceptual modeling approach for change modeling in the domain of applied ontology. This modeling approach makes use a mathematical structure to model ontologies and its changes in order to make possible the qualification of changes regarding its consistency. Actually, the paper focuses on the meta-conceptual modeling approach inspired by Guarino's formal ontology building process.
Employing fuzzy logic in the diagnosis of a clinical case
2010
Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of…
On Language Adequacy
2015
Abstract The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most general one being: the compatibility of the language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory of syntax T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and ex- tensio…
¿Quién decide qué y cómo? el conflicto en torno a la participación ciudadana en el contexto del desarrollo de la iniciativa urbana: Cuenca-San Antón …
2018
This article describes the main results of an ethnographic study on citizen participation carried out in the context of the development of the Urban Initiative (2007-2015): Cuenca-Barrio de San Antón. Managed by the City Council of Cuenca and financed by the European Regional Development Funds (FEDER) under the Ministry of Economy and Finance at the Government of Spain The results of the research show how in the context of the application of neoliberal policies, citizen participation becomes the trigger for new conflicts between institutions and citizens. In this sense, it is worth noting how, in practice, institutions in their capacity as experts and not willing to dis-empower themselves, …
Economic specialization and diversification at the country and regional level: introducing a conceptual framework to study innovation policy logics
2018
While there has been a shared understanding that innovation policy is about rendering institutional change, there has been an emerging interest in identifying the institutional logics underlying in...
Equity in REDD+: Varying logics in Tanzania
2015
Equity is frequently cited as one of the key design aspects of environmental governance regimes. In the context of Reduced Emissions from Deforestation and Forest Degradation (REDD+), a forest-based climate change mitigation instrument, the manner in which ‘equity’ is understood will be of critical importance for the impacts and acceptance of REDD+ policies and initiatives. Whereas the concept has been extensively studied in the academic literature, references to equity in REDD+ policy debates and documents are often vague, leaving room for various interpretations and modes of implementation. In our case study of the Tanzanian national REDD+ policy domain, we provide a conceptual framework …