The Role of Unsatisfiable Boolean Constraints in Lightweight Description Logics

Published in University College Dublin (UCD), 2016

Download Report Tool Link