Triple

Motivation

What’s wrong with existing approaches?

Graph Separated in Models

New System: Triple

Object Expressions + Models

Reification

Example: RDF-Schema

Mapping to Horn Logic

RDF-Syntax for Triple

Implementation

Conclusions