Backtracking and Qualified Number Restrictions: Some Preliminary Results
Ian Horrocks
Book Title
Proc. of the 2002 Description Logic Workshop (DL 2002)
Pages
99–106
Series
CEUR
Volume
63
Year
2002
Ian Horrocks