Minimal mappings

Minimal mappings

Minimal mappings are the result of an advanced technique of semantic matching, a technique used in Computer Science to identify information which is semantically related.

Semantic matching has been proposed as a valid solution to the semantic heterogeneity problem, namely supporting diversity in knowledge. Given any two graph-like structures, e.g. classifications, database or XML schemas and ontologies, matching is an operator which identifies those nodes in the two structures which semantically correspond to one another. For example, applied to file systems it can identify that a folder labeled “car” is semantically equivalent to another folder “automobile” because they are synonyms in English.

The proposed technique works on lightweight ontologies, namely tree structures where each node is labeled by a natural language sentence, for example in English. These sentences are translated into a formal logical formula (according to an artificial unambiguous language) codifying the meaning of the node taking into account its position in the graph. For example, in case the folder “car” is under another folder “red” we can say that the meaning of the folder “car” is “red car” in this case. This is translated into the logical formula “red AND car”.

The output of matching is a mapping, namely a set of semantic correspondences between the two graphs. Each mapping element is attached with a semantic relation, for example equivalence. Among all possible mappings, the minimal mapping is a high quality mapping such that i) all the other mapping elements can be computed from the ones in the minimal set in time linear in the size of the input graphs, and ii) none of the mapping elements in the minimal set can be dropped without losing property i).

The main advantage of minimal mappings is that they are the minimal amount of information that needs to be dealt with. Notice that this is a rather important feature as the number of possible mappings can grow up to n*m with n and m the size of the two input ontologies. In particular, minimal mappings become crucial with large ontologies, e.g. DMOZ, where even relatively small subsets of the number of possible mapping elements, potentially millions of them, are unmanageable.

Minimal mappings provide clear usability advantages. Many systems and corresponding interfaces, mostly graphical, have been provided for the management of mappings but all of them hardly scale with the increasing number of nodes, and the resulting visualizations are rather messy [1]. Furthermore, the maintenance of smaller mappings makes the work of the user much easier, faster and less error prone.

Look at [2] for a formal definition of minimal and, dually, redundant mappings, evidence of the fact that the set of minimal mappings always exists and it is unique and an algorithm for computing them.

See also


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Ontology alignment — Ontology alignment, or ontology matching, is the process of determining correspondences between concepts. A set of correspondences is also called an alignment. The phrase takes on a slightly different meaning, in computer science, cognitive… …   Wikipedia

  • Stasis (EU project) — Research Project name=STASIS title=Software for Ambient Semantic Interoperable Services keywords=semantics, interoperability, B2B, e Business, information exchange, mapping, electronic trading fundingAgency=European Union frameworkProgramme=FP6… …   Wikipedia

  • Galois connection — In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets (posets). Galois connections generalize the correspondence between subgroups and subfields investigated in Galois… …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

  • Problem domain — A problem domain is a domain where the parameters defining the boundaries of the domain and sufficient mappings into a set of ranges including itself are not well enough understood to provide a systematic description of the domain.A problem… …   Wikipedia

  • Classical modular curve — In number theory, the classical modular curve is an irreducible plane algebraic curve given by an equation Φn(x, y)=0, where for the j invariant j(τ), x=j(n τ), y=j(τ) is a point on the curve. The curve is sometimes called X0(n), though often… …   Wikipedia

  • Schwarz-Christoffel mapping — In complex analysis, a discipline within mathematics, a Schwarz Christoffel mapping is a transformation of the complex plane that maps the upper half plane conformally to a polygon. Schwarz Christoffel mappings are used in potential theory and… …   Wikipedia

  • Python syntax and semantics — The syntax of the Python programming language is the set of rules that defines how a Python program will be written and interpreted (by both the runtime system and by human readers). Python was designed to be a highly readable language. It aims… …   Wikipedia

  • Homogeneous coordinate ring — In algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring R = K[X0, X1, X2, ..., XN]/I where I is the homogeneous ideal… …   Wikipedia

  • Borel algebra — In mathematics, the Borel algebra (or Borel sigma; algebra) on a topological space X is a sigma; algebra of subsets of X associated with the topology of X . In the mathematics literature, there are at least two nonequivalent definitions of this… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”