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

Diego Calvanese, Domenico Carbotta, Magdalena Ortiz

Browse the full IJCAI paper archive.