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 条
  • [21] Compact Representation of Knowledge Bases in Inductive Logic Programming
    Jan Struyf
    Jan Ramon
    Maurice Bruynooghe
    Sofie Verbaeten
    Hendrik Blockeel
    Machine Learning, 2004, 57 : 305 - 333
  • [22] Logic programming and knowledge representation - The A-Prolog perspective
    Gelfond, M
    Leone, N
    ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 3 - 38
  • [23] Compact representation of knowledge bases in inductive logic programming
    Struyf, J
    Ramon, J
    Bruynooghe, M
    Verbaeten, S
    Blockeel, H
    MACHINE LEARNING, 2004, 57 (03) : 305 - 333
  • [24] Querying XML documents in logic programming
    Almendros-Jimenez, J. M.
    Becerra-Teron, A.
    Enciso-Banos, F. J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 : 323 - 361
  • [25] An ontology-based approach for organizing, sharing, and querying knowledge objects on the Web
    Fernandes, A
    Moura, AMD
    Porto, F
    14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 604 - 609
  • [26] A predicate-ordered logic for knowledge representation on the web
    Qu, YZ
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2004, 20 (01): : 19 - 26
  • [27] Knowledge representation, the World Wide Web, and the evolution of logic
    Menzel, Christopher
    SYNTHESE, 2011, 182 (02) : 269 - 295
  • [28] Knowledge representation, the World Wide Web, and the evolution of logic
    Christopher Menzel
    Synthese, 2011, 182 : 269 - 295
  • [29] XPath Query Processing in a Functional-Logic Language
    Almendros-Jimenez, J. M.
    Caballerob, R.
    Garcia-Ruiz, Y.
    Saenz-Perez, F.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 282 : 19 - 34
  • [30] A New Functional-Logic Compiler for Curry: SPRITE
    Antoy, Sergio
    Jost, Andy
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 97 - 113
12345