Representing and reasoning about mappings between domain models

被引:0
|
作者
Madhavan, J [1 ]
Bernstein, PA [1 ]
Domingos, P [1 ]
Halevy, AY [1 ]
机构
[1] Univ Washington, Seattle, WA 98195 USA
来源
EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS | 2002年
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Mappings between disparate models are fundamental to, any application that requires interoperability between heterogeneous data and applications. Generating mappings is a labor-intensive and error prone task. To build a system that helps users generate mappings, we need an explicit representation of mappings; This representation needs to have well.-defined semantics to enable reasoning and comparison between,mappings. This paper first presents a powerful framework,for defining languages for specifying mappings and their associated semantics. We examine. the use of mappings and identify the key inference problems associated with mappings. These properties can be used to determine whether a mapping is adequate in a particular context. Finally, we consider an instance of our framework for a language representing mappings between relational data. We present sound and complete algorithms for the corresponding inference problems.
引用
收藏
页码:80 / 86
页数:7
相关论文
共 50 条
  • [1] Representing and reasoning about auctions
    Mittelmann, Munyque
    Bouveret, Sylvain
    Perrussel, Laurent
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2022, 36 (01)
  • [2] Representing and reasoning about auctions
    Munyque Mittelmann
    Sylvain Bouveret
    Laurent Perrussel
    Autonomous Agents and Multi-Agent Systems, 2022, 36
  • [3] Representing and reasoning about temporal granularities
    Combi, C
    Franceschet, M
    Peron, A
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (01) : 51 - 77
  • [4] Representing and Reasoning about Game Strategies
    Dongmo Zhang
    Michael Thielscher
    Journal of Philosophical Logic, 2015, 44 : 203 - 236
  • [5] Representing and Reasoning About XML with Ontologies
    Fu Zhang
    Z. M. Ma
    Applied Intelligence, 2014, 40 : 74 - 106
  • [6] Representing and reasoning about privacy abstractions
    Li, YH
    Benbernou, S
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005, 2005, 3806 : 390 - 403
  • [7] Representing and Reasoning about Game Strategies
    Zhang, Dongmo
    Thielscher, Michael
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (02) : 203 - 236
  • [8] Representing and Reasoning about Dynamic Code
    Bartels, Jesse
    Stephens, Jon
    Debray, Saumya
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 312 - 323
  • [9] Representing and Reasoning About XML with Ontologies
    Zhang, Fu
    Ma, Z. M.
    APPLIED INTELLIGENCE, 2014, 40 (01) : 74 - 106
  • [10] Representing and Reasoning about Game Strategies
    Jiang, Guifei
    Zhang, Dongmo
    Perrussel, Laurent
    Zhang, Yan
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1975 - 1976