Formal Descriptive Mechanism of the Ontology Language RDF

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 form...

Full description

Saved in:
Bibliographic Details
Main Author: Zhongsheng Qian
Format: Conference Proceeding
Language:English
Subjects:
Computers
Ontologies
Petroleum
Resource description format
Semantic web
XML
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICMECG.2008.23