Sommaire

Différence et similitude d’individus

La différence ou la similitude d’individus sont des axiomes utilisés pour indiquer la relation existant entre l’individu de l’ontologie et l’objet du domaine du discours qu’il représente.

1. Déclaration d’entités distinctes ( OWLDifferentIndividualsAxiomOWLDifferentIndividualsAxiom)

images/06RI13.png

Figure 6.13 : « John » et « Bill » sont deux entités distinctes

La déclaration d’entités distinctes est employée pour indiquer que deux individus ne font pas référence au même objet du domaine du discours. Ainsi l’individu « John » réfère à un objet spécifique du domaine du discours est distinct de celui qui est représenté par « Bill ».

Syntaxe fonctionnelle

 DifferentIndividuals( :John :Bill )

Syntaxe Turtle

 :John owl:differentFrom :Bill .

Syntaxe Java OWL-API

OWLIndividual bill = 
    factory.getOWLNamedIndividual(IRI.create(ontologyIRI + 
    "#Bill")); 
OWLIndividual john = 
    factory.getOWLNamedIndividual(IRI.create(ontologyIRI + 
    "#John")); 
OWLDifferentIndividualsAxiom OWLDifferentIndividualsAxiom axiom = 
    factory.getOWLDifferentIndividualsAxiom(bill, john);

2. Similitude ( OWLSameIndividualAxiomOWLSameIndividualAxiom)

images/06RI14.png

Figure 6.14 : « Jim » et « James » ...