 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| n |
W3C –
Contact: Berners-Lee, Connolly,…
|
|
|
|
l |
Cwm will handle
explanation and validation sometime
|
|
|
| n |
Stanford –
Contact: McGuinness
|
|
|
|
l |
http://www.ksl.stanford.edu/projects/daml/Proof/
|
|
|
|
l |
DAML+OIL/OWL
specification of proofs, examples, challenges…
|
|
|
|
l |
Implementation
of explanation/proof browser for proofs/inference
|
|
|
webs
|
|
|
|
l |
JTP reasoner is
being made compatible with proof spec
|
|
|
| n |
Cycorp – Contact: Steve Reed
|
|
|
|
l |
Explanation
implementation of Stanford's design initial
|
|
test subsumption,
|
|
|
|
l |
why assertion NOT assertable and make
|
|
|
recommendations
|
|
|
| n |
Agfa - Contact: Jos de Roo
|
|
