Estoy usando el razonador de pellets en varias ontologías y he ejecutado el método de información en una lista de IRI (en este caso, URL). Las dos métricas que me interesan son DL Expressivity y OWL Profile.

Los perfiles de OWL que obtengo varían entre "OWL 2", "OWL 2 DL", "OWL 2 EL", "OWL 2 QL", "OWL 2 RL". Cuando dice "OWL 2", ¿eso significa que la ontología está OWL 2 llena? ¿Todas las otras variaciones son DL? He encontrado una especificación que describe los diferentes perfiles (tabla 10 especialmente) [como usuario nuevo no puedo publicar más de un hipervínculo; pensé que el próximo era el más importante de los dos], pero hasta ahora no he podido responder esta pregunta por mí mismo.

En cuanto a la "expresividad de DL", el mismo nombre implica que todos los códigos de expresividad (como ALCH, ALCH (D)) son DL. he encontradoeste catálogo altamente académico, por así decirlo, de los códigos y su significado técnico en términos de complejidad, pero necesito saber cómo saber, al menos en general, si una ontología es DL o Completa mirando las Expresividades. Cualquier ayuda o enlaces que expliquen estas cosas sería muy apreciada.

Si ayuda, también debería dar un poco de contexto a lo que estoy tratando de hacer con estas cosas. Solo estoy construyendo una tabla a partir de los datos de "información de pellet" que tiene el número de identificación de ontología (de la lista de url), la expresividad y el perfil OWL para cada uno, y también dice si esa ontología es completa, DL o Lite.