|
|
|
|
|
|
|
|
|
|
|
|
|
| n | Build and
maintain list of contacts on explanation work on RDF- |
|||||||||||
| compliant
systems – McGuinness |
||||||||||||
| n | Build a test
ontology and set of test cases |
|||||||||||
| l | Possible
domains – wine ontology, …. |
|||||||||||
| n | Draft
DAML+OIL/owl spec for shareable proofs
and architecture |
|||||||||||
| n | Obtain
comments on draft spec for shareable proofs - - Karlsruhe, |
|||||||||||
| RKF(SRI, KM,
Northwestern, Boeing, …), Cycorp, … |
||||||||||||
| n | Interoperability
tests (at least Stanford and
Cycorp) |
|||||||||||
| n | List of
heuristics for pruning/presenting explanations |
|||||||||||
