Reasoning about Web Services with Local Closed World Assumption

被引:0
|
作者
Chen, Limin [1 ]
Hu, Hong [1 ]
Shi, Zhongzhi [1 ]
机构
[1] Chinese Acad Sci, ICT, Key Lab Intelligent Informat Proc, Beijing 100049, Peoples R China
来源
2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 1 | 2009年
关键词
Semantic Web; Dynamic Reasoning; Local Closed World Assumption; Satisfiability Checking; SEMANTIC WEB;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper presents a formalism for representing and reasoning about Web services with local closed world assumption (LCWA) on the basis of ACCO@K. In our formalism, the knowledge about the states of the world is encoded in ALC@-ABoxes; atomic services are represented in terms of their preconditions (epistemic queries to the knowledge base) and effects (possibly negated ACC@-assertions involving only atomic concepts); and composite services are built up with action constructors in dynamic logics. We also summarize some reasoning tasks and develop a calculus for them. Our formalism also enjoys introspection. The main features of our proposal (i.e., dynamic reasoning, local closed world assumption and introspection) make it more philosophically satisfying and much closer towards a practical formalism for agents with incomplete knowledge in the Web full of static information and dynamic processing.
引用
收藏
页码:367 / 370
页数:4
相关论文
共 50 条
  • [42] A Complete Epistemic Planner without the Epistemic Closed World Assumption
    Wan, Hai
    Yang, Rui
    Fang, Liangda
    Liu, Yongmei
    Xu, Huada
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3257 - 3263
  • [43] BREAKING THE CLOSED-WORLD ASSUMPTION IN STYLOMETRIC AUTHORSHIP ATTRIBUTION
    Stolerman, Ariel
    Overdorf, Rebekah
    Afroz, Sadia
    Greenstadt, Rachel
    ADVANCES IN DIGITAL FORENSICS X, 2014, 433 : 185 - 205
  • [45] The MathServe system for Semantic Web reasoning Services
    Zimmer, Juergen
    Autexier, Serge
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 140 - 144
  • [46] Trusted reasoning services for semantic web agents
    Kravari, Kalliopi
    Kontopoulos, Efstratios
    Bassiliades, Nick
    Informatica (Ljubljana), 2010, 34 (04) : 429 - 440
  • [47] The Formal Definitions of Semantic Web Services and Reasoning
    Duan Yuexing
    EMERGING RESEARCH IN WEB INFORMATION SYSTEMS AND MINING, 2011, 238 : 303 - 311
  • [48] Automatic Learning of Temporal Relations Under the Closed World Assumption
    Nicoletti, M. C.
    Lisboa, F. O. S. S.
    Hruschka, E. R., Jr.
    FUNDAMENTA INFORMATICAE, 2013, 124 (1-2) : 133 - 151
  • [49] Trusted Reasoning Services for Semantic Web Agents
    Kravari, Kalliopi
    Kontopoulos, Efstratios
    Bassiliades, Nick
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2010, 34 (04): : 429 - 440
  • [50] Local Reasoning about Data Update
    Calcagno, Cristiano
    Gardner, Philippa
    Zarfaty, Uri
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 133 - 175