INCOMPLETE TYPES FOR LOGIC DATABASES

被引：3
|
作者：
DAHL, V [1 ]
机构：
[1] SIMON FRASER UNIV,BURNABY V5A 1S6,BC,CANADA
来源：
APPLIED MATHEMATICS LETTERS | 1991年 / 4卷 / 03期
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
10.1016/0893-9659(91)90027-S
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We propose to extend Horn-clause terms by invisibly associating them with incomplete types, that is, convenient representations of taxonomic information. We formally define typed logic databases and show their uses to reduce the length of the proofs needed to deduce some kinds of facts, to provide intensional replies, to perform quick semantic agreement verifications on natural language queries, and to achieve partial execution of some queries.
引用
收藏
页码：25 / 28
页数：4
相关论文
共 50 条
  • [1] Expanding queries to incomplete databases by interpolating general logic programs
    Baral, C
    Gelfond, M
    Kosheleva, O
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (03): : 195 - 230
  • [2] Reliability Logic Model for Incomplete Information in Sensor Monitoring Databases
    Byun, Siwoo
    Jang, Seok-Woo
    [J]. INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2018, 11 (01): : 27 - 35
  • [3] Meta many-valued logic programming for incomplete and locally inconsistent databases
    Majkic, Z
    [J]. INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2004, : 459 - 461
  • [4] Indexing incomplete databases
    Canahuate, Guadalupe
    Gibas, Michael
    Ferhatosmanoglu, Hakan
    [J]. ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 3896 : 884 - 901
  • [5] Refusal in incomplete databases
    Biskup, J
    Weibert, T
    [J]. RESEARCH DIRECTIONS IN DATA AND APPLICATIONS SECURITY XVIII, 2004, 144 : 143 - 157
  • [6] ON DATABASES WITH INCOMPLETE INFORMATION
    LIPSKI, W
    [J]. JOURNAL OF THE ACM, 1981, 28 (01) : 41 - 70
  • [7] LOGIC AND DATABASES
    EDER, J
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 617 : 95 - 103
  • [8] Form alizing Incomplete Knowledge in Incomplete Databases
    沈一栋
    [J]. Journal of Computer Science & Technology, 1992, (04) : 295 - 304
  • [9] DEFAULT DATABASES AND INCOMPLETE INFORMATION
    KING, P
    SMALL, C
    [J]. COMPUTER JOURNAL, 1991, 34 (03): : 239 - 244
  • [10] INCOMPLETE INFORMATION IN RELATIONAL DATABASES
    IMIELINSKI, T
    LIPSKI, W
    [J]. JOURNAL OF THE ACM, 1984, 31 (04) : 761 - 791
12345