[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.     One justification for the existence of such specialized languages is that they provide a syntax that fits well with the intended use (in our case, Web languages based on tags). The other major justification is that they define reasonable subsets of logic. There is a trade-off between the expressive power and the computational complexity of certain logics: the more expressive the language, the less efficient (in the worst case) the corresponding proof systems.  OWL Lite and OWL DL correspond roughly to a description logic, a subset of predicate logic for which efficient proof systems exist.

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