DocumentCode
3172770
Title
Formal Descriptive Mechanism of the Ontology Language RDF
Author
Zhongsheng Qian
Author_Institution
Sch. of Inf. Technol., Jiangxi Univ. of Finance & Econ., Nanchang
fYear
2008
fDate
17-19 Oct. 2008
Firstpage
221
Lastpage
225
Abstract
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.
Keywords
XML; data models; electronic data interchange; formal specification; knowledge representation languages; meta data; ontologies (artificial intelligence); semantic Web; RDF formal descriptive mechanism; XML; binary relation; data model; formal specification method; logic inference; ontology language; relational calculus; semantic Web architecture; Conference management; Data models; Financial management; Information resources; Microstrip; Ontologies; Resource description framework; Semantic Web; Service oriented architecture; Technology management;
fLanguage
English
Publisher
ieee
Conference_Titel
Management of e-Commerce and e-Government, 2008. ICMECG '08. International Conference on
Conference_Location
Jiangxi
Print_ISBN
978-0-7695-3366-7
Type
conf
DOI
10.1109/ICMECG.2008.23
Filename
4656629
Link To Document