Resultados de la búsqueda
-
Debugging EL+ ontologies through horn MUS enumeration [2017]
- Categoría:
- Ponencias
- Autores:
- R. Peñaloza , Carlos Mencía Cascallana , J. Marques-Silva , A. Ignatiev
- Fecha:
- 01 de Enero de 2017
- Es parte de:
- CEUR Workshop Proceedings;30th International Workshop on Description Logics, DL 2017; Montpellier; France; 18 July 2017 through 21 July 2017