Recently, Kawasaki and Takahashi [8] defined a broad class of nonlinear mappings, called widely more generalized hybrid, in a Hilbert space which contains generalized hybrid mappings [9] and strict pseudo-contractive mappings [2]. They proved fixed point theorems for such mappings. In this paper, we prove fixed point theorems for widely more generalized hybrid nonself mappings in a Hilbert spac...

Schema mappings and data mappings constitute essential building blocks of data integration, data exchange and peer-to-peer data sharing systems. At present, either schema-level mappings or datalevel mappings are used for data sharing purposes. In this paper we consider the semantics of bi-level mapping that combines the schema-level and data-level mappings. Tabular representation of the mapping...

Schema mappings have been extensively studied in database research over the past decade – notably in the areas of data exchange and data integration. Recently, the notion of an information transfer order on schema mappings has been introduced to compare the amount of source information that is actually transferred by two mappings. In this paper, we present two new operators: the union and inter...

Automatically discovering semantic relations between ontologies is an important task with respect to overcoming semantic heterogeneity on the semantic web. Existing ontology matching systems, however, often produce erroneous mappings. In this paper, we address the problem of errors in mappings by proposing a completely automatic debugging method for ontology mappings. The method uses logical re...

in this paper is introduced a new type of generalization of metric spaces called sb metric space. for this new kind of spaces it has been proved a common xed point theorem for four mappings which satisfy generalized contractive condition. we also present example to conrm our theorem.

in this paper, let $l$ be a completeresiduated lattice, and let {bf set} denote the category of setsand mappings, $lf$-{bf pos} denote the category of $lf$-posets and$lf$-monotone mappings, and $lf$-{bf cslat}$(sqcup)$, $lf$-{bfcslat}$(sqcap)$ denote the category of $lf$-completelattices and $lf$-join-preserving mappings and the category of$lf$-complete lattices and $lf$-meet-preserving mapping...

BACKGROUND Identifying partial mappings between two terminologies is of special importance when one terminology is finer-grained than the other, as is the case for the Human Phenotype Ontology (HPO), mainly used for research purposes, and SNOMED CT, mainly used in healthcare. OBJECTIVES To investigate and contrast lexical and logical approaches to deriving partial mappings between HPO and SNO...

Based on a completely distributive lattice $M$, base axioms and subbase axioms are introduced in $M$-fuzzifying convex spaces. It is shown that a mapping $mathscr{B}$ (resp. $varphi$) with the base axioms (resp. subbase axioms) can induce a unique $M$-fuzzifying convex structure with  $mathscr{B}$ (resp. $varphi$) as its base (resp. subbase). As applications, it is proved that bases and subbase...

In this paper, some recent results established by Marin Borcut [M. Borcut, Tripled fixed point theorems for monotone mappings in partially ordered metric spaces, Carpathian J. Math. 28, 2 (2012), 207--214] and [M. Borcut, Tripled coincidence theorems for monotone mappings in partially ordered metric spaces, Creat. Math. Inform. 21, 2 (2012), 135--142] are generalized and improved, with much sho...

In this paper, we shall establish some fixed point theorems for mappings with the contractive  condition of integrable type on complete intuitionistic fuzzy metric spaces $(X, M,N,*,lozenge)$. We also use Lebesgue-integrable mapping to obtain new results. Akram, Zafar, and Siddiqui introduced the notion of $A$-contraction mapping on metric space. In this paper by using the main idea of the work...