Les Systèmes d’Information Sémantiques

Slides:



Advertisements
Présentations similaires
Transformation de documents XML
Advertisements

Xavier Blanc Web Services Xavier Blanc
DTD Sylvain Salvati
Première expérience d’utilisation des Web Services dans SmartTools Didier Parigot Projet OASIS INRIA Sophia www-sop.inria.fr/oasis/SmartTools Journée.
Serveur jeu Le serveur fait partie d'un logiciel de jeu en ligne multi joueur en architecture client serveur. Il répond à des demandes.
Cours MIAGE Henry Boccon-Gibod 1 XML, Extensible Mark up Language Un esperanto des langages informatiques.
Les espaces de nommage XML par Philippe Poulard 1
XHTML EXtensible HyperText Markup Language. HTML et XML HTML (HyperText Markup Language) et XML (eXtensible Markup Language) sont deux spécifications.
Ontologie, Méta-données, Sémiotiques
Domaines nominaux XSLT
Design Pattern MVC En PHP5.
JOME, un Composant Logiciel pour le Télé-Enseignement des Mathématiques via le WEB, Compatible OpenMath et MathML Laurent DIRAT OVE / I3S-UNSA.
Le Téléphone Russe Le Téléphone Russe. Le Téléphone Russe Le Téléphone Russe.
Etude des Technologies du Web services
XML-Family Web Services Description Language W.S.D.L.
Langages du Web Sémantique
Langages de représentation RDF (Resource Description Framework)
Programmation logique Logique des prédicats du premier ordre
Web Sémantique: Le Relief Actuel
B2i Lycée Circulaire BO n°31 du 29/08/2013.
Le Travail Collaboratif ...
RDF(S)
Introduction à la structuration des documents: les techniques M2: Gestion des connaissances.
Notions sur le XML Réfs : manuel p 149. Introduction Le XML (eXtensible Markup Language) est un standard d'échange de données. Il fait partie comme le.
Techniques de test Boulanger Jean-Louis.
OIL & UPML DREVET - HUMBERT Introduction OIL : un langage de description dontologies UPML : un langage de description de systèmes à base.
Introduction au XML Choopan Rattanapoka Université Louis-Pasteur, Starsbourg.
G-RDF WEB SEMANTIQUE.
Rappels de logique des prédicats du 1er ordre
An Introduction to distributed applications and ecommerce 1 1 Les services Web, XML et les places de marchés.
Web sémantique : Web de demain
La face cachée des systèmes de recherche Martin Bouchard, président Janvier 2003.
Vers une génération automatique du mapping de sources biomédicales
Bases de données phénotypique et ontologie
Les feuilles de style CSS
Jacques Cartier, enseignant à l’Université de Franche-Comté Unité de Formation et de Recherche - Sciences du Langage, de l’Homme et de la Société Besançon.
Paradigmes des Langages de Programmation
1 Architecture orientée service SOA Architecture orientée service SOA (Service Oriented Architecture)
Internet WEB.
Contenus riches et logique d'industrialisation Contenus riches et logique d'industrialisation Modélisation, production, génération, gestion Stéphane Crozat.
LE HTML ISN Terminale S Un peu d’histoire …
E-Technology lab Plateformes, Technologies et Architectures pour les systèmes eGouvernement Par: Dr Mamadou Koné Université Laval, Québec, Canada et Houda.
Management des Systèmes d’Information (MSI)
Les réseaux - Internet Historique Réseau local Internet Les protocoles
Approches Formelles en Systèmes d'information
Bureau d’études Présentation du sujet Organisation des projets Version 1 8 octobre 2004.
L’ ACCESSIBILITE « C’est mettre le Web et ses services à la disposition de tous les individus, quels que soient leur matériel ou logiciel, leur infrastructure.
Web sémantique Par Lydia Carine Mampais KI Bamba SISSOKO
X xx yyy Document XML Résolution d'entités Résolution espaces de nommages Reader Parsing Contrôle de validité structurelle Contrôle arbre bien formé Contrôle.
Programmation Web : Introduction à XML
Programmation Web : Schémas XSD Jérôme CUTRONA 19:27:07 Programmation Web
Mastère Professionnel Systèmes de Communication et Réseaux
Technologies web et web sémantique TP3 - XML. XML eXtensible Markup Language (langage extensible de balisage) – Caractéristiques: méta-langage = un langage.
Martine Toussaint Desir
Moteurs de recherche ontologiques
Web sémantique est pratique documentaire
Campus-Booster ID : **XXXXX Copyright © SUPINFO. All rights reserved Le développement Web.
François CARCENAC,Frédéric BONIOL ONERA-DTIM Zoubir MAMMERI IRIT
Soutenance du mémoire de synthèse
1 Initiation aux bases de données et à la programmation événementielle Responsable : Souheib BAARIR. (le sujet de votre .
Modélisation des documents: DTD et Schéma
eXtensible Markup Language. Généralités sur le XML.
Introduction à MathML Par Katia Larrivée UQO Le 18 mars 2004.
Stage à Ontomantics Master Pro TILDE
Cours MIAGE M2 « architectures orientées services » Henry Boccon-Gibod Architectures Orientées Services Module 4-1 Du Web Syntaxique au Web Sémantique.
01 Juin 2012 Google Intelligent ? S. Garlatti. Département Informatiquepage 1 Le Google d’aujourd’hui Utilisez-vous Google pour rechercher de l’information?
Apéro Techno Romain Maragou - Aliou Sow Web sémantique.
XML : un métalangage pour la description de documents structurés XML a été défini par le consortium W3 en fonction de 2 objectifs: Compenser les limitations.
A L I M E N T A T I O N A G R I C U L T U R E E N V I R O N N E M E N T ProdInra en Web sémantique Esther Dzalé Y. Kaboré Sophie Aubin Hugues Leiser.
Préparé par : Marouane FELJA
Transcription de la présentation:

Les Systèmes d’Information Sémantiques S. Garlatti

PLAN Séance 1 : Problématique, Problème1 Séance 2 : Le web sémantique, RDF / RDFS, les Ontologies, Séance 4 : OWL, SKOS, SIOC, FOAF Séance 5 : Linked Data ou Web of Data, Le langage Sparql Cours 6 : Le web sémantique & social en Action L’ordre de la partie semantique est a preciser apres lecture et a modifier sans doute.

Problématique Hypothèses Systèmes d'information (SI) Accessibles sur Internet et/ou Intranet A l’aide d'un navigateur Architecture distribuées fondée sur l’architecture du Web Appelés « Sémantiques » parce que fondés sur les principes du Web Sémantique

Problématique Enjeu principal des SI Réutilisation, partage et échange des données sur internet / Intranet Par les machines (automatiquement)

Problématique Internet / Intranet Technologie pour Accéder à des informations non structurées, hétérogènes et distribuées L’accès à l’information et à des sources de connaissance devient essentiel L’importance d’Internet est due : Aux services qu’il nous fournis: IRC, ICQ, Chat, email, News groups, FTP, WWW, E-commerce, B2B, B2C, etc.

Problématique WWW : succès fondé sur sa simplicité, MAIS ! Développé pour des lecteurs humains Les données actuelles sont principalement organisées et structurées pour être simple à transmettre et être présentées à des humains HTML et PDF sont principalement des langages de présentation de données <H2> Triple X </H2> : ne dit rien sur le titre sauf pour des humains Internet est de plus en plus utilisé par des machines – search engines, robots, etc.

Problématique Problèmes Accéder, traiter l’information, extraire et interpréter l’information La majorité des données sur le web est sous une forme qui ne permet pas de l’utiliser à grande échelle. Pas de système global de publication de données permettant aux machines et aux humains de les traiter Évènements sportifs, météo, guides TV, guides cinéma, etc. sont présentés par de nombreux sites Web, mais presque tous au format HTML (structure logique + présentation)‏ Comment trouver et extraire l’information pertinente pour différents services

Problématique Problèmes Entrave la recherche, l’extraction, la maintenance et la génération d’information Actuellement, pas d’accès réel au contenu des documents Contenu et Information pas accessible ni interprétable par des machines

Problématique Problèmes Qualité de la recherche d’information Comment la machine peut-elle savoir que les résultats de la recherche sont pertinents ? Réutilisation des contenus de sites web Comment peut-on réutiliser les contenus de sites web ? Semantic Web in Action

Problématique Recherche d’information de type Google Polysémie Nombre de résultats très important Requête : « directeur » « André Chomette » Intention : On ne veut que le site de Telecom Bretagne ! 44 000 résultats : toutes les pages qui contiennent ces deux termes ou l’un des deux Semantic Web in Action

Comment donner du sens aux Données Problématique Comment donner du sens aux Données

Problématique Comment attribuons-nous du sens aux données ? Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Que voyez-vous ?

Problématique Shotokan-ryu Goju-ryu Wado-ryu Shito-ryu Shorin-ryu Que voyez-vous ? Shotokan-ryu Goju-ryu Wado-ryu Shito-ryu Shorin-ryu

Problématique

Pour Donner du sens aux données Problématique Pour Donner du sens aux données Nous utilisons nos connaissances dans des domaines spécifiques pour identifier / reconnaître ces données Connaissances partagées par des communautés

Problématique Donner du sens aux informations Description du site Telecom Bretagne Forme générale d’une description Des phrases de type : Sujet Verbe Complément Exemple Telecom Bretagne a pour directeur André Chomette Telecom Bretagne est une grande école française Telecom Bretagne a pour site web http://www.tele...

Problématique Donner du sens aux informations Compréhension de ces phrases Différents contextes : différents termes « a pour directeur », « président », « Dean », … Interprétation commune liée à des connaissances communes Utilisation de vocabulaires standards partagés par tous ! Chaque vocabulaire détermine un sens unique aux verbes, aux catégories de sujets et de compléments

Problématique Plus formellement, ou presque Telecom Bretagne dbpprop:president André Chomette (en) Telecom Bretagne dbpprop:type French Grande Ecole (en) Telecom Bretagne dbpprop:website http://www.tele... Questions French Grande Ecole dont André Chomette est président ? ?Grande_Ecole dbpprop:president André Chomette (en) ?Grande_Ecole dbpprop:type French Grande Ecole (en)

Problématique Wikipedia + indexation sémantique Site Dbpedia http://dbpedia.org/page/%C3%89cole_nationale_sup%C3%A9rieure_des_t%C3%A9l%C3%A9communications_de_Bretagne

Le Web sémantique Objectifs Réutilisation, partage, échange des données Automatisation ou semi-automatisation de certains services en réutilisant les données Moyens Les données sont décrites / indexées de tel sorte que les contenus – sens et sémantique - du web soient « interprétables » par les machines. Semantic Web in Action

Le Web sémantique Le Web sémantique Les données doivent être encodées de tel sorte que les contenus – sens et sémantique - du web soient plus « compréhensibles » pour les machines, ou en d’autres termes par des algorithmes.

Le Web sémantique

Le Web sémantique Tim Berners-Lee Première vision du « Semantic Web » Accès automatique à l’information fondé sur une sémantique des données interprétable par l’ordinateur et des heuristiques utilisant celle-ci. Une sémantique explicite des données, associée à des théories sur des domaines (ontologies), permettra l’accès à de nouveaux services sur Internet

Le Web sémantique Point clé de l’automatisation ou de la semi-automatisation Recherche d’information pertinentes : Rappel et Précision Recherche d’information précise Réutilisation, partage, échange et composition possible des informations retrouvées Mais aussi, capacité à concevoir certaines « opérations  » automatiquement Donc pas de services élaborés possible : pas d’automatisation ou semi-automatisation de certains services ou tâches Comment assurer le B2B, B2C “automatiquement” Exemple: voyage complexe avec réservation,

Architecture du SW Le SW nécessite Une architecture partagée par tous pour échanger des ressources sur Internet Des standards pour Les ontologies et mécanismes d’inférence associés La sémantique explicite des ressources ou méta données sémantiques liées à des ontologies Le format des ressources ou documents L’adressage des ressources ou documents

Architecture du SW

Architecture du SW

Niveau Adressage /Nommage : URI URI : Uniform Resource Identifier (RFC 2396)‏ Un simple identifieur Web Chacun peut en créer – décentralisé - Ressource avec une URI  être sur le Web URL: ftp, gopher, http, internet mail, etc. (normalisée)‏ 1 Protocole, 1 machine, 1 chemin URN : URI persistente W3C maintient une liste des schémas d’URI

Niveau Syntaxique: XML XML : eXtensible Markup Language Sélection d’un sous-ensemble de SGML simple à implanter, mais néanmoins extensible : chacun défini ses propres balises Séparation de la présentation et du contenu XML a été conçu pour décrire des données Les balises XML ne sont pas prédéfinis. Vous devez définir vos propres balises XML utilise un Document Type Definition (DTD) or an XML Schéma pour un « modèle » des données

Niveau Syntaxique: XML XML n’est pas un remplacement d’HTML HTML a été conçu pour afficher des données et se concentre surtout sur leur présentation (taille, couleur, etc.) XML a été conçu pour décrire des données et se concentre sur la structure de ces données. XML a été conçu pour assurer l’interopérabilité XML et HTML sont complémentaire XSL / XSLT transforme XML en HTML

Niveau Syntaxique: XML Propriétés de XML Indépendant des logiciels et matériels Infrastructure des échanges de données structurées Interopérabilité : conçu pour décrire des données, les stocker, les transporter et les échanger et les partager XML DTD: une DTD défini les éléments constitutifs d’un documents. Il défini la structure syntaxique (un arbre) d’un document type à l’aide d’une grammaire. Il permet donc à toute application de vérifier la conformité d’un document à la DTD Et donc de manipuler et transformer celui-ci lorsqu’il est conforme à cette DTD.

Niveau Syntaxique: XML XML peut être utilisé pour créer de nouveaux langages XML est le prère de WAP et WML (Wireless Markup Language). MATHML, etc.

Niveau Syntaxique : XML <?xml version="1.0"?> <!DOCTYPE note [ <!ELEMENT note (to,from,heading,body)> <!ELEMENT to (#PCDATA)> <!ELEMENT from (#PCDATA)> <!ELEMENT heading (#PCDATA)> <!ELEMENT body (#PCDATA)> ]> <note> <to> Tove </to> <from> Jani </from> <heading>Reminder </heading> <body> Don't forget me this weekend </body> </note>

Niveau Syntaxique: XML <?xml version="1.0" encoding="ISO-8859-1"?> <!-- Edited with XML Spy v4.2 --> <CATALOG> <CD> <TITLE>Empire Burlesque</TITLE> <ARTIST>Bob Dylan</ARTIST> <COUNTRY>USA</COUNTRY> <COMPANY>Columbia</COMPANY> <PRICE>10.90</PRICE> <YEAR>1985</YEAR> </CD> <CD> <TITLE>Hide your heart</TITLE> <ARTIST>Bonnie Tyler</ARTIST> <COUNTRY>UK</COUNTRY> <COMPANY>CBS Records</COMPANY> <PRICE>9.90</PRICE> <YEAR>1988</YEAR> </CATALOG>

Niveau Syntaxique: XML Réutilisation des ressources/documents Le même contenu peut apparaître de manières différentes dans différents contextes indépendamment des plate formes Différents média : papier, en ligne, Différentes tailles : manuels, rapports La présentation peut être adaptée/personnalisée aux préférences de l’utilisateur Présentations standardisées peuvent être réalisées : entreprises, universités, mairies, etc.

Niveau Syntaxique: XML Ne contient aucune sémantique formelle pour l’ordinateur Ce sont les humains qui donnent un sens, une sémantique, aux balises et leur contenu pas les machines « La sémantique »est un domaine qui étudie comment les symboles se référent aux objets « Note » ne référence rien pour une machine, la référence est uniquement faite dans l’esprit des lecteur humains  D’où RDF pour la sémantique

Niveau sémantique : RDF/RDFS RDF – Resource Description Framework RDFS – Resource Description Framework Schema RDF/RDFS a été créé pour le traitement des métadonnées Ce sont des langages de description de métadonnées au niveau sémantique Fournit l’interopérabilité – au niveau sémantique - entre applications pour l’échange, le partage et la réutilisation d’informations non interprétable pour la machine

Niveau sémantique : RDF/RDFS RDF/RDFS provient principalement des communautés De standardisation du Web Des bibliothèques Des documents structurés Représentation de connaissances Programmation orientée objets et langages de modélisation, Etc.

Niveau sémantique : RDF/RDFS Langages Interprétables par une machine Un langage peut être compris (interprété) par une machine si et seulement si ce langage possède une sémantique formelle. Le langage doit se référencer à un modèle sous-jacent. En logique, le sens est fondé sur une théorie des modèles qui associe, entre autres, une valeur de vérité à chaque formule bien formée. Elle permet donc de « relier » les formules aux objets du monde modélisé.

Niveau sémantique : RDF/RDFS Logique Théorie axiomatique Un langage et des formules bien formées Des axiomes, des règles d’inférences A, (A  B) -- B Des théorèmes: formules bien formées déduites des axiomes et règles d’inférences Théorie des modèles Interprétation, Formules vraies/fausses Formules valides

Niveau sémantique : RDF/RDFS Théorème  Formule valide Une démonstrateur automatique de théorèmes est un algorithme qui « respecte les axiomes et règles d’inférences » Il « respecte aussi le principe ci-dessus » Les opérations de la machine « respecte la sémantique formelle »

Niveau sémantique : RDF/RDFS Calcul des prédicats Théorie axiomatique : des prédicats Théorie des modèles : des relations Le web sémantique Importe l’idée d’une sémantique formelle dans le monde du WWW (point de vue logico-linguistique). RDF/RDFS propose un langage adéquat à l’implantation de métadonnées sémantiques associées aux ressources.

Niveau sémantique: RDF/RDFS RDF est Un simple modèle relationnel Une déclaration RDF est constituée d’un triplet « Objet, Attribut, Valeur », dont chaque membre peut être un littéral ou une ressource web Ce triplet peut être interprété comme le tuple suivant : « Sujet, Prédicat, Objet » ou encore Prédicat (Sujet, Objet)‏ Exemple <http://music.fi/pieces#finlandia, creator, http://composer.org/Sibelius> <http://music.fi/pieces#finlandia, type, music>

Niveau sémantique: RDF/RDFS Le modèle de données RDF est formellement défini par: Un ensemble appelé Ressources. Un ensemble appelé Littéraux Un sous-ensemble de Ressources appelées Propriétés. Un ensemble appelé Déclarations, dont chaque élément est un triplet (prédicat, sujet, objet) « prédicat » est une propriété (membre de Propriétés), « sujet » est une ressource (membre de Ressources) « objet » est soit une ressource soit un littéral (membre de Littéraux).

Niveau sémantique: RDF/RDFS Le modèle de données RDF N’est pas une sérialisation d’un arbre syntaxique XML, ou les branches devraient être présentées dans l’ordre spécifié par une DTD XML. Le modèle de données RDF est un ensemble de triplet !!!!!!!!!! C’est un graphe orienté

Niveau sémantique: RDF/RDFS {creator, [http://www.w3.org/Home/Lassila], "Ora Lassila"}

Niveau sémantique: RDF/RDFS

Niveau sémantique: RDF/RDFS <rdf:rdf xmlns:rdf=« http://www.w3.org/1999/02/22-rdf-syntax-nms# » xmlns:dc=« http://purl.org/dc/elements/1.1 » <rdf:description rdf:about=« http://music.fi/pieces#Finlandia »> <dc:creator rdf:resource=« http://composer.org/Sibelius »> <rdf:type music </rdf:type> </rdf:description> <rdf:rdf>

Niveau sémantique: RDF/RDFS RDF Schéma RDF ne permet pas de spécifier le vocabulaire utilisé dans une description RDF, comme par exemple : « author », « music », « creator », etc. C’est-à-dire définir la « sémantique » des propriétés RDF Schéma est une extension de RDF avec laquelle il et possible de Décrire les concepts utilisés dans des déclarations RDF Un ensemble de contraintes sur les objets et les valeurs du triplet.

Niveau sémantique: RDF/RDFS RDF Schema Pourrait être vu comme un modèle orienté objet pour le WWW « rdfs:Class » & « rdfs:SubClass » définissent la hiérarchie des classes « rdf:type » défini les instances d’une classe « rdf:domain » & « rdf:range » défini des contraintes sur les types de ressources

Niveau sémantique: RDF/RDFS

Niveau sémantique : RDF/RDFS Mais, RDF schéma définie les propriétés en terme de classes de ressources auxquelles elles s’appliquent au lieu de définir les classes en terme de propriétés que les instances possèdent. Par exemple, on définit la propriété « eg:author » avec pour « domain » « eg:Document » et avec un « range » de « eg:Person », tandis qu’un système classique orienté objet aurait défini une classe « eg:Book « avec un attribut appelé « eg:author » de type « eg:Person ». En utilisant une approche RDF, il est facile pour les autres de définir des propriétés additionnelles avec un « domain » de « eg:Document » or un « range » « eg:Person ».

Niveau sémantique : RDF/RDFS On peut le faire sans avoir besoin de redéfinir la description originale de ces classes. Un des avantages de cette approche centrée propriété est qu’il est très facile à chacun de dire ce qu’ils veulent au sujet d’une ressource. C’est l’un des principes de l’architecture du Web [BERNERS-LEE98]. Sinon, il serait nécessaire de définir une nouvelle propriétés dans une classe et de la partager avec les autres !!!!! Il permet de combiner des méta descriptions dans différentes partie du Web en un seul graphe !!!!!!

Le niveau sémantique: RDF/RDFS une collection d’alternatives rdf:Alt une collection ordonnée rdf:Seq une collection non ordonnée rdf:Bag représente l’ensemble des Conteneurs. rdfs:Container la classe de RDF déclarations rdf:Statement la classe littéral represente les valeurs de type littéral rdfs:Literal le concept de propriété rdf:Property le concept de Classe rdfs:Class la classe Ressource. rdfs:Resource Commentaire Nom de la classe

Niveau sémantique: RDF/RDFS

Niveau sémantique: RDF/RDFS

Niveau sémantique: RDF/RDFS RDFS est limité en termes de pouvoir d’expression Il est souvent nécessaire de pouvoir exprimer des contraintes supplémentaires Cardinalités min et Max, contraintes entre propriétés, etc. Les ontologies dans le cadre du Web sémantique sont des extensions de RDFS.

Niveau sémantique: les Ontologies Langages logiques : formalismes typiques Logiques de descriptions Loom, FaCT, Racer, Jena, … Logiques de frames Ontobroker, Florid, XSB, KAON… Graphes conceptuels Prolog+CG, Corese, etc. RDF / RDF Schéma Sesame, RQL, TRIPLE, SiLRi, …

Niveau sémantique: les Ontologies OWL site du W3C http://www.w3.org/2004/OWL/ Semantic Web http://www.semanticweb.org/ http://www.w3.org/2001/sw/ http://www.lalic.paris4.sorbonne.fr/stic/as5.html http://www.schemaweb.info/default.aspx AS Web Sémantique, rapport final http://rtp- doc.enssib.fr/basedoc/rapports/ASWebSemantique2003.pdf

Niveau sémantique: les Ontologies http://www.w3.org/2001/sw/WebOnt/ http://www.formalontology.it/index.htm http://ontology.buffalo.edu/ http://www.cs.utexas.edu/users/mfkb/related.html http://www.daml.org/ontologies/ http://www.jfsowa.com/ontology/ http://www-ksl-svc.stanford.edu:5915/

Niveau sémantique: les Ontologies Les outils/environnements http://www.semanticweb.org/ Les logiques de descriptions : http://dl.kr.org/ http://www.ida.liu.se/labs/iislab/people/patla/DL/ Les graphes conceptuels : http://www.cs.uah.edu/~delugach/CG/ ; http://www.jfsowa.com/cg/ ;

Niveau sémantique: les Ontologies Les outils/environnements Les Frames Logic http://www.informatik.uni-freiburg.de/~dbis/Publications/95/flogic-jacm.html http://www.cs.sunysb.edu/~kifer/dood/papers.html http://www.ontoprise.de/members/angele/pubs/ontologyhandbook.pdf

Ontology Web Langage OWL C’est une version modifiée de DAML (Darpa) + OIL (Europe)‏ Conçu pour des applications qui traitent le contenu, pas uniquement la présentation des informations Une extension de RDFS, muni d’une sémantique formelle Constitué de trois langages OWL Lite OWL DL OWL Full

Ontology Web Langage OWL Lite Classification hiérarchie + contraintes simples OWL DL Pouvoir d’expression supérieur, avec complétude (toutes les conclusions sont calculables) et décidabilité C’est une logique de description (DL)‏ OWL Full Expressivité maximale, pas de garantie sur les résultats de calculs

Ontology Web Langage Toute ontologie OWL Lite valide est une ontologie OWL DL valide Toute ontologie OWL DL valide est une ontologie OWL Full valide Toute conclusion valide de OWL Lite est une conclusion valide de OWL DL Toute conclusion valide de OWL DL est une conclusion valide de OWL Full

Ontology Web Langage Exemples http://www.schemaweb.info/schema/BrowseSchema.aspx http://www.daml.org/ontologies/category.html