Abstract: 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

Key words: Knowledge representation,Distributed automated reasoning, Web service, XML, SOAP