ISSUE-12: Proof of WebID protocol


Proof of WebID protocol

Raised by:
Henry Story
Opened on:
WebID is so simple to understand it may be difficult to prove. But a if one could do this automatically this would help investigate new ideas.

An initial N3 proof using some minimal claim semantics is detailed in the 2009 European Semantic Web Conference paper (ESW2009) "Foaf+SSL: RESTful authentication for the Social Web". [1] I have been working very slowly on improving the proof which is online. [2] We should move this to the current HG repository.

Part of this type of proof will have to be philosophical. The sense/reference distinction may have to base itself on work by Gareth Evans' very large book "The Varieties of Reference". I have also been studying the philosophy of speech acts. There are logics of claims that might be developing in other parts of the semantic web space.

As said this can be developed on the side and need not be a deliverable, though it could simplify discussion in tricky cases.


Related Actions Items:
No related actions
Related emails:
  1. WebID-ISSUE-12 (bblfish): Proof of WebID protocol (from on 2011-01-30)

Related notes:

No additional notes.

Display change log ATOM feed

Henry Story <>, Chair, Dominique Hazaƫl-Massieux <>, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <>.
$Id: 12.html,v 1.1 2019/12/03 13:24:52 carcone Exp $