Web Ontology Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 15:
*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.
===Logiche===
Per scegliere un sottoinsieme della logica del prim'ordine che sia decidibile si è utilizzata la [[logica proposizionale]] aumentandone la potenza aggiungendo delle logiche rappresentate per convenzione con delle sigle:
{| class="wikitable"
|-
! Lettera o sigla della logica !! Descrizione
|-
| AL || Inclusione e equivalenza tra classi, definizione di classi atomiche, classe universo, intersezione tra classi, definizioni di classi formate da elementi che prendono parte a relazioni o hanno una relazione di un certo tipo solo con elementi di una certa classe, operatore di congruenza tra individui e appartenenza di un individuo a una classe
|-
| ALC || aggiunge ad AL la classe vuota, le classi complemento, l'unione di classi e le classi di elementi che sono in una certa relazione con elementi di una certa classe
|-
| S || Aggiunge ad ALC la definizione della transitività di una relazione
|-
| H || Inclusione e equivalenza tra relazioni
|-
| R || disgiunzione di proprietà, riflessività, asimmetria, irriflessività, relazioni composte da altre relazioni, definizione di non-relazione tra due individui
|-
| O || creazione di classi tramite elenco degli individui contenuti
|-
| I || definizione di proprietà inversa
|-
| F || definizione di proprietà funzionali
|-
| N || restrizione di cardinalità: numero di elementi che partecipano a una certa relazione minore, maggiore o uguale di un valore n
|-
| Q || come N, ma la relazione può essere qualificata
|}
==Versioni==
| |||