Formal Descriptive Mechanism of the Ontology Language RDF
Zhongsheng Qian · 2008
This work illustrates the architecture of semantic Web and data model of RDF, and elaborates on RDF's formal system, whose descriptive mechanism is demonstrated with two examples, including the formalization of relational calculus and logic inference. In the end, it concludes that RDF is a formal specification method, which is a binary relation.