Overview

Semantic Web Rule Philosophy

<

Web of Rules

Just like the graph of data

1. Rules from many sources
2. Rules about many things
3. Rules must meg together
4. Indexing all rules is feasible
5. report generation
6. debugging and usage tips
7. some more about builtins

Full N3

• A rule is a triple G1 => G2
• Antecedent and Consequent are graphs
• Graphs can now have graphs as nodes
• Plus varibles quanitified in a given graph
• Simplest clean extension of RDF to handle rules
• Quoting of graphs is essential

Provenance

• Tracking it: Triples become quads
• Depending on it: log:semantics and log:includes
• What to store: Document source, or logic step + sources
• Truth maintenance
• Sources map to licences, acceptable uses, etc

The End

This work is licensed under a Creative Commons Attribution - Non-Commercial - No Derivatives 2.5 License.