Resolution-Based Approximate Reasoning for OWL DL2005-01-010 OA AI DOI:10.1007/11574620_29原文链接原文求助分享收藏摘要 En