Lógicas descripcionales

• conceptos y roles, se interpretan como conjuntos de objetos y relaciones binarias entre objetos
• operadores para la construcción de conceptos y roles a partir de conceptos y roles atómicos y de otros conceptos y roles
• inferencias básicas:
  • subsumisión: chequear si un concepto es un subconjunto de otro a partir de su definición
  • clasificación: chequear si un objeto pertenece a un concepto
• énfasis en la complejidad computacional de las tareas de inferencia versus expresividad del lenguaje
• los operadores de negación y disyunción llevan a complejidad exponencial en el peor de los casos
• CLASSIC sólo permite disyunción en los constructores Fills, OneOf sobre objetos explícitamente enumerados, lleva a resolver subsumisión en tiempo polinómico