3 citations · 3 across the 1 of their papers we have counts for
1 paper
Linh Anh Nguyen, Joanna Golińska-Pilarek
We give the first ExpTime (complexity-optimal) tableau decision procedure for checking satisfiability of a knowledge base in the description logic SHOQ, which extends the basic des…