Semantic Web


Typage des types

Le modèle précédent peut être encore plus raffiné en précisant les classes/ensembles d'éléments (owl:Class) et les objets/individus appartenant à ces classes (owl:NamedIndividual); ceci en utilisant le langage/namespace OWL (qui n'est q'un espace de noms dédiés aux modèles de connaissances appelés "Ontologies").

Nb. L'utilisation d'un jeu de couleur permet de simplifier un peu le graphe:

Nb. OWL formalise à l'aide d'un vocabulaire commun les concepts de la théorie des ensembles.


8