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 条
  • [31] 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
  • [32] A New Functional-Logic Compiler for Curry: SPRITE
    Antoy, Sergio
    Jost, Andy
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 97 - 113
  • [33] DDT:: a declarative debugging tool for functional-logic languages
    Caballero, R
    Rodríguez-Artalejo, M
    FUNCTIONAL AND LOGIC PROGRAMMING, 2004, 2998 : 70 - 84
  • [34] Parametricity and Proving Free Theorems for Functional-Logic Languages
    Mehner, Stefan
    Seidel, Daniel
    Strassburger, Lutz
    Voigtlaender, Janis
    PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 19 - 30
  • [35] Functional-logic integration via minimal reciprocal extensions
    Boley, H
    THEORETICAL COMPUTER SCIENCE, 1999, 212 (1-2) : 77 - 99
  • [36] A Logic Programming Approach to Scientific Workflow Provenance Querying
    Zhao, Yong
    Lu, Shiyong
    PROVENANCE AND ANNOTATION OF DATA AND PROCESSES, 2008, 5272 : 31 - +
  • [37] Knowledge-based security testing of web applications by logic programming
    Zech, Philipp
    Felderer, Michael
    Breu, Ruth
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (02) : 221 - 246
  • [38] Knowledge-based security testing of web applications by logic programming
    Philipp Zech
    Michael Felderer
    Ruth Breu
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 221 - 246
  • [39] A paraconsistent logic programming approach for querying inconsistent databases
    de Amo, Sandra
    Pais, Monica Sakuray
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2007, 46 (02) : 366 - 386
  • [40] Representing and Querying Multiple Ontologies with Contextual Logic Programming
    Lopes, Nuno
    Fernandes, Claudio
    Abreu, Salvador
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2008, 5 (02) : 39 - 62
12345