Report copyright - Dagstuhl Report No. 300 Deduction · Dagstuhl Report No. 300 Deduction ... Ian Horrocks: Description Logics ... Hence we have sharpened the test for ground joinability and now can
Please pass captcha verification before submit form