Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying

被引：0
|
作者：
Nickles, Matthias [1 ,2 ]
机构：
[1] Natl Univ Ireland, Insight Ctr Data Analyt, Galway, Ireland
[2] Natl Univ Ireland, Dept Informat Technol, Galway, Ireland
来源：
KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2014 | 2014年 / 8876卷
关键词：
Knowledge representation; !text type='JSON']JSON[!/text]-LD; !text type='JSON']JSON[!/text; !text type='Java']Java[!/text]Script; Functional-Logic Programming; Relational Programming; Linked Data; Semantic Web;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a unified approach to semantically rich knowledge representation, querying and exchange for the Web, based on functional-logic programming. JavaScript- and JSON-based so-called information scripts serve as a unified knowledge representation and query format, with logical reasoning being a constraint solving or narrowing task. This way, our framework provides a highly versatile, easy to use and radically different alternative compared to conventional forms of knowledge representation and exchange for the Web.
引用
收藏
页码：333 / 338
页数：6
相关论文
共 50 条
  • [1] Modularity in functional-logic programming
    MolinaBravo, JM
    Pimentel, E
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 183 - 197
  • [2] Constructive failure in functional-logic programming:: From theory to implementation
    Sanchez-Hernandez, Jaime
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (11) : 1574 - 1593
  • [3] Declarative diagnosis of wrong answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    del Vado Virseda, Rafael
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 421 - 422
  • [4] Declarative diagnosis of missing answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    Virseda, Rafael del Vado
    FUNCTIONAL AND LOGIC PROGRAMMING, 2008, 4989 : 305 - 321
  • [5] A hybrid programming scheme combining fuzzy-logic and functional-logic resources
    Moreno, Gines
    Pascual, Vicente
    FUZZY SETS AND SYSTEMS, 2009, 160 (10) : 1402 - 1419
  • [6] Knowledge representation and logic programming
    Gelfond, M
    Leone, N
    ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 1 - 1
  • [7] Logic programming for knowledge representation
    Truszczynski, Miroslaw
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 76 - 88
  • [8] LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION
    BARAL, C
    GELFOND, M
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 73 - 148
  • [9] LOGIC PROGRAMMING AS A REPRESENTATION OF KNOWLEDGE
    DAHL, V
    COMPUTER, 1983, 16 (10) : 106 - 111
  • [10] Declarative debugging of missing answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    Virseda, Rafael del Vado
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 425 - 427
12345