BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies

TitleBEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies
Publication TypeConference Paper
Year of Publication2016
AuthorsM Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva
Conference NameInternational Conference on Theory and Applications of Satisfiability Testing
PublisherSpringer