[Semantic Web]RDF, OWL and Predicate Logic

读书笔记 Lee 发表于 2006/3/4 12:11:19 The languages of RDF and OWL (Lite and DL) can be viewed as specializations of predicate logic. The correspondence was illustrated by the axiomatic semantics in the form of logical axioms. 阅读全文(1733) | 回复(0) | 编辑 | 精华 | 删除

[Semantic Web]Reasons for the Popularity and Importance of Logic

读书笔记 Lee 发表于 2006/3/4 12:07:08 • It provides a high-level language in which knowledge can be expressed in a transparent way. And it has a high expressive power. 阅读全文(1913) | 回复(0) | 编辑 | 精华 | 删除

[Semantic Web]Future Extensions of OWL

读书笔记 Lee 发表于 2006/3/3 23:02:22 Clearly, OWL is not the final word on ontology languages for the Semantic Web. A number of additional features have already been identified in the OWL Requirements Document, and many others are under discussion.

阅读全文(1912) | 回复(0) | 编辑 | 精华 | 删除

[Semantic Web]Layering of OWL

读书笔记 Lee 发表于 2006/3/3 23:00:20 Now that we have discussed all the language constructors of OWL, we can completely specify which features of the language may be used in which sublanguage (OWL Full, OWL or OWL Lite). 删除

[Semantic Web]The Semantic Web vs. Artificial Intelligence

读书笔记 Lee 发表于 2006/3/3 22:50:02 Most of the technologies (explicit metadata, ontology, logic and inferencing, and intelligent agents) needed for the realization of the Semantic Web build upon work in the area of artifici

阅读全文(1443) | 回复(0) | 编辑 | 精华 | 删除

[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 membe

阅读全文(1349) | 回复(0) | 编辑 | 精华 | 删除