Web Ontology Language
137941
31590926
2008-07-15T09:43:53Z
GillesC
38320
catégorisation
{{Voir homonymes|OWL}}
Web Ontology Language — dit '''OWL''' — est un [[Dialecte XML| dialecte XML]] basé sur une syntaxe [[Resource Description Framework|RDF]]. Il fournit les moyens pour définir des [[ontologie (informatique)|ontologie]]s [[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.
== 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 [[Resource Description Framework|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é...
== 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]].
== Applications pour le Web sémantique ==
{{Ébauche section}}
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érence]]s 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.
== 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.
== Logiciels d'éditions ==
Il est possible de créer et d'éditer une ontologie au format OWL avec le logiciel [http://protege.stanford.edu/ Protégé]. Il propose plusieurs formats de fichiers pour les ontologies dont OWL.
== Voir aussi ==
* [[Web Ontology Language for Web Services]] (OWL-S)
== Liens externes ==
* [http://www.w3.org/2004/OWL/ OWL au W3C]
* Le moteur d'inférence Racer : [http://www.racer-systems.com/]
* Le moteur d'inférence Pellet : [http://www.mindswap.org/2003/pellet/index.shtml]
* Le logiciel d'édition Protégé : [http://protege.stanford.edu/]
Vous trouverez une liste plus complète à http://www.cs.man.ac.uk/~sattler/reasoners.html
[[Catégorie:Normes et standards informatiques]]
[[Catégorie:Dialecte XML]]
[[Catégorie:Standard du web]]
[[Catégorie:Web sémantique]]
[[Catégorie:Ontologie (informatique)]]
[[da:Web Ontology Language]]
[[de:Web Ontology Language]]
[[en:Web Ontology Language]]
[[es:OWL]]
[[fa:زبان هستیشناسی وب]]
[[fi:OWL]]
[[he:OWL]]
[[hu:Web Ontology Language]]
[[it:Web Ontology Language]]
[[ja:OWL]]
[[nl:Web Ontology Language]]
[[pl:OWL]]
[[pt:OWL]]
[[ru:Web Ontology Language]]
[[tr:Web Ontoloji Dili]]
[[zh:OWL]]