BEACON: An efficient SAT-based tool for debugging εL+ ontologies
- Arif, M.F.
- Mencía, C.
- Ignatiev, A.
- Manthey, N.
- Peñaloza, R.
- Marques-Silva, J.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319409696
Any de publicació: 2016
Volum: 9710
Pàgines: 521-530
Tipus: Aportació congrés