RDF as graph-based, diagrammatic logic

Authors:
Frithjof Dau
Affiliations:
Dept. of Mathematics, Dresden Technical University, Germany
Venue:
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Year:
2006

Citing 0
Cited 4

A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Web, Graphs and Semantics

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
The Advent of Formal Diagrammatic Reasoning Systems

ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
A relational-based approach for aggregated search in graph databases

DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

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.