KB-PROLOG, A PROLOG FOR VERY LARGE KNOWLEDGE BASES

被引：0
|
作者：
BOCCA, J
DAHMEN, M
FREESTON, M
MACARTNEY, G
PEARSON, PJ
机构：
来源：
PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ) | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：163 / 184
页数：22
相关论文
共 50 条
  • [31] Learning of OWL Class Descriptions on Very Large Knowledge Bases
    Hellmann, Sebastian
    Lehmann, Jens
    Auer, Soeren
    INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2009, 5 (02) : 25 - 48
  • [32] THE DESIGN AND IMPLEMENTATION OF DLOG, A PROLOG-BASED KNOWLEDGE REPRESENTATION SYSTEM
    GOEBEL, R
    NEW GENERATION COMPUTING, 1985, 3 (04) : 385 - 401
  • [33] Logic-infused knowledge graph QA: Enhancing large language models for specialized domains through Prolog integration
    Bashir, Aneesa
    Peng, Rong
    Ding, Yongchang
    DATA & KNOWLEDGE ENGINEERING, 2025, 157
  • [34] Domain-specific languages in PROLOG for declarative expert knowledge in rules and ontologies
    Seipel, Dietmar
    Nogatz, Falco
    Abreu, Salvador
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2018, 51 : 102 - 117
  • [35] Multi-threading Inside Prolog for knowledge-based enterprise applications
    Umeda, Masanobu
    Katamine, Keiichi
    Nagasawa, Isao
    Hashimoto, Masaaki
    Takata, Osamu
    DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 200 - +
  • [36] Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying
    Thom, Mark
    Boley, Harold
    Mitsikas, Theodoros
    RULES AND REASONING, RULEML+RR 2020, 2020, 12173 : 112 - 128
  • [37] Quantum space-efficient large language models for Prolog query translation
    Ahmed, Roshan
    Sridevi, S.
    QUANTUM INFORMATION PROCESSING, 2024, 23 (10)
  • [38] SS/TDMA TIME-SLOT ASSIGNMENT WITH KNOWLEDGE-BASE AND PROLOG IMPLEMENTATION
    POMALAZARAEZ, CA
    INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS, 1989, 7 (01): : 55 - 63
  • [39] PROLOG TO - POSSIBILITIES OF DEEP-SUBMICROMETER CMOS FOR VERY-HIGH-SPEED COMPUTER LOGIC
    LIKOUREZOS, G
    PROCEEDINGS OF THE IEEE, 1993, 81 (09) : 1309 - 1310
  • [40] QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases
    Urbani, Jacopo
    van Harmelen, Frank
    Schlobach, Stefan
    Bal, Henri
    SEMANTIC WEB - ISWC 2011, PT I, 2011, 7031 : 730 - 745
12345