[Semantic Web]Logic and Ontology

读书笔记 Lee 发表于 2006/3/3 22:46:38 Here is an example of an inference. Suppose we know that all professors are faculty members,  that all faculty members are staff members, and that Michael is a professor. In predicate logic the information is expressed as follows: prof(X) à faculty(X) faculty(X) à staff(X) prof(michael) Then we can deduce the following: faculty(michael) staff(michael) prof(X) à staff(X)Note that this example involves knowledge typically found in ontologies. Thus logic can be used to uncover ontological knowledge that is implicitly given. By doing so, it can also help uncover unexpected relationships and inconsistencies. But logic is more general than ontologies. It can also be used by intelligent agents for making decisions and selecting courses of action.

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