Web semantico: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: orfanizzo redirect Unione Europea |
|||
Riga 236:
OWL esiste in tre forme, caratterizzate da diversi gradi di complessità e - conseguentemente - di [[computabilità]]. ''OWL-Lite'' è computabile (ossia è possibile trovare tutte le soluzioni in un tempo finito) ma poco espressivo; OWL-Lite è poco usato, poiché esiste ''OWL-DL'', che è ugualmente computabile ma più ricco. Infine esiste ''OWL-Full'', che copre tutta la ricchezza della logica predicativa, ma non è computabile e non è quindi adatto al ragionamento automatico.
Con OWL è possibile scrivere delle [[Ontologia (informatica)|ontologie]] che descrivono la conoscenza che abbiamo di un certo dominio, tramite classi, relazioni fra classi e individui appartenenti a classi. La conoscenza così formalizzata è [[Dati_processabili_automaticamente|processabile automaticamente]] da un calcolatore, tramite un [[ragionatore automatico]] che implementa i processi inferenziali e deduttivi.
== Modalità di impiego ==
|