Individual Reuse in Description Logic Reasoning
Boris Motik and Ian Horrocks
Book Title
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2008)
Pages
242–258
Year
2008
Boris Motik and Ian Horrocks