Reasoning in description logics using declarative logic programming (2001)

by G Alsaç, C Baral