El sistema (siglas del CORREDOR del para la caja enamed del ''' del ''' A del R y el easoner del ''' del ''' R del xpression del E del oncept del C ) es un sistema de la representación de conocimiento que ejecuta a alto - el cálculo optimizado del cuadro para una lógica muy expresiva ( DL ) de la descripción. Ofrece los servicios del razonamiento para el múltiple TBoxes y el ABoxes (según lo definido en el DL ). El sistema ejecuta el $DL\; \backslash \; \{ALCQHI\_\; \{R^\; \{+\}\}\}\; el$ mathcal (véase el ALCQHI ) también conocidos como $\backslash \; \{SHIQ\}$ mathcal (véase el SHIQ ). Éste es el $básico\; de\; la\; lógica\; \backslash \; \{ALC\}\; el$ mathcal (véase el ALC (lógica) ) aumentado con las restricciones de calificación del número, jerarquías, papeles inversos del papel y los papeles transitivos además de estas características básicas, CORREDOR también proporcionan las instalaciones para el razonamiento algebraico incluyendo los dominios concretos para tratar de:
restricciones mínimas/máximas sobre los números enteros,
ecuaciones (in-) polinómicas linear sobre los reals o los cardenales con las relaciones de orden,
ecuaciones (in-) polinómicas multivariantes no lineares sobre los números complejos,
igualdades y desigualdades de secuencias.

El CORREDOR apoya la especificación de los axiomas terminológicos general que un TBox puede contener las inclusiones (GCIs) del concepto general, que indican que la relación del Subsumption entre dos definiciones múltiples de los términos del concepto o aún definiciones cíclicas de conceptos se puede manejar por RACER.

El CORREDOR ejecuta el HTTP - EMPUJE cuasi-estándar basado para interconectar sistemas DL con los interfaces y usos usar un XML - protocolo basado. El CORREDOR también ejecuta la mayor parte de las funciones especificadas en la más vieja especificación de sistema de la representación de conocimiento ( KRSS ).

El sistema del CORREDOR ha sido desarrollado inicialmente por los investigadores de la universidad de Hamburgo . Los autores ahora trabajan en la Universidad Tecnológica de Hamburgo, la Alemania, y la universidad de Concordia, Canadá.

Desde el verano de 2005 el sistema es desarrollado, mantenido y apoyado por Racer Systems, compañía basada de una Hamburgo, Alemania. Para indicar las ventajas de la versión comercial el producto ahora se llama RacerPro.

RacerPro está disponible en una gran variedad de computar las plataformas con una selección de opciones para los solos usuarios, usos de la licencia de servidor de cliente o para el uso en un campus/un sitio. Los precios comienzan aproximadamente mil euros. Para los individuos que trabajan en una universidad o enseñar un académico pero la licencia tiempo-limitada (180 días) está disponible para libre. Los estudiantes pueden conseguir una licencia libre del sistema de RacerPro para su diploma o la tesis del Ph.

Ver también

.