Sommaire

Récapitulatif

L’OWLReasoner est une interface du Java OWL-API qui structure l’implémentation d’un raisonneur (par exemple : l’implantation de Pellet (PelletReasoner)). Le raisonneur est instancié par la fabrique OWLReasonerFactory et il encapsule les méthodes nécessaires au contrôle du processus de raisonnement. Le processus de raisonnement se divise en deux phases, la phase de catégorisation (reasoner.getKB().classify()) qui hiérarchise les classes, les propriétés d’objets et les propriétés de données de l’ontologie. La deuxième phase (reasoner.getKB().realize()) du processus induit le raisonnement sur les assertions de classes, les assertions sur les propriétés d’objets et les assertions sur les propriétés de données.

Dans une forme de traitement en lot, l’objet de type InferredOntologyGenerator employé avec la méthode fillOntology() permet d’inférer l’ontologie et de transférer dans une nouvelle ontologie les inférences produites par le raisonneur. Des mécanismes de validation de la cohérence et d’épreuve de vérifiabilité permettent de vérifier que l’ontologie est dans un état adéquat avant de provoquer le raisonnement. La famille de classes ExplanationRenderer fournit un ensemble de fonctionnalités qui automatisent le processus d’explication de l’incohérence ...