Embedding Description Logic Programs into Default Logic

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen, Thomas Eiter
January 2011
Cite DOI
Type
Journal article
Publication
CoRR