Research on Knowledge Markup and Automated Reasoning Web Service
知识标记与自动推理Web服务的研究

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