Abstract
The Resource Description Framework (RDF) is the basic standard for representing information in the Semantic Web. It is mainly designed to be machine-readable and -processable. This paper takes the opposite side of view: RDF is investigated as a logic system designed for the needs of humans. RDF is developed as a logic system based on mathematical graphs, i.e., as diagrammatic reasoning system. As such, is has humanly-readable, diagrammatic representations. Moreover, a sound and complete calculus is provided. Its rules are suited to act on the diagrammatic representations. Finally, some normalforms for the graphs are introduced, and the calculus is modified to suit them. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Dau, F. (2006). RDF as graph-based, diagrammatic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4203 LNAI, pp. 332–337). Springer Verlag. https://doi.org/10.1007/11875604_38
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
