#dl-lite

Una extensión Horn de DL-Lite con complejidad de datos NL

<meta content=Extensión Horn de DL-Lite: análisis de complejidad de datos NL. Clave en lógica descriptiva. name=description>