A Practical Automata-Based Technique for Reasoning in Expressive Description Logics

Open in new window