Web Ontology Language

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir OWL.

Web Ontology Language — dit OWL — est un dialecte XML basé sur une syntaxe RDF. Il fournit les moyens pour définir des ontologies Web structurées.

Le langage OWL est basé sur la recherche effectuée dans le domaine de la logique de description. OWL peut être vu en quelque sorte comme un format de fichier pour certaines logiques de description. OWL permet de décrire des ontologies, c'est-à-dire qu'il permet de définir des terminologies pour décrire des domaines concrets. Une terminologie se constitue de concepts et de propriétés (aussi appelés rôles en logiques de description). Un domaine se compose d'instance de concepts.

Sommaire

[modifier] Une extension de RDF

En pratique, le langage OWL est conçu comme une extension de Resource Description Framework (RDF) et RDF Schema (RDFS) ; OWL est destiné à la description de classes (par des constructeurs) et de types de propriétés. De ce fait, il est plus expressif que RDF et RDFS, auxquels certains reprochent une insuffisance d'expressivité due à la seule définition des relations entre objets par des assertions. OWL apporte aussi une meilleure intégration, une évolution, un partage et une inférence plus facile des ontologies.

Aux concepts de classe, de ressource, de littéral et de propriétés des sous-classes, de sous-propriétés, de champs de valeurs et de domaines d'application déjà présents dans RDFS, OWL ajoute les concepts de classes équivalentes, de propriété équivalente, d'égalité de deux ressources, de leurs différences, du contraire, de symétrie et de cardinalité...

[modifier] Les trois niveaux d'OWL

OWL permet, grâce à sa sémantique formelle basée sur une fondation logique largement étudiée, de définir des associations plus complexes des ressources ainsi que les propriétés de leurs classes respectives. OWL définit trois sous-langages, du moins expressif au plus expressif : OWL-Lite, OWL-DL et OWL-Full. Des algorithmes décidables existent pour la totalité de OWL-Lite. Quoique les problèmes d'inférence de OWL-DL peuvent être résolus en temps exponentiel de façon générale, le comportement est souvent satisfaisant. Il n'existe aucun algorithme d'inférence décidable pour OWL-Full.

[modifier] Applications pour le Web sémantique

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

L'OWL est adéquat pour le Web sémantique, car il offre une syntaxe définie strictement, une sémantique définie strictement et selon le niveau peut permettre des raisonnements automatisés sur les inférences et conclusions des connaissances. Les langages sur lesquels il est construit sont largement interprétables, beaucoup d'applications savent déjà manipuler le XML, et le RDF est un standard bien répandu. Le partage et l'échange dans ces formats en est d'autant plus facile.

Le Web sémantique peut donc profiter de ce format pour structurer, partager et échanger les différentes connaissances qui s'y trouvent. Il y a déjà plusieurs ontologies modélisées à l'aide d'OWL.

[modifier] Moteurs d'inférences

Actuellement, plusieurs moteurs d'inférences gratuits ou commerciaux tels que Racer, Pellet, Fact, Fact++, Surnia, F-OWL et Howlet existent. La plupart de ces moteurs sont conçus pour raisonner sur les logiques de description, mais acceptent en entrée des fichiers OWL. Certains moteurs d'inférence ne peuvent raisonner qu'au niveau terminologique (c'est-à-dire au niveau des concepts et des propriétés) alors que des moteurs comme Pellet et Racer permettent de raisonner aussi sur les instances de concepts.

[modifier] Logiciels d'éditions

Il est possible de créer et d'éditer une ontologie au format OWL avec le logiciel Protégé. Il propose plusieurs formats de fichiers pour les ontologies dont OWL.

[modifier] Voir aussi

  • Web Ontology Language for Web Services (OWL-S)

[modifier] Liens externes

  • OWL au W3C
  • Le moteur d'inférence Racer : [1]
  • Le moteur d'inférence Pellet : [2]
  • Le logiciel d'édition Protégé : [3]

Vous trouverez une liste plus complète à http://www.cs.man.ac.uk/~sattler/reasoners.html