Examples of Running Code

Closed World Machine

• CWM is a popular Semantic Web & RDF program, written in Python by Tim Berners-Lee and Dan Connolly.
• CWM can handle the Notation3 format, as well as XML RDF and NTriples, and can perform a number of functions, including applying rules as a forward chaining inference engine.

Euler Proof Mechanism

• research component to support logic based proofs.
• Prolog unification (substitutions, unifiers) & resolution algorithm & backtracking
• Euler path detection
• "existential introduction rule" generation (w.r.t. RDF bNodes)
• unification of variable predicates
• use as much as possible from DanC's and TimBL's SWAP