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 条
  • [31] FROM ENTITY-RELATIONSHIP DIAGRAMS TO 4TH NORMAL-FORM - A PICTORIAL AID TO ANALYSIS
    DAWSON, KS
    PARKER, LMP
    COMPUTER JOURNAL, 1988, 31 (03): : 258 - 268
  • [32] Conversion of Generalization Hierarchies and Union Types from Extended Entity-Relationship Model to an XML Logical Model
    Schroeder, Rebeca
    Mello, Ronaldo dos Santos
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1036 - 1037
  • [33] Incorporating fuzzy information into the formal mapping from web data model to extended entity-relationship model
    Yan, Li
    Ma, Z. M.
    INTEGRATED COMPUTER-AIDED ENGINEERING, 2012, 19 (04) : 313 - 330
  • [34] Entity-relationship Modeling Tools and DSLs: Is It Still Possible to Advance the State of the Art from Observations in Practice?
    Lopes, Jonnathan
    Bernardino, Maicon
    Basso, Fabio
    Rodrigues, Elder
    ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 1, 2022, : 179 - 186
  • [35] A Semi-automated generation of Entity-Relationship Diagram based on Morphosyntactic Tagging from the Requirements Written in a Serbian Natural Language
    Kuk, Kristijan
    Angeleski, Misa
    Popovic, Brankica
    IEEE JOINT 19TH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS AND 7TH INTERNATIONAL CONFERENCE ON RECENT ACHIEVEMENTS IN MECHATRONICS, AUTOMATION, COMPUTER SCIENCES AND ROBOTICS (CINTI-MACRO 2019), 2019, : 85 - 90