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