Web Ontology Language: differenze tra le versioni

Versione delle 00:48, 5 lug 2010

Versione delle 00:59, 5 lug 2010

Riga 10:

==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 ununa [[Knowledgebase Baseddi Systemconoscenza]] 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.