A faithful translation from entity-relationship schemas to the description logic ALENI+

被引:1
|
作者
机构
[1] Lei, Yuxia
[2] Tian, Jingying
[3] Cao, Baoxiang
来源
Lei, Y. (yx_lei@126.com) | 1600年 / Academy Publisher卷 / 08期
关键词
Description logic - Entity-relationship - ER-models - Finite model - Knowledge basis (KBs) - Satisfiability;
D O I
10.4304/jsw.8.2.296-301
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 35 条