From OWL to SHIF(D) and SHION(D)

Dear All,

Can anyone point some references regarding the mapping from OWLs to 
their corresponding description logics SHIF(D) and SHION(D)?

Thanks,

Chuming

Received on Thursday, 17 August 2006 04:34:17 UTC