Debugging EL+ ontologies through horn MUS enumeration

  1. Ignatiev, A.
  2. Marques-Silva, J.
  3. Mencía, C.
  4. Peñaloza, R.
Aktak:
CEUR Workshop Proceedings

ISSN: 1613-0073

Argitalpen urtea: 2017

Alea: 1879

Mota: Biltzar ekarpena