{"partition": "head_middle", "source_domain": "www.christian-faure.net", "digest": "sha1:UNENNLT3KLHZNC3FQAVERH4LWKWLPV46", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00020.parquet"}
Christian Fauré
Hypomnemata : supports de mémoire
Pourquoi le Web Sémantique a-t-il autant de succès ?
by Christian on 20 novembre, 2005
C’est d’abord parce qu’il est destiné à être utilisé par les machines, non par les hommes. Il est destiné à être utilisé par des machines car il repose sur les logiques descriptives dont le formalisme permet de faire du calcul. Attardons-nous quelques instants sur ces logiques descriptives qui sont au coeur même des démarches « sémantiques ».
Une logique basée sur le calcul des prédicats est trop pauvre car elle ignore la notion de contextualité, c’est la raison pour laquelle, en matière d’ingénierie des connaissances, les logiques descriptives ont pris le dessus. Elles ont la prétention – c’est ce que dénote l’adjectif « descriptives »- de s’appuyer sur une représentation contextualisée des éléments qui la composent. Et pour ce faire, les logiques descriptives se proposent de regrouper les connaissances dans leur contexte d’application. Pour répondre à cette contextualisation de la connaissance, a été mis en place les Frames (Cadres). Je n’insisterai pas plus là dessus car la programmation orientée objet est issue de cette représentation des connaissances par des Frames (entités, classes, attributs, méthodes,…)
Une représentation des connaissances ( ou Base de connaissances, ou ontologie) est la somme des T-Box et des A-Box :
Les A-Box: sont les assertions concernant les instances . Elles contiennent des connaissances quelconques sur les instances.
Les T-Box: sont les connaissances terminologiques concernant les classes. Les T-Box contiennent des formules logiques qui caractérisent les classes , c’est le lieu même des logiques descriptives, que l’on appelle aussi parfois les logiques terminologiques.
A partir de là, on peut dire que :
Raisonnement A-Box = moteurs d’inférence généraux
Raisonnement T-Box = les méthodes DL (Logiques Descriptives) à proprement parler.
Le Web tel qu’il est à présent, mais de moins en moins, ne propose pas de sémantique formelle, cela signifie qu’aucun calcul ne pouvait avoir lieu. C’est la raison pour laquelle on a rajouté la norme XML permettant de rajouter des méta-données aux documents. Mais cela ne suffisait pas, il a fallut rajouter la norme RDF (Ressource Description Framework) proposant une syntaxe de triples en XML ( Objet A -> Relation -> Objet B). Cela ne suffisait pas non plus, aussi a-t-on rajouté RDFS (RDF Schema) qui propose une extension pour structurer les tags XML en classes, propriétés, etc. Finalement, en février 2004, le W3C a proposé la norme OWL (Web Ontology Language), dernière étape de la normalisation permettant aux logiques descriptives de pourvoir enfin opérer.
Trois normes OWL sont actuellement proposées :
OWL Lite : c&