Formal framework for reasoning on metadata based on CWM

被引：10
|
作者：
Zhao, Xiaofei [1 ]
Huang, Zhiqiu [1 ]
机构：
[1] Department of Computer Science and Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2007年 / 44卷 / 05期
关键词：
18;
D O I：
10.1360/crad20070514
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：829 / 836
相关论文
共 50 条
  • [21] A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems
    Li, Qin
    Wang, Jinxun
    Xu, Qiwen
    Huang, Yanhong
    Zhu, Huibiao
    2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : 150 - 159
  • [22] Consistency Reasoning for Data Warehouse Metadata Based on Data Vault
    Feng, Xinyao
    Peng, Zewu
    Ren, Haowen
    Xie, Hanyang
    Wang, Jinhe
    Zhu, Taipeng
    Liang, Yingwei
    Pan, Ding
    2022 IEEE/CIC INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN CHINA, ICCC WORKSHOPS, 2022, : 194 - 198
  • [23] Security Engineering based on Structured Formal Reasoning
    Fuchs, Andreas
    Rudolph, Carsten
    2012 ASE INTERNATIONAL CONFERENCE ON BIOMEDICAL COMPUTING (BIOMEDCOM), 2012, : 145 - 152
  • [24] The LME project: Legislative metadata based on semantic formal models
    Lenzi, Valentina Bartalesi
    Biagioli, Carlo
    Cappelli, Amedeo
    Sprugnoli, Rachele
    Turchi, Fabrizio
    International Journal of Metadata, Semantics and Ontologies, 2009, 4 (03) : 154 - 164
  • [25] A formal framework for agent itinerary specification, security reasoning and logic analysis
    Lu, SY
    Xu, CZ
    25TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2005, : 580 - 586
  • [26] A type-theoretic framework for formal reasoning with different logical foundations
    Luo, Zhaohui
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 214 - 222
  • [27] Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs
    Fernando Tohmé
    Claudio Delrieux
    Otávio Bueno
    Foundations of Science, 2011, 16 : 47 - 65
  • [28] A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
    Zhang, Zaiyue
    Sui, Yuefei
    Cao, Cungen
    Wu, Guohua
    THEORETICAL COMPUTER SCIENCE, 2006, 368 (1-2) : 149 - 160
  • [29] Metadata support to retrieve and revise solutions in case-based reasoning
    Manenti L.
    Sartori F.
    International Journal of Metadata, Semantics and Ontologies, 2011, 6 (3-4) : 185 - 194
  • [30] Prolog-Based Formal Reasoning for Security Protocols
    Jiang, Rongrong
    Wang, Chuanbin
    Xu, Jiejie
    Yu, Jiangfen
    PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, 2011, 137 : 71 - +
12345