Debugging EL+ ontologies through horn MUS enumeration
- Ignatiev, A.
- Marques-Silva, J.
- Mencía, C.
- Peñaloza, R.
Aktak:
CEUR Workshop Proceedings
ISSN: 1613-0073
Argitalpen urtea: 2017
Alea: 1879
Mota: Biltzar ekarpena