%0 Journal Article
%T Research on Knowledge Markup and Automated Reasoning Web Service<br>知识标记与自动推理Web服务的研究
%A WANG Jia-Bing
%A ZHANG Jun
%A PENG Hong
%A <br>王家兵
%A 张军
%A 彭宏
%J 计算机科学
%D 2006
%I 
%X The knowledge representation and automated reasoning on the Web are an important issue for artificial intelligence community. In order to provide automated reasoning community with a uniform format of knowledge representation, a many-sorted knowledge mark
%K Knowledge representation
%K Distributed automated reasoning
%K Web service
%K XML
%K SOAP<br>知识表示
%K 分布式自动推理
%K Web服务
%K 可扩展标记语言
%K 简单对象访问协议
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A602D4F1BFD988C7&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=94C357A881DFC066&sid=EF27C460877D3C9F&eid=AA27B676BFCAA4BE&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=21