|
== Semantica ==
Il linguaggio OWL è costituito da una [[Semantica (informatica)|semantica formale]] costruita dal consorzio [[World Wide Web Consortium|W3C]] sulla base dello standard [[XML]] chiamato [[Resource Description Framework|RDF]]. I due maggiori rilasci di specifiche di tale semantica sono chiamate OWL<ref>{{Cita web|url=https://www.w3.org/TR/owl-ref/|titolo=OWL Web Ontology Language Reference|sito=www.w3.org|lingua=en|accesso=15 agosto 2018}}</ref> (detto anche OWL1, [[2004]]) e OWL2<ref>{{Cita web|url=https://www.w3.org/TR/owl2-overview/|titolo=OWL 2 Web Ontology Language Document Overview (Second Edition)|sito=www.w3.org|lingua=en|accesso=15 agosto 2018}}</ref> ([[2009]]). OWL2 è completamente compatibile con OWL1<ref>{{Cita web|url=https://www.w3.org/TR/owl2-overview/#Relationship_to_OWL_1|titolo=OWL 2 Web Ontology Language Document Overview (Second Edition) - Relationship to OWL1|sito=www.w3.org|lingua=en|accesso=15 agosto 2018}}</ref>.
== Decidibilità ==
! 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
| 