Sommaire

Scénario de référence

La figure 5.2 illustre le scénario de référence servant à démontrer le fonctionnement du raisonneur du Java OWL-API. Le scénario met en présence les classes « Person », « Father », « Mother », « Man », « Woman » et « Parent ».

images/05RI02.png

Figure 5.2 : Modèle G-OWL de la définition de Person, Mother et Father

Le modèle définit les axiomes suivants :

  • Un individu qui est un « Woman » ou un « Man » est aussi un « Person ».

  • Un individu qui est un « Person » est aussi un «  Woman » ou un « Man ».

  • Un individu est soit un « Man », soit un « Woman », jamais les deux à la fois.

  • Un individu qui est un « Mother » est une sorte de quelque chose qui est à la fois un « Woman » et un « Parent ».

  • Un individu qui est un « Father » est une sorte de quelque chose qui est à la fois un « Man » et un « Parent ».

De manière formelle, l’ontologie est décrite comme suit :

Class: Mother SubClassOf: (Parent and Woman) 
Class: Person EquivalentTo: (Man or Woman) 
Class: Man DisjointWith: Woman  ...