b'\n_START_ARTICLE_\nL\xc3\xb3gica de descripci\xc3\xb3n\n_START_SECTION_\nModelando con L\xc3\xb3gicas de Descripci\xc3\xb3n\n_START_PARAGRAPH_\nEn DLs, existe un distinci\xc3\xb3n entre la llamada TBox (caja terminol\xc3\xb3gica) y la ABox (caja de aserciones). En general, la TBox contiene sentencias describiendo conceptos jer\xc3\xa1rquicos ( i.e., relaciones entre conceptos) mientras la ABox contiene sentencias "ground" indicando a donde pertenecen los individuos en la jerarqu\xc3\xada (i.e., relaciones entre individuos y conceptos). Por ejemplo, la frase:_NEWLINE_(1) Cada empleado es una persona_NEWLINE_pertenece a la TBox, mientras que la frase:_NEWLINE_(2) Bob es un empleado_NEWLINE_pertenece a la ABox. N\xc3\xb3tese que la distinci\xc3\xb3n entre TBox y ABox no es significante en el mismo sentido que en la l\xc3\xb3gica de primer orden (la cual subsume la mayor\xc3\xada de las DL). Las dos "clases" de sentencias se tratan de igual forma. Cuando se traduce a l\xc3\xb3gica de primer orden, un axioma de subsumici\xc3\xb3n como (1) es simplemente un condicional restringido a predicados unarios (conceptos) donde s\xc3\xb3lo aparecen variables. Una sentencia de esta forma no tiene un tratamiento distinto de las sentencias donde s\xc3\xb3lo aparecen constantes (valores "ground ") como en (2)._NEWLINE_Entonces, \xc2\xbfpor qu\xc3\xa9 hacer esta distinci\xc3\xb3n? La principal raz\xc3\xb3n es que esta separaci\xc3\xb3n puede ser \xc3\xbatil para describir y formular procedimientos de decisi\xc3\xb3n para varias DL. Por ejemplo, un razonador podr\xc3\xada procesar la TBox y la ABox por separado. Ciertos problemas claves de inferencia est\xc3\xa1n ligados a una pero no a la otra (\'clasificaci\xc3\xb3n\' est\xc3\xa1 relacionado con la TBox, \'chequeo de instancia\' a la ABox). Adem\xc3\xa1s la complejidad de la TBox puede afectar considerablemente el rendimiento de un procedimiento de decisi\xc3\xb3n para cierta DL, independientemente de la ABox. As\xc3\xad resulta \xc3\xbatil una forma de hablar de una parte espec\xc3\xadfica de una base de conocimiento (KB)._NEWLINE_Otro motivo de esta distinci\xc3\xb3n es que tenga sentido desde el punto de vista del que modela la base de conocimiento. Es conveniente poder distinguir entre los conceptos en el mundo (axiomas de clase en la TBox) y las manifestaciones particulares de esos conceptos (aserciones de instancia en la ABox)\n_START_SECTION_\nTerminolog\xc3\xada\n_START_PARAGRAPH_\nUn concepto en la jerga de DL se refiere a una clase en OWL. Un rol en la jerga de DL es una propiedad en OWL.\n_START_SECTION_\nNombres\n_START_PARAGRAPH_\nOWL no necesita la Suposici\xc3\xb3n de Nombres \xc3\x9anicos (UNA por Unique Name Assumption).\n_START_SECTION_\nInferencias\n_START_PARAGRAPH_\nLas l\xc3\xb3gicas de descripci\xc3\xb3n son algo m\xc3\xa1s que lenguajes para formalizar conceptos, deben representar la ontolog\xc3\xada de un dominio de aplicaci\xc3\xb3n y permitir razonar sobre \xc3\xa9l. Para ello se introducen nuevos elementos en el lenguaje y la sem\xc3\xa1ntica necesaria para formalizar las propiedades de los individuos del dominio y de las relaciones entre conceptos y roles, son las llamadas bases de conocimiento.\n_START_SECTION_\nSistema \n  \n    \n      \n        \n          \n            S\n            H\n          \n        \n      \n    \n    {\\displaystyle {\\mathcal {SH}}}\n_START_PARAGRAPH_\nEsta es otra notaci\xc3\xb3n muy utilizada por algunos sistemas de l\xc3\xb3gicas de descripci\xc3\xb3n. La importancia de esta l\xc3\xb3gica, radica en que es la que actualmente se est\xc3\xa1 implementando para las ontolog\xc3\xadas dependiendo de las necesidades del programador. El sistema  se da de la siguiente manera: _NEWLINE_ es  + roles transitivos + inclusi\xc3\xb3n roles. _NEWLINE_ es  + nominales. Se demuestra tambi\xc3\xa9n que  es  extendida con restricciones cualificadas._NEWLINE_ es  + nominales + dominios concretos ()._NEWLINE_Aunque extender una l\xc3\xb3gica con dominios concretos la dota de una expresividad muy valorada para representar ontolog\xc3\xadas, f\xc3\xa1cilmente puede llevar a la indecidibilidad. Veremos, sin embargo, que  es decidible y es base para el lenguaje de ontolog\xc3\xada actualmente m\xc3\xa1s aceptado.'