Semantic Web

Protégé et Logiques Descriptives

Protégé est un outil Java qui utilise l'API Jena. Celui-ci permet de créer des modèles de connaissances (ontologies) puis de réaliser des inférences.

Illustration

Après avoir démarré le moteur d'inférence (Reasonner), il est possible d'évaluer des expressions en Logiques Descriptives (DL) telles que:

1. Person, Institution ou Theme
2. Institution or Person
3. hasInterest some Theme ou hasInterest some { semantic_web }
4. inverse worksFor some { laurent_thiry }
5. inverse worksFor some (hasInterest some { semantic_web })

NB. L'outil permet de voir des notions plus "avancées" comme l'illustre la notion d'Employé équivalent aux personnes travaillant.

<owl:Class rdf:about="http://www.model.org/Employee">
  <owl:equivalentClass>
    <owl:Restriction>
      <owl:onProperty rdf:resource="http://www.model.org/worksFor"/>
      <owl:someValuesFrom rdf:resource="http://www.model.org/Institution"/>
    </owl:Restriction>
  </owl:equivalentClass>
</owl:Class>

11