A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics

Open in new window