Repository
How to publish
Resources
FAQs

Debugging EL+ ontologies through horn MUS enumeration

Author:
Ignatiev, A.; Marques-Silva, J.; Mencía Cascallana, CarlosUniovi authority; Peñaloza, R.
Publication date:
2017
Description:

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

URI:
http://hdl.handle.net/10651/45329
ISSN:
1613-0073
Collections
Files in this item
Compartir
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record