TRIPLE a Rule Language for RDF

1
TRIPLE - a Rule Language for RDF

• Why Rule Languages for the Web?
• Many Previously Unknown Communication Partners.
• Too many languages, too many formats.
• Data needs to be adapted and combined.
• Faster to write rules than code.

2
TRIPLE Description

• TRIPLE is an RDF query, inference, and
  transformation language for the Semantic Web.
• TRIPLE allows the semantics of languages on top
  of RDF to be defined with rules, instead of
  having a built-in semantics for RDF Schema.
• TRIPLE allows RDF reasoning and transformation
  under several different semantics, which is
  necessary if you need to access multiple data
  source in one application.

3
TRIPLE Requirements

• Support for Specification not Programming.
• - Bottom-up evaluation or tabling.
• - Expressive rule bodies.
• - Negation.
• Support for Object Invention.
• - Skolem functions are required.
• Effective Evaluation and Change.
• - Well-founded vs. stables semantics
  (intuitive
• behavior when changes occur).

4
TRIPLE Language Overview

• Native support for
• - Resources namespaces, abbreviations.
• - Models (sets of RDF statements) and
  Semantic Spaces.
• - Reification.
• - Rules with expressive bodies (full FOL
  syntax).
• - Transformations.
• Syntactical extension of Horn Logic.
• Syntactically inspired by F-Logic
• - subjectpredicate?object (molecules).