Repositorio
Cómo publicar
Recursos
FAQs

Debugging EL+ ontologies through horn MUS enumeration

Autor(es) y otros:
Ignatiev, A.; Marques-Silva, J.; Mencía Cascallana, CarlosAutoridad Uniovi; Peñaloza, R.
Fecha de publicación:
2017
Descripción:

International Workshop on Description Logics (30th. Montpellier; France. 2017 )

URI:
http://hdl.handle.net/10651/45329
ISSN:
1613-0073
Colecciones
Ficheros en el ítem
Compartir
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem