Vol-476⫷ Vol-477 ⫸Vol-478
urn:nbn:de:0074-477-0


Vol-477/paper-5⫷Vol-477/paper-6⫸Vol-477/paper-7

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