Système de COUREUR

Le système (un acronyme de COUREUR de de pour boîte de ''' de ''' A de enamed par R et easoner de ''' de ''' R de de xpression de E d'oncept de C ) est un système de représentation de connaissance de qui met en application a fortement - le calcul optimisé de tableau de pour une logique très expressive ( DL ) de description de . Il offre des services de raisonnement pour le multiple TBoxes et le ABoxes (comme défini dans DL ). Le système met en application le $du DL \ {ALCQHI_ {R^ {+}}}$ mathcal (voir le ALCQHI ) également connus sous le nom de $\ {SHIQ}$ mathcal (voir le SHIQ ). C'est le $de base de logique \ {ALC}$ mathcal (voir le ALC (logique) ) augmenté avec des restrictions de qualification de nombre, les hiérarchies , les rôles inverses de rôle de de et les rôles transitifs en plus de ces dispositifs de base, COUREUR de fournit également des équipements pour le raisonnement algébrique comprenant les domaines concrets pour traiter :
restrictions minimum/maximum au-dessus des nombres entiers,
équations (in-) polynômes du linéaire au-dessus des reals ou des cardinaux avec les relations d'ordre ,
équations (in-) polynômes multivariables non linéaires du au-dessus des nombres complexes ,
égalités et inégalités des cordes.

Le COUREUR soutient les spécifications des axiomes terminologiques du général qu'un TBox peut contenir les inclusions (GCI) de notion générale de , qui énoncent que la relation de Subsumption de entre deux définitions multiples des limites de concept de ou même définitions cycliques des concepts peut être manipulée par RACER.

Le COUREUR met en application le HTTP - la FOUILLE quasi-standard basée de pour relier ensemble des systèmes du DL avec des interfaces et des applications using un XML - protocole basé. Le COUREUR met en application également la plupart des fonctions spécifiques dans les spécifications de système plus anciennes de représentation de connaissance ( KRSS ).

Le système de COUREUR a été au commencement développé par des chercheurs de l'université de de Hambourg . Les auteurs travaillent maintenant à l'université de technologie de Hambourg, l'Allemagne, et l'université de Concordia, Canada.

Depuis l'été de 2005 le système est développé, maintenu et soutenu par Racer Systems, société-relais de Hambourg, Allemagne. Pour indiquer les avantages de la version commerciale le produit s'appelle maintenant RacerPro.

RacerPro est disponible sur une large variété de calculer des plates-formes avec un choix des options de permis pour les utilisateurs simples, applications de serveur de client ou pour l'usage à un campus/à emplacement. Les prix commencent à environ mille euros. Pour des individus travaillant à une université ou instruire un scolaire mais le permis temps-limité (180 jours) est disponible pour libre. Les étudiants peuvent obtenir un permis libre du système de RacerPro pour leur diplôme ou thèse de Ph.

Voir également

Web sémantique
Langue d'Ontology de
Ontology (de l'informatique)
Reasoner sémantique

Random links: