Title :
Formal Descriptive Mechanism of the Ontology Language RDF
Author_Institution :
Sch. of Inf. Technol., Jiangxi Univ. of Finance & Econ., Nanchang
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;
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
DOI :
10.1109/ICMECG.2008.23
