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] Constructive failure in functional-logic programming:: From theory to implementation
    Sanchez-Hernandez, Jaime
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (11) : 1574 - 1593
  • [2] 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
  • [3] Knowledge representation, the World Wide Web, and the evolution of logic
    Christopher Menzel
    Synthese, 2011, 182 : 269 - 295
  • [4] Knowledge representation, the World Wide Web, and the evolution of logic
    Menzel, Christopher
    SYNTHESE, 2011, 182 (02) : 269 - 295
  • [5] XQuery in the Functional-Logic Language Toy
    Almendros-Jimenez, Jesus M.
    Caballero, Rafael
    Garcia-Ruiz, Yolanda
    Saenz-Perez, Fernando
    FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2011, 6816 : 35 - +
  • [6] Distributional logic programming for Bayesian knowledge representation
    Angelopoulos, Nicos
    Cussens, James
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 80 : 52 - 66
  • [7] Integrating XPath with the Functional-Logic Language Toy
    Caballero, Rafael
    Garcia-Ruiz, Yolanda
    Saenz-Perez, Fernando
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2011, 6539 : 145 - +
  • [8] Transformation rules and strategies for functional-logic programs
    Moreno, G
    AI COMMUNICATIONS, 2002, 15 (2-3) : 163 - 165
  • [9] 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
  • [10] Transformation Rules and Strategies for Functional-Logic Programs
    Moreno, Ginés
    AI Communications, 2002, 15 (02) : 163 - 165
12345