Representation and reasoning about changing semantics in heterogeneous data sources

被引:0
|
作者
Zhu, HW [1 ]
Madnick, SE [1 ]
Siegel, MD [1 ]
机构
[1] MIT, Sloan Sch Management, Cambridge, MA 02142 USA
来源
SEMANTIC WEB AND DATABASES | 2005年 / 3372卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Changes of semantics in data sources further complicate the semantic heterogeneity problem. We identify four types of semantic heterogeneities related to changing semantics and present a solution based on an extension to the Context Interchange (COIN) framework. Changing semantics is represented as multi-valued contextual attributes in a shared ontology; however, only a single value is valid over a certain time interval. A mediator, implemented in abductive constraint logic programming, processes the semantics by solving temporal constraints for single-valued time intervals and automatically applying conversions to resolve semantic differences over these intervals. We also discuss the scalability of the approach and its applicability to the Semantic Web.
引用
收藏
页码:127 / 139
页数:13
相关论文
共 50 条
  • [21] Formal semantics and reasoning about UML class diagram
    Szlenk, Marcin
    [J]. DEPCOS-RELCOMEX 2006, 2006, : 51 - 58
  • [22] Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics
    Giordano, Laura
    Gliozzi, Valentina
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 212 - 225
  • [23] TOWARDS A UNIFIED PRINCIPLE FOR REASONING ABOUT HETEROGENEOUS DATA: A FUZZY LOGIC FRAMEWORK
    Lyamine, Hedjazi
    Aguilar-Martin, Joseph
    Le Lann, Marie-Veronique
    Kempowsky, Tatiana
    [J]. INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2012, 20 (02) : 281 - 302
  • [24] Reasoning about Web Applications: An Operational Semantics for HOP
    Boudol, Gerard
    Luo, Zhengqin
    Rezk, Tamara
    Serrano, Manuel
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 34 (02):
  • [25] The process semantics based reasoning about continuous change
    Li, CP
    [J]. KI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2821 : 505 - 519
  • [26] Reasoning in Abella about Structural Operational Semantics Specifications
    Gacek, Andrew
    Miller, Dale
    Nadathur, Gopalan
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 228 : 85 - 100
  • [27] Reasoning about VHDL using operational and observational semantics
    Goossens, KGW
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 311 - 327
  • [28] Reasoning about MLIR Semantics through Effects and Handlers
    Yu, Pingshi
    [J]. PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1552 - 1554
  • [29] Online transferable representation with heterogeneous sources
    Li, Yanchao
    Li, Hao
    [J]. APPLIED INTELLIGENCE, 2020, 50 (06) : 1674 - 1686
  • [30] Online transferable representation with heterogeneous sources
    Yanchao Li
    Hao Li
    [J]. Applied Intelligence, 2020, 50 : 1674 - 1686