McGuinness Oct 17, 2002
6
Plans/People
nW3C – Contact:
Berners-Lee, Connolly,…
lCwm will handle explanation and
validation sometime
nStanford – Contact: McGuinness
lhttp://www.ksl.stanford.edu/projects/daml/Proof/
lDAML+OIL/OWL specification of
proofs, examples, challenges…
lImplementation of explanation/proof
browser for proofs/inference webs
lJTP reasoner is being made
compatible with proof spec
nCycorp –
Contact: Steve Reed
lExplanation implementation of
Stanford's design initial test subsumption,
l why assertion NOT assertable and make recommendations
nAgfa -
Contact: Jos de Roo