* Correspondence: [email protected]. edu.tw Department of Mathematics, National Changhua University of Education, Changhua, 50058, Taiwan Full list of author information is available at the end of the article Abstract In this paper, we introduce generalized hybrid mapping on CAT(0) spaces. The class of generalized hybrid mappings contains the class of nonexpansive mappings, nonspreading mappings,...

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...

In this paper, we introduce the notion of an extended metric space ($p$-metric space) as a new generalization of the concept of $b$-metric space. Also, we present the concept of $(psi ,varphi )_{Omega}$-contractive mappings and we establish some fixed point results for this class of mappings in ordered complete $p$-metric spaces. Our results generalize several well...

The mapping semantics that combines the schema-level and the data-level mappings is called bi-level mappings. Bi-level mappings enhance data sharing overcoming the limitations of the non-combined approaches. This paper presents an algorithm for composing two bi-level mappings by using tableaux. Composition of mappings between peers has several computational advantages in a peer data management ...