描述逻辑ALC中的TBox推理机制研究
夏跃龙
The Research on Reasoning of TBox in Description Logic ALC
Xia Yuelong
曲靖师范学院学报 . 2016, (6): 53 -57 . 

版权所有 © 《曲靖师范学院学报》编辑部
地址：云南省曲靖市经济技术开发区三江大道曲靖师范学院　邮编：655011
电话：0874-8976668；8968902；8998687　 Email：qjsyxb@mail.qjnu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发