Efficient Reasoning with Range and Domain Constraints
Dmitry Tsarkov and Ian Horrocks
Book Title
Proc. of the 2004 Description Logic Workshop (DL 2004)
Pages
41–50
Year
2004
Dmitry Tsarkov and Ian Horrocks