Web of Trust
Alice says "Whatever Bob says is true"
Defining a Closed World
The page <http://www.w3.org/TR/> lists every W3C Technical Report.
foo is not listed there.
----------------
foo is not a W3C Technical Report.
Extending a Language (eg RDF) Without Modifying Its Syntax
We can quote and then assert a sentence in any language.
<rdf:RDF>
<kif:TrueSentence>
(forall (?x) (=> (rdf(?x, rdf_type, Man))
(rdf(?x, rdf_type, Person)) )
</kif:TrueSentence>
</rdf:RDF>
This can get tricky; see
slide 11 (unquoting).
