Loop formulas for description logic programs

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. Loop formulas for description logic programs. TPLP, 10(4-6):531-545, 2010. [doi]

Authors

Yisong Wang

This author has not been identified. Look up 'Yisong Wang' in Google

Jia-Huai You

This author has not been identified. Look up 'Jia-Huai You' in Google

Li-Yan Yuan

This author has not been identified. Look up 'Li-Yan Yuan' in Google

Yi-Dong Shen

This author has not been identified. Look up 'Yi-Dong Shen' in Google