[Semantic Web]Logic and The Semaintic Web

读书笔记,  电脑与网络 Lee 发表于 2006/2/14 18:32:51 　 Logic is the discipline that studies the principles of reasoning; it goes back to Aristotle. In general, logic offers, first, formal languages for expressing knowledge. Second, logic provides us with well-understood formal semantics: in most logics, the meaning of sentences is defined without the need to operationalize the knowledge. Often we speak of declarative knowledge: we describe what holds without caring about how it can be deduced. And third, automated reasoners can deduce (infer) conclusions from the given knowledge, thus making implicit knowledge explicit. Generally there is a trade-off between expressive power and computational efficiency. The more expressive a logic is, the more computationally expensive it becomes to draw conclusions. And drawing certain conclusions may become impossible if noncomputability barriers are encountered. Luckily, most knowledge relevant to the Semantic Web seems to be of a relatively restricted form. An important advantage of logic is that it can provide explanations for conclusions: the series of inference steps can be retraced. Ultimately an explanation will trace an answer back to a given set of facts and the inference rules used. Explanations are important for the Semantic Web because they increase users’ confidence in Semantic Web agents. Explanations will also be necessary for activities between agents. While some agents will be able to draw logical conclusions, others will only have the capability to validate proofs, that is, to check whether a claim made by another agent is substantiated. For logic to be useful on the Web it must be usable in conjunction with other data, and it must be machine-processable as well. Therefore, there is ongoing work on representing logical knowledge and proofs in Web languages. Initial approaches work at the level of XML, but in the future rules and proofs will need to be represented at the level of RDF and ontology languages, such as DAML+OIL and OWL.

阅读全文(2102) | 回复(0) | 编辑 | 精华