Search results for "Description logic"
showing 10 items of 20 documents
Model Driven Specification of Ontology Translations
2008
The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexical, the syntactic and the semantic layer requiring semantic reasoning as well as low-level specification of ad-hoc conversions of data. Existing formalisms for representing translation rules cannot cover the representation needs of these three layers in one model. We propose a metamodel-based representation of ontology alignments that integrate semantic translations using description logics and lower level translation specifications into one model of representation for ontology alignments.
The Crane Beach Conjecture
2002
A language L over an alphabet A is said to have a neutral letter if there is a letter e/spl isin/A such that inserting or deleting e's from any word in A* does not change its membership (or non-membership) in L. The presence of a neutral letter affects the definability of a language in first-order logic. It was conjectured that it renders all numerical predicates apart from the order predicate useless, i.e., that if a language L with a neutral letter is not definable in first-order logic with linear order then it is not definable in first-order. Logic with any set /spl Nscr/ of numerical predicates. We investigate this conjecture in detail, showing that it fails already for /spl Nscr/={+, *…
Reasoning with Vague Spatial Information from Upper Mesopotamia (2000BC)
2015
International audience; Concepts such as near, far, south of, etc., are by its own nature vague. However, they are quite common in human language. In the case of historical records, these concepts are often the only source of information regarding the position of ancient places whose exact location has been lost. In our research, we use digitized written records from Upper Mesopotamia (2000BC) from the HIGEOMES project. Our goal is to provide better understanding of the location of places, based on the analysis of spatial statements. In our approach, we analyse cardinal statements between places with known location. Using this information we construct a probabilistic function representing t…
How to Enrich Description Logics with Fuzziness
2017
International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.
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…
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…
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 …
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.