 |
- Ruolo di base giocato da XML
- RDF e RDF Schema hanno un ruolo centrale
per descrivere le risorse e i loro tipi
- Livello ontologico:
- descrive le relazioni tra i tipi di elementi
- non fornisce informazioni su come utilizzare queste relazioni
dal punto di vista computazionale
- Livello logico:
- derivare nuova conoscenza dalle asserzioni esistenti
- i sistemi deduttivi non sono interoperabili
- un linguaggio universale per rappresentare le dimostrazioni,
esportabili con autenticazione di firma digitale?
- Digital signature:
- a "grana grossa"
- a grana più fine potrebbe autenticare ontologie,
deduzioni, dati
|
