BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies

Published in 19th International Conference on Theory and Applications of Satisfiability Testing (2016), 2016

Recommended citation: M. Fareed Arif, and Carlos Mencia and Alexey Ignatiev and Norbert Manthey and Joao Marques-Silva, SAT 2016

Download Paper Tool Link

 @inproceedings{arif2016beacon,
  title={BEACON: An Efficient SAT-Based Tool for Debugging $$$\{$$\backslash$mathcal $\{$EL$\}$$\}$$\{$\^{}+$\}$ $$ Ontologies},
  author={Arif, M Fareed and Menc{\'\i}a, Carlos and Ignatiev, Alexey and Manthey, Norbert and Pe{\~n}aloza, Rafael and Marques-Silva, Joao},
  booktitle={International Conference on Theory and Applications of Satisfiability Testing},
  pages={521--530},
  year={2016},
  organization={Springer}
}