Applying an $$ \mathcal{A}\mathcal{L}\mathcal{C} $$ ABox Consistency Tester to Modal Logic SAT Problems

Applying an $$ \mathcal{A}\mathcal{L}\mathcal{C} $$ ABox Consistency Tester to Modal Logic SAT Problems