Reasoning in description logics using declarative logic programming. Alsaç, G. & Baral, C. Report, Department of Computer Science and Engineering, Arizona State University, 2001.
bibtex   
@article{alsacc2001reasoning,
  title={Reasoning in description logics using declarative logic programming},
  author={Alsa{\c{c}}, Guray and Baral, Chitta},
  journal={Report, Department of Computer Science and Engineering, Arizona State University},
  year={2001}
}

Downloads: 0