|
! Lettera o sigla della logica !! Descrizione
|-
| '''<math>\mathcal{AL'''}</math> || 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
|-
| '''<math>\mathcal{ALC'''}</math> || 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
|-
| '''<math>\mathcal{S'''}</math> || Aggiunge ad ALC la definizione della transitività di una relazione
|-
| '''<math>\mathcal{H'''}</math> || Inclusione e equivalenza tra relazioni
|-
| '''<math>\mathcal{R'''}</math> || disgiunzione di proprietà, riflessività, asimmetria, irriflessività, relazioni composte da altre relazioni, definizione di non-relazione tra due individui
|-
| '''<math>\mathcal{O'''}</math> (One of) || creazione di classi tramite elenco di tutti e soli gli individui contenuti
|-
| '''<math>\mathcal{I'''}</math> (Inverse) || definizione di proprietà inversa
|-
| '''<math>\mathcal{F'''}</math> (Functionality) || definizione di proprietà funzionali
|-
| '''<math>\mathcal{N'''}</math> (Number) || restrizione di cardinalità: numero di elementi che partecipano a una certa relazione minore, maggiore o uguale di un valore n
|-
| '''<math>\mathcal{Q'''}</math> (Qualified) || come N, ma la relazione può essere qualificata
|-
| '''D<submath>n\mathcal{D}_n</submath>''' (Numerable Domain) || definizione di domini ([[tipi di dato]]) a cui può portare una relazione (es. "Mario ha n anni")
|}
== Collegamenti esterni ==
* {{Collegamenti esterni}}
* [https://www.w3.org/TR/owl2-new-features/ OWL 2 - New Features and Rationale] nuove funzioni di OWL 2 rispetto a OWL 1
* [https://www.w3.org/TR/owl-features/ OWL Web Ontology Language] definito dal W3C
| 