Web Ontology Language: differenze tra le versioni

Versione delle 18:21, 4 lug 2010

Versione delle 00:48, 5 lug 2010

Riga 8:

Insieme a [[Resource Description Framework|RDF]], di cui è un'estensione, OWL fa parte del progetto, ancora ''in itinere'', del [[Web semantico]].

==Decidibilità==

Uno dei problemi maggiori delle ontologie è la scelta della potenza espressiva. La [[logica del primo ordine]] è infatti molto potente ma non è [[Decidibilità|decidibile]], ossia non è possibile costruire un algoritmo che, dati uno o più assiomi, dica se un'affermazione è vera o falsa in un tempo finito.

Ovviamente questo è sconveniente dal punto di vista dell'utilizzo pratico, perché si vorrebbe avere un [[Knowledge Based System]] che risponda in maniera prevedibile alle richieste, e non dia informazioni in base alle deduzioni fatte fino a quel momento.

Gli approcci al problema sono dunque:

*selezionare una logica meno potente della logica del primo ordine che sia abbia meno poter espressivo ma sia decidibile

*rinunciare alla decidibilità operando in un contesto di affidabilità parziale della base di dati.

Alcune versioni di OWL, quelle più usate, sono basate sul primo approccio.

==Versioni==

Esistono diverse versioni di OWL, molto diverse tra di loro.