§ Avantages des logiques de description
‚ Par rapport au langage naturel
‚ Sémantique formelle et définie
‚ Par rapport à la logique
‚ Décidabilité : entre propositions et du premier ordre
ñ Utilisé pour le web sémantique
§ Implémentations
‚ Protégéhttp://protege.stanford.edu
‚ Hermit http://hermit-reasoner.com
‚ Pellethttp://clarkparsia.com/pellet
‚ Racerhttp://www.racer-systems.com
‚ FaCThttp://www.cs.man.ac.uk/~horrocks/FaCT
Damien Nouvel (Inalco) Sémantique 29 / 44
Logiques de description
Avantages et implémentations
§ Avantages des logiques de description
‚ Par rapport au langage naturel
‚ Sémantique formelle et définie
‚ Par rapport à la logique
‚ Décidabilité : entre propositions et du premier ordre
ñ Utilisé pour le web sémantique
§ Implémentations
‚ Protégéhttp://protege.stanford.edu
‚ Hermit http://hermit-reasoner.com
‚ Pellethttp://clarkparsia.com/pellet
‚ Racerhttp://www.racer-systems.com
‚ FaCThttp://www.cs.man.ac.uk/~horrocks/FaCT
Logiques de description
Avantages et implémentations
§ Avantages des logiques de description
‚ Par rapport au langage naturel
‚ Sémantique formelle et définie
‚ Par rapport à la logique
‚ Décidabilité : entre propositions et du premier ordre
ñ Utilisé pour le web sémantique
§ Implémentations
‚ Protégéhttp://protege.stanford.edu
‚ Hermit http://hermit-reasoner.com
‚ Pellethttp://clarkparsia.com/pellet
‚ Racerhttp://www.racer-systems.com
‚ FaCThttp://www.cs.man.ac.uk/~horrocks/FaCT
Damien Nouvel (Inalco) Sémantique 29 / 44
Logiques de description
Avantages et implémentations
§ Avantages des logiques de description
‚ Par rapport au langage naturel
‚ Sémantique formelle et définie
‚ Par rapport à la logique
‚ Décidabilité : entre propositions et du premier ordre
ñ Utilisé pour le web sémantique
§ Implémentations
‚ Protégéhttp://protege.stanford.edu
‚ Hermit http://hermit-reasoner.com
‚ Pellethttp://clarkparsia.com/pellet
‚ Racerhttp://www.racer-systems.com
‚ FaCThttp://www.cs.man.ac.uk/~horrocks/FaCT
Logiques de description
Avantages et implémentations
§ Avantages des logiques de description
‚ Par rapport au langage naturel
‚ Sémantique formelle et définie
‚ Par rapport à la logique
‚ Décidabilité : entre propositions et du premier ordre
ñ Utilisé pour le web sémantique
§ Implémentations
‚ Protégéhttp://protege.stanford.edu
‚ Hermit http://hermit-reasoner.com
‚ Pellethttp://clarkparsia.com/pellet
‚ Racerhttp://www.racer-systems.com
‚ FaCThttp://www.cs.man.ac.uk/~horrocks/FaCT
Damien Nouvel (Inalco) Sémantique 29 / 44
Web sémantique
Plan
1. Graphes pour la logique 2. Graphes conceptuels 3. Logiques de description 4. Web sémantique
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science
ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Damien Nouvel (Inalco) Sémantique 31 / 44
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Damien Nouvel (Inalco) Sémantique 31 / 44
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Damien Nouvel (Inalco) Sémantique 31 / 44
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Damien Nouvel (Inalco) Sémantique 31 / 44
Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation desconnaissance (explicatives) d’un domaine
‚ A specification of a conceptualization.(Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du monde que l’on veut représenter(Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
Développement relativement récent
Web sémantique
RDF
§ Resource Description Framework (W3C, 1999) ñ Bases de connaissances pour le web
‚ Utilisation detriplets : (sujet, prédicat, objet)
ñ Base de connaissances
‚ Description de faits
‚ Intégrée au web (URLs, XML)
‚ Requêtes de bases de données ñ Mélange de standards
ñ Partie A-Box
ñ Pas vraiment de T-Box …
Damien Nouvel (Inalco) Sémantique 32 / 44
Web sémantique
RDF
§ Resource Description Framework (W3C, 1999) ñ Bases de connaissances pour le web
‚ Utilisation detriplets : (sujet, prédicat, objet) ñ Base de connaissances
‚ Description de faits
‚ Intégrée au web (URLs, XML)
‚ Requêtes de bases de données
ñ Mélange de standards ñ Partie A-Box
ñ Pas vraiment de T-Box …
Web sémantique
RDF
§ Resource Description Framework (W3C, 1999) ñ Bases de connaissances pour le web
‚ Utilisation detriplets : (sujet, prédicat, objet) ñ Base de connaissances
‚ Description de faits
‚ Intégrée au web (URLs, XML)
‚ Requêtes de bases de données ñ Mélange de standards
ñ Partie A-Box
ñ Pas vraiment de T-Box …
Damien Nouvel (Inalco) Sémantique 32 / 44
Web sémantique
RDF
§ Resource Description Framework (W3C, 1999) ñ Bases de connaissances pour le web
‚ Utilisation detriplets : (sujet, prédicat, objet) ñ Base de connaissances
‚ Description de faits
‚ Intégrée au web (URLs, XML)
‚ Requêtes de bases de données ñ Mélange de standards
ñ Partie A-Box
ñ Pas vraiment de T-Box …
Web sémantique
RDF
§ Resource Description Framework (W3C, 1999) ñ Bases de connaissances pour le web
‚ Utilisation detriplets : (sujet, prédicat, objet) ñ Base de connaissances
‚ Description de faits
‚ Intégrée au web (URLs, XML)
‚ Requêtes de bases de données ñ Mélange de standards
ñ Partie A-Box
ñ Pas vraiment de T-Box …
Damien Nouvel (Inalco) Sémantique 32 / 44
Web sémantique
OWL
§ Ontology Web Language(2004)
ñ Extension de RDF / RDFS (schema) ñ Inspiré des logiques de descriptions
‚ Concepts
‚ Rôles
§ Plusieurs versions
‚ OWL-Lite: concepts et hiérarchies
‚ OWL-DL : logique de description
‚ OWL-Full: raisonnements (indécidables) ñ Partie T-Box
Web sémantique
OWL
§ Ontology Web Language(2004) ñ Extension de RDF / RDFS (schema)
ñ Inspiré des logiques de descriptions
‚ Concepts
‚ Rôles
§ Plusieurs versions
‚ OWL-Lite: concepts et hiérarchies
‚ OWL-DL : logique de description
‚ OWL-Full: raisonnements (indécidables) ñ Partie T-Box
Damien Nouvel (Inalco) Sémantique 33 / 44
Web sémantique
OWL
§ Ontology Web Language(2004) ñ Extension de RDF / RDFS (schema) ñ Inspiré des logiques de descriptions
‚ Concepts
‚ Rôles
§ Plusieurs versions
‚ OWL-Lite: concepts et hiérarchies
‚ OWL-DL : logique de description
‚ OWL-Full: raisonnements (indécidables) ñ Partie T-Box
Web sémantique
OWL
§ Ontology Web Language(2004) ñ Extension de RDF / RDFS (schema) ñ Inspiré des logiques de descriptions
‚ Concepts
‚ Rôles
§ Plusieurs versions
‚ OWL-Lite: concepts et hiérarchies
‚ OWL-DL : logique de description
‚ OWL-Full: raisonnements (indécidables)
ñ Partie T-Box
Damien Nouvel (Inalco) Sémantique 33 / 44
Web sémantique
OWL
§ Ontology Web Language(2004) ñ Extension de RDF / RDFS (schema) ñ Inspiré des logiques de descriptions
‚ Concepts
‚ Rôles
§ Plusieurs versions
‚ OWL-Lite: concepts et hiérarchies
‚ OWL-DL : logique de description
‚ OWL-Full: raisonnements (indécidables) ñ Partie T-Box
Web sémantique