Coureur implémente un calcul optimisé en tableau pour une description expressive logique.
Télécharger maintenant

Coureur Classement & Résumé

Coureur Mots clés

Coureur La description

RACERPRO est un système de représentation de connaissances qui implémente un calcul de table haute optimisé pour une logique de description très expressive. Il propose des services de raisonnement pour plusieurs boîtes en T et pour plusieurs coffre-pieds. Le système implémente la description logique Alcqhir également appelée shiq. Il s'agit de la logique de base ALC augmentée avec des restrictions de numéro de qualification, des hiérarchies de rôle, des rôles inverse et des rôles transitifs. Outre ces caractéristiques de base, RacerPro fournit également des installations pour le raisonnement algébrique, y compris des domaines concrets pour traiter des restrictions min / max sur les entiers, des équations polynomiales linéaires sur les réels ou les cardinaux avec des relations de commande et des égalités et des inégalités. de chaînes.

Coureur Logiciels associés