| |
| | Triple Tutorial (Site not responding. Last check: 2007-10-26) |
 | | Triple allows the usage of path expressions instead of subject, predicate, or object definitions (and at all other places where terms are allowed). |
 | | Triple uses the usual set of connectives and quantifiers for building formulae from statements/molecules and Horn atoms, i.e., ∧, ∨, ¬, ∀, ∃, →, ←, etc. For Triple programs in plain ASCII syntax, the symbols AND, OR, NOT, FORALL, EXISTS, <-, -> are used. |
 | | Triple is inspired by frame logic (f-logic), which is a syntactical extension to first-order logic. |
| triple.semanticweb.org /doc/tutorial.html (4093 words) |
|