La sémantique et la syntaxe abstraite du langage d'ontologie Web OWL

3. La sémantique du modèle théorique direct (normatif)

Cette sémantique du modèle théorique du langage OWL part directement des ontologies dans la syntaxe abstraite OWL DL, qui inclut la syntaxe abstraite OWL Lite, pour aboutir à un modèle théorique standard. Elle est plus simple que la sémantique décrite dans le chapitre 5, qui est une extension de vocabulaire de la sémantique RDFS.

3.1. Les vocabulaires et les interprétations

La sémantique commence ici avec la notion de vocabulaire. Lorsqu'on traite une ontologie OWL, le vocabulaire doit inclure tous les appels d'adresses URI et littéraux dans cette ontologie, ainsi que les ontologies qu'elle importe, mais elle peut aussi bien inclure d'autres appels d'adresses URI et littéraux.

Dans ce chapitre, V_OP représentera les appels d'adresse URI des propriétés d'ontologie OWL intégrées.

Définition : Un vocabulaire OWL V consiste en un ensemble de littéraux V_L et de sept ensembles d'appels d'adresses URI : V_C, V_D, V_I, V_DP, V_IP, V_AP et V_O. Quel que soit le vocabulaire, les ensembles V_C et V_D sont disjoints, et les ensembles V_DP, V_IP, V_AP et V_OP sont disjoints deux-à-deux. L'ensemble V_C des noms de classes d'un vocabulaire contient les classes owl:Thing et owl:Nothing. L'ensemble V_D des noms de types de données d'un vocabulaire contient les appels d'adresse URI des types de données OWL intégrés et la classe rdfs:Literal. L'ensemble V_AP des noms de propriétés d'annotation d'un vocabulaire contient les propriétés owl:versionInfo, rdfs:label, rdfs:comment, rdfs:seeAlso et rdfs:isDefinedBy. L'ensemble V_IP des noms de propriétés à valeur d'individu d'un vocabulaire, l'ensemble V_DP des noms de propriétés à valeur de donnée d'un vocabulaire, l'ensemble V_I des noms d'individus d'un vocabulaire et l'ensemble V_O des noms d'ontologies d'un vocabulaire ne contiennent pas obligatoirement des membres.

Une application de types de données peut contenir les types de données des autres types de données OWL intégrés. Elle peut aussi contenir d'autres types de données, mais il n'y a aucune disposition dans la syntaxe OWL pour communiquer ce que sont ces types de données.

Définition : Soit D une application de types de données. Une interprétation OWL abstraite par rapport à D avec un vocabulaire V_L, V_C, V_D, V_I, V_DP, V_IP, V_AP, V_O est un tuple de la forme I = <R, EC, ER, L, S, LV>, où (P est l'opérateur ensemble des parties d'un ensemble) :

• l'ensemble R des ressources de I n'est pas vide
• l'ensemble LV des valeurs littérales de I est un sous-ensemble de R, et il contient l'ensemble des chaînes Unicode, l'ensemble des couples de chaînes et étiquettes de langue Unicode, et les espaces de valeurs de chaque type de donnée dans D
• EC : V_C → P(O)
• EC : V_D → P(LV)
• ER : V_DP → P(O×LV)
• ER : V_IP → P(O×O)
• ER : V_AP ∪ { rdf:type } → P(R×R)
• ER : V_OP → P(R×R)
• L : TL → LV, où TL est l'ensemble des littéraux typés dans V_L
• S : V_I ∪ V_C ∪ V_D ∪ V_DP ∪ V_IP ∪ V_AP ∪ V_O ∪ { owl:Ontology, owl:DeprecatedClass, owl:DeprecatedProperty } → R
• S(V_I) ⊆ O
• EC(owl:Thing) = O ⊆ R, où O est non vide et disjoint de LV
• EC(owl:Nothing) = { }
• EC(rdfs:Literal) = LV
• Si D(d') = d alors EC(d') = V(d)
• Si D(d') = d alors L("v"^^d') ∈ V(d)
• Si D(d') = d et v ∈ L(d) alors L("v"^^d') = L2V(d)(v)
• Si D(d') = d et v ∉ L(d) alors L("v"^^d') ∈ R - LV

Le tuple EC représente les appels d'adresses URI utilisés comme classes et types de données OWL. Le tuple ER représente les appels d'adresses URI utilisés comme propriétés OWL. (La propriété rdf:type est ajoutée aux propriétés d'annotation pour représenter une contre-indication, cf. ci-dessous). Le tuple L représente les littéraux typés. Le tuple S représente les appels d'adresses URI utilisés pour dénoter des individus OWL et faciliter l'expression des annotations. Remarquez qu'aucune interprétation ne pourra satisfaire à toutes les conditions placées sur des littéraux mal formés, c'est-à-dire ceux dont la forme lexicale est invalide pour le type de donnée, par exemple 1.5^^xsd:integer.

Le tuple S est étendu aux littéraux ordinaires dans V_L en les associant (essentiellement) à eux-mêmes, c'est-à-dire S("l") = l, où l est un littéral ordinaire sans étiquette de langue, et S("l"@t) = <l,t>, où l est un littéral ordinaire avec une étiquette de langue. Le tuple S est étendu aux littéraux typés avec L, tel que S(l) = L(l), où l est un littéral typé.

3.2. L'interprétation des structures incorporées

Le tuple EC est étendu aux structures syntaxiques des descriptions, des gammes de données, des individus, des valeurs et des annotations selon le Le tableau d'extension de EC.

3.3. L'interprétation des axiomes et des faits

Une interprétation OWL abstraite I satisfait aux axiomes et faits comme indiqué dans le tableau d'interprétation des axiomes et des faits. Dans ce tableau, les parties optionnelles des axiomes ou des faits apparaissent entre des crochets ([…]) tout comme les conditions optionnelles qui leur correspondent.

3.4. L'interprétation des ontologies

D'après le chapitre 2, une ontologie OWL peut avoir des annotations, qui ont besoin de leurs propres conditions sémantiques. Hormis cette signification locale, une annotation owl:imports peut aussi importer le contenu d'une autre ontologie dans l'ontologie courante. Le cas échéant, l'ontologie importée a pour nom l'argument de la structure owl:imports. (Ce traitement des importations est séparé de celui des problèmes liés au Web. Les noms d'ontologies OWL sont censés représenter leurs localisations sur le Web, mais cela ne fait pas partie de ce traitement formel).

Définition : Soit D une application de type de donnée. Une interprétation OWL abstraite I par rapport à D avec un vocabulaire V_L, V_C, V_D, V_I, V_DP, V_IP, V_AP, V_O satisfait à une ontologie OWL O si :

1. chaque appel d'adresse URI dans O utilisé comme identificateur de classe (identificateur de type de donnée, identificateur d'individu, identificateur de propriété à valeur de donnée, identificateur de propriété à valeur d'individu, identificateur de propriété d'annotation, identificateur d'annotation, identificateur d'ontologie) appartient à V_C (V_D, V_I, V_DP, V_IP, V_AP, V_O, respectivement) ;
2. chaque littéral dans O appartient à V_L ;
3. l'interprétation I satisfait à chaque directive dans O, hormis les annotations d'ontologies ;
4. il existe un élément o ∈ R, <o,S(owl:Ontology)> ∈ ER(rdf:type), tel que pour chaque annotation d'ontologie de la forme Annotation(p v), <o,S(v)> ∈ ER(p) et que si O a pour nom n, alors S(n) = o, et
5. l'interprétation I satisfait à chaque ontologie mentionnée par une directive d'annotation owl:imports de O.

Définition : Un ensemble d'ontologies OWL abstraites, d'axiomes et de faits est cohérent par rapport à l'application de type de donnée D s'il existe une interprétation I par rapport à D qui satisfait à chaque ontologie, axiome et fait dans l'ensemble.

Définition : Un ensemble O d'ontologies OWL abstraites, d'axiomes et de faits infère l'existence d'une ontologie OWL abstraite ou d'un axiome ou d'un fait O' par rapport à une application de type de donnée D si chaque interprétation par rapport à l'application D satisfaisant à chaque ontologie, axiome ou fait dans O satisfait aussi O'.